diff options
Diffstat (limited to 'src/test/ui/issues/issue-26262.rs')
-rw-r--r-- | src/test/ui/issues/issue-26262.rs | 22 |
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() {} |