trait Trait {
fn foo();
}
fn main() {
<<i32 as Copy>::foobar as Trait>::foo();
//~^ ERROR cannot find associated type `foobar` in trait `Copy`