]>
Commit | Line | Data |
---|---|---|
923072b8 FG |
1 | trait Foo { |
2 | const ASSOC: bool = true; | |
3 | } | |
4 | impl<T> Foo for fn(T) {} | |
5 | ||
6 | fn foo(_x: i32) {} | |
7 | ||
8 | fn impls_foo<T: Foo>(_x: T) {} | |
9 | ||
10 | fn main() { | |
11 | impls_foo(foo as fn(i32)); | |
12 | ||
13 | <fn(&u8) as Foo>::ASSOC; | |
14 | //~^ ERROR implementation of `Foo` is not general enough | |
15 | //~| ERROR implementation of `Foo` is not general enough | |
16 | } |