summaryrefslogtreecommitdiffstats
path: root/src/test/ui/associated-types/associated-types-eq-1.rs
diff options
context:
space:
mode:
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.rs13
1 files changed, 0 insertions, 13 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
deleted file mode 100644
index c371138ff..000000000
--- a/src/test/ui/associated-types/associated-types-eq-1.rs
+++ /dev/null
@@ -1,13 +0,0 @@
-// 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() {}