// Test equality constraints on associated types. Check that unsupported syntax | |
// does not ICE. | |
pub trait Foo { | |
type A; | |
fn boo(&self) -> <Self as Foo>::A; | |
} | |
fn foo2<I: Foo>(x: I) { | |
let _: A = x.boo(); //~ ERROR cannot find type `A` in this scope | |
} | |
pub fn main() {} |