| #![feature(no_core)] | |
| #![no_core] | |
| #![feature(lang_items)] | |
| #[lang = "sized"] | |
| trait Sized {} | |
| fn main() { | |
| pub trait Foo { | |
| type A; | |
| fn boo(&self) -> <Self as Foo>::A; | |
| } | |
| struct Bar; | |
| impl Foo for isize { | |
| type A = usize; | |
| fn boo(&self) -> usize { | |
| 42 | |
| } | |
| } | |
| fn baz<I>(x: &<I as Foo<A = Bar>>::A) {} | |
| // { dg-error "associated type bindings are not allowed here .E0229." "" { target *-*-* } .-1 } | |
| } |