diff options
Diffstat (limited to 'src/test/ui/variance/variance-trait-object-bound.rs')
-rw-r--r-- | src/test/ui/variance/variance-trait-object-bound.rs | 18 |
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() { } |