// check-pass pub trait Test { type Item; type Bundle: From; } fn fails() where T: Test, { } fn main() {}