diff options
Diffstat (limited to 'src/test/ui/impl-trait/issue-55872.rs')
-rw-r--r-- | src/test/ui/impl-trait/issue-55872.rs | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/test/ui/impl-trait/issue-55872.rs b/src/test/ui/impl-trait/issue-55872.rs deleted file mode 100644 index c4e6f6436..000000000 --- a/src/test/ui/impl-trait/issue-55872.rs +++ /dev/null @@ -1,18 +0,0 @@ -#![feature(type_alias_impl_trait)] - -pub trait Bar { - type E: Copy; - - fn foo<T>() -> Self::E; -} - -impl<S> Bar for S { - type E = impl Copy; - - fn foo<T>() -> Self::E { - || () - //~^ ERROR type parameter `T` is part of concrete type but not used in parameter list for the `impl Trait` type alias - } -} - -fn main() {} |