#![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(); | |
} |