summaryrefslogtreecommitdiffstats
path: root/src/test/ui/never_type/impl_trait_fallback3.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/never_type/impl_trait_fallback3.rs')
-rw-r--r--src/test/ui/never_type/impl_trait_fallback3.rs15
1 files changed, 0 insertions, 15 deletions
diff --git a/src/test/ui/never_type/impl_trait_fallback3.rs b/src/test/ui/never_type/impl_trait_fallback3.rs
deleted file mode 100644
index ed645b823..000000000
--- a/src/test/ui/never_type/impl_trait_fallback3.rs
+++ /dev/null
@@ -1,15 +0,0 @@
-#![feature(type_alias_impl_trait)]
-
-fn main() {}
-
-trait T {
- type Assoc;
-}
-
-type Foo = impl T;
-
-fn a() -> Foo {
- //~^ ERROR the trait bound `(): T` is not satisfied
- // This is not a defining use, it doesn't actually constrain the opaque type.
- panic!()
-}