about summary refs log tree commit diff
path: root/src/test/ui/impl-trait/in-trait/issue-102140.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/impl-trait/in-trait/issue-102140.rs')
-rw-r--r--src/test/ui/impl-trait/in-trait/issue-102140.rs30
1 files changed, 0 insertions, 30 deletions
diff --git a/src/test/ui/impl-trait/in-trait/issue-102140.rs b/src/test/ui/impl-trait/in-trait/issue-102140.rs
deleted file mode 100644
index be1e012acb1..00000000000
--- a/src/test/ui/impl-trait/in-trait/issue-102140.rs
+++ /dev/null
@@ -1,30 +0,0 @@
-#![feature(return_position_impl_trait_in_trait)]
-#![allow(incomplete_features)]
-
-trait Marker {}
-impl Marker for u32 {}
-
-trait MyTrait {
-    fn foo(&self) -> impl Marker
-    where
-        Self: Sized;
-}
-
-struct Outer;
-
-impl MyTrait for Outer {
-    fn foo(&self) -> impl Marker {
-        42
-    }
-}
-
-impl dyn MyTrait {
-    fn other(&self) -> impl Marker {
-        MyTrait::foo(&self)
-        //~^ ERROR the trait bound `&dyn MyTrait: MyTrait` is not satisfied
-        //~| ERROR the trait bound `&dyn MyTrait: MyTrait` is not satisfied
-        //~| ERROR the trait bound `&dyn MyTrait: MyTrait` is not satisfied
-    }
-}
-
-fn main() {}