[rustc.git] / src / test / ui / nll / issue-97997.rs

trait Foo {
    const ASSOC: bool = true;
}
impl<T> Foo for fn(T) {}

fn foo(_x: i32) {}

fn impls_foo<T: Foo>(_x: T) {}

fn main() {
    impls_foo(foo as fn(i32));

    <fn(&u8) as Foo>::ASSOC;
    //~^ ERROR implementation of `Foo` is not general enough
    //~| ERROR implementation of `Foo` is not general enough
}
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	}