summaryrefslogtreecommitdiffstats
path: root/src/test/ui/impl-trait/object-unsafe-trait-in-return-position-impl-trait.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/impl-trait/object-unsafe-trait-in-return-position-impl-trait.rs')
-rw-r--r--src/test/ui/impl-trait/object-unsafe-trait-in-return-position-impl-trait.rs46
1 files changed, 0 insertions, 46 deletions
diff --git a/src/test/ui/impl-trait/object-unsafe-trait-in-return-position-impl-trait.rs b/src/test/ui/impl-trait/object-unsafe-trait-in-return-position-impl-trait.rs
deleted file mode 100644
index 503515013..000000000
--- a/src/test/ui/impl-trait/object-unsafe-trait-in-return-position-impl-trait.rs
+++ /dev/null
@@ -1,46 +0,0 @@
-trait NotObjectSafe {
- fn foo() -> Self;
-}
-
-trait ObjectSafe {
- fn bar(&self);
-}
-
-struct A;
-struct B;
-
-impl NotObjectSafe for A {
- fn foo() -> Self {
- A
- }
-}
-
-impl NotObjectSafe for B {
- fn foo() -> Self {
- B
- }
-}
-
-impl ObjectSafe for A {
- fn bar(&self) {}
-}
-
-impl ObjectSafe for B {
- fn bar(&self) {}
-}
-
-fn can() -> impl NotObjectSafe {
- if true {
- return A;
- }
- B //~ ERROR mismatched types
-}
-
-fn cat() -> impl ObjectSafe {
- if true {
- return A;
- }
- B //~ ERROR mismatched types
-}
-
-fn main() {}