1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
pub trait Whatever {
    type Foo;

    fn method() {}
}

pub struct Struct;

impl Whatever for Struct {
    type Foo = u8;
}