1 2 3 4 5 6 7 8 9 10 11 12 13 14
// check-pass pub trait Test { type Item; type Bundle: From<Self::Item>; } fn fails<T>() where T: Test<Item = String>, { } fn main() {}