[rustc.git] / tests / ui / type-alias-impl-trait / issue-60371.rs

trait Bug {
    type Item: Bug;

    const FUN: fn() -> Self::Item;
}

impl Bug for &() {
    type Item = impl Bug; //~ ERROR `impl Trait` in associated types is unstable

    const FUN: fn() -> Self::Item = || ();
    //~^ ERROR the trait bound `(): Bug` is not satisfied
}

fn main() {}
Commit	Line	Data
48663c56 XL	1	trait Bug {
	2	type Item: Bug;
	3
	4	const FUN: fn() -> Self::Item;
	5	}
	6
	7	impl Bug for &() {
353b0b11	8	type Item = impl Bug; //~ ERROR `impl Trait` in associated types is unstable
48663c56 XL	9
48663c56 XL	10	const FUN: fn() -> Self::Item = \|\| ();
94222f64	11	//~^ ERROR the trait bound `(): Bug` is not satisfied
48663c56 XL	12	}
	13
	14	fn main() {}