summaryrefslogtreecommitdiffstats
path: root/src/test/ui/variance/variance-trait-object-bound.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/variance/variance-trait-object-bound.rs')
-rw-r--r--src/test/ui/variance/variance-trait-object-bound.rs18
1 files changed, 0 insertions, 18 deletions
diff --git a/src/test/ui/variance/variance-trait-object-bound.rs b/src/test/ui/variance/variance-trait-object-bound.rs
deleted file mode 100644
index ec3c973bc..000000000
--- a/src/test/ui/variance/variance-trait-object-bound.rs
+++ /dev/null
@@ -1,18 +0,0 @@
-// Checks that regions which appear in a trait object type are
-// observed by the variance inference algorithm (and hence
-// `TOption` is contavariant w/r/t `'a` and not bivariant).
-//
-// Issue #18262.
-
-#![feature(rustc_attrs)]
-
-use std::mem;
-
-trait T { fn foo(&self); }
-
-#[rustc_variance]
-struct TOption<'a> { //~ ERROR [-]
- v: Option<Box<dyn T + 'a>>,
-}
-
-fn main() { }