| #![warn(unused)] | |
| #![deny(warnings)] | |
| struct Inv<'a>(#[allow(dead_code)] &'a mut &'a ()); | |
| trait Trait {} | |
| impl Trait for (for<'a> fn(Inv<'a>),) {} | |
| fn with_bound() | |
| where | |
| ((for<'a> fn(Inv<'a>)),): Trait, //~ ERROR unnecessary parentheses around type | |
| {} | |
| fn main() { | |
| with_bound(); | |
| } |