diff options
Diffstat (limited to 'src/test/ui/associated-types/associated-types-eq-1.rs')
-rw-r--r-- | src/test/ui/associated-types/associated-types-eq-1.rs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/test/ui/associated-types/associated-types-eq-1.rs b/src/test/ui/associated-types/associated-types-eq-1.rs new file mode 100644 index 000000000..c371138ff --- /dev/null +++ b/src/test/ui/associated-types/associated-types-eq-1.rs @@ -0,0 +1,13 @@ +// 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() {} |