src/test/ui/inference/need_type_info/self-ty-in-path.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

// 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() {}