blob: 6043daf209d2874faefcb3c69601b3f9c0810123 [file] [log] [blame]
#![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();
}