#[allow(dead_code)]
fn foo<M>(_m: M)
where
    M::Item: Temp,
    //~^ ERROR cannot find trait `Temp` in this scope [E0405]
    //~| ERROR associated type `Item` not found for `M` [E0220]
{
}

fn main() {}