[rustc.git] / src / test / ui / inference / need_type_info / expr-struct-type-relative-gat.rs

trait Foo {
    type Output<T>;

    fn baz();
}

enum Bar<T> {
    Simple {},
    Generic(T),
}

impl Foo for u8 {
    type Output<T> = Bar<T>;
    fn baz() {
        Self::Output::Simple {}; //~ ERROR type annotations needed
    }
}

fn main() {}
Commit	Line	Data
064997fb FG	1	trait Foo {
	2	type Output<T>;
	3
	4	fn baz();
	5	}
	6
	7	enum Bar<T> {
	8	Simple {},
	9	Generic(T),
	10	}
	11
	12	impl Foo for u8 {
	13	type Output<T> = Bar<T>;
	14	fn baz() {
	15	Self::Output::Simple {}; //~ ERROR type annotations needed
	16	}
	17	}
	18
	19	fn main() {}