blob: dfdb816652c44d1bb2217ac845e574bdc3502a09 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
//@ 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() {}
|
