summaryrefslogtreecommitdiffstats
path: root/src/test/ui/impl-trait/issue-55872.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/impl-trait/issue-55872.rs')
-rw-r--r--src/test/ui/impl-trait/issue-55872.rs18
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() {}