src/test/ui/associated-types/associated-types-basic.rs


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

// run-pass
trait Foo {
    type T;
}

impl Foo for i32 {
    type T = isize;
}

fn main() {
    let x: <i32 as Foo>::T = 22;
    let y: isize = 44;
    assert_eq!(x * 2, y);
}