| //@ compile-flags: -Zdeduplicate-diagnostics=yes | |
| // Regression test for #146467. | |
| trait Trait { type Assoc; } | |
| impl Trait for fn(&()) { type Assoc = (); } | |
| fn f(_: for<'a> fn(<fn(&'a ()) as Trait>::Assoc)) {} | |
| //~^ ERROR implementation of `Trait` is not general enough | |
| //~| ERROR higher-ranked subtype error | |
| fn main() {} |