summaryrefslogtreecommitdiffstats
path: root/src/test/ui/variance/variance-cell-is-invariant.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/variance/variance-cell-is-invariant.stderr')
-rw-r--r--src/test/ui/variance/variance-cell-is-invariant.stderr18
1 files changed, 0 insertions, 18 deletions
diff --git a/src/test/ui/variance/variance-cell-is-invariant.stderr b/src/test/ui/variance/variance-cell-is-invariant.stderr
deleted file mode 100644
index ab5435d16..000000000
--- a/src/test/ui/variance/variance-cell-is-invariant.stderr
+++ /dev/null
@@ -1,18 +0,0 @@
-error: lifetime may not live long enough
- --> $DIR/variance-cell-is-invariant.rs:14:12
- |
-LL | fn use_<'short,'long>(c: Foo<'short>,
- | ------ ----- lifetime `'long` defined here
- | |
- | lifetime `'short` defined here
-...
-LL | let _: Foo<'long> = c;
- | ^^^^^^^^^^ type annotation requires that `'short` must outlive `'long`
- |
- = help: consider adding the following bound: `'short: 'long`
- = note: requirement occurs because of the type `Foo<'_>`, which makes the generic argument `'_` invariant
- = note: the struct `Foo<'a>` is invariant over the parameter `'a`
- = help: see <https://doc.rust-lang.org/nomicon/subtyping.html> for more information about variance
-
-error: aborting due to previous error
-