1 2 3 4 5 6 7 8 9 10 11
// check-pass #![allow(dead_code)] trait Trait { type Output; } fn f<T: Trait>() { std::mem::size_of::<T::Output>(); } fn main() {}