1 2 3 4 5 6 7 8 9 10 11 12
#[lang = "sized"] pub trait Sized {} struct S<T>(T); impl S<u8> { fn foo<U>() {} } fn main() { S::foo::<i32>(); }