summaryrefslogtreecommitdiffstats
path: root/src/test/ui/issues/issue-26262.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/issues/issue-26262.rs')
-rw-r--r--src/test/ui/issues/issue-26262.rs22
1 files changed, 0 insertions, 22 deletions
diff --git a/src/test/ui/issues/issue-26262.rs b/src/test/ui/issues/issue-26262.rs
deleted file mode 100644
index 41135db91..000000000
--- a/src/test/ui/issues/issue-26262.rs
+++ /dev/null
@@ -1,22 +0,0 @@
-// Check that projections don't count as constraining type parameters.
-
-struct S<T>(T);
-
-trait Tr { type Assoc; fn test(); }
-
-impl<T: Tr> S<T::Assoc> {
-//~^ ERROR the type parameter `T` is not constrained
- fn foo(self, _: T) {
- T::test();
- }
-}
-
-trait Trait1<T> { type Bar; }
-trait Trait2<'x> { type Foo; }
-
-impl<'a,T: Trait2<'a>> Trait1<<T as Trait2<'a>>::Foo> for T {
-//~^ ERROR the lifetime parameter `'a` is not constrained
- type Bar = &'a ();
-}
-
-fn main() {}