1 2 3 4 5 6 7 8 9 10 11 12 13 14
#[lang = "sized"] pub trait Sized {} struct S<T1, T2>(T1, T2); impl S<i32, i32> { fn f<S>(t: S) -> S { t } } pub fn main() { S::<i32, i32>::f::<i32>(0); }