1 // compile-flags: -Z parse-only 2 // check-pass 3 4 #![feature(const_trait_impl)] 5 6 struct S< 7 T: ~const ?for<'a> Tr<'a> + 'static + ~const std::ops::Add, 8 T: ~const ?for<'a: 'b> m::Trait<'a>, 9 >; 10