1 #![warn(unused)] 2 #![deny(warnings)] 3 4 struct Inv<'a>(&'a mut &'a ()); 5 6 trait Trait<'a> {} 7 impl<'b> Trait<'b> for for<'a> fn(Inv<'a>) {} 8 with_bound() where for<'b> (for<'a> fn(Inv<'a>)): Trait<'b>,9fn with_bound() 10 where 11 for<'b> (for<'a> fn(Inv<'a>)): Trait<'b>, //~ ERROR unnecessary parentheses around type 12 {} 13 14 trait Hello<T> {} with_dyn_bound<T>() where (dyn Hello<(for<'b> fn(&'b ()))>): Hello<T>15fn with_dyn_bound<T>() 16 where 17 (dyn Hello<(for<'b> fn(&'b ()))>): Hello<T> //~ ERROR unnecessary parentheses around type 18 {} 19 main()20fn main() { 21 with_bound(); 22 with_dyn_bound(); 23 } 24