summaryrefslogtreecommitdiffstats
path: root/src/test/ui/wf/wf-unsafe-trait-obj-match.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/wf/wf-unsafe-trait-obj-match.rs')
-rw-r--r--src/test/ui/wf/wf-unsafe-trait-obj-match.rs29
1 files changed, 0 insertions, 29 deletions
diff --git a/src/test/ui/wf/wf-unsafe-trait-obj-match.rs b/src/test/ui/wf/wf-unsafe-trait-obj-match.rs
deleted file mode 100644
index c8731a8ec..000000000
--- a/src/test/ui/wf/wf-unsafe-trait-obj-match.rs
+++ /dev/null
@@ -1,29 +0,0 @@
-// Check that we do not allow coercions to object
-// unsafe trait objects in match arms
-
-#![feature(object_safe_for_dispatch)]
-
-trait Trait: Sized {}
-
-struct S;
-
-impl Trait for S {}
-
-struct R;
-
-impl Trait for R {}
-
-fn opt() -> Option<()> {
- Some(())
-}
-
-fn main() {
- match opt() {
- Some(()) => &S,
- None => &R, //~ ERROR E0308
- }
- let t: &dyn Trait = match opt() { //~ ERROR E0038
- Some(()) => &S, //~ ERROR E0038
- None => &R,
- };
-}