tests/ui/typeck/point-at-type-parameter-definition.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

trait Trait {
    fn do_stuff(&self);
}

struct Hello;

impl Hello {
    fn method(&self) {}
}

impl<Hello> Trait for Vec<Hello> {
    fn do_stuff(&self) {
        self[0].method(); //~ ERROR no method named `method` found for type parameter `Hello` in the current scope
    }
}

fn main() {}