[rustc.git] / src / test / ui / inference / need_type_info / self-ty-in-path.rs

// Test that we don't ICE when encountering a `Self` in a path.
struct TestErr<T>(T);

impl<T> TestErr<T> {
    fn func_a<U>() {}

    fn func_b() {
        Self::func_a();
        //~^ ERROR type annotations needed
    }
}

fn main() {}
Commit	Line	Data
923072b8 FG	1	// Test that we don't ICE when encountering a `Self` in a path.
	2	struct TestErr<T>(T);
	3
	4	impl<T> TestErr<T> {
	5	fn func_a<U>() {}
	6
	7	fn func_b() {
	8	Self::func_a();
	9	//~^ ERROR type annotations needed
	10	}
	11	}
	12
	13	fn main() {}