summaryrefslogtreecommitdiffstats
path: root/src/test/ui/regions/regions-variance-invariant-use-covariant.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/regions/regions-variance-invariant-use-covariant.stderr')
-rw-r--r--src/test/ui/regions/regions-variance-invariant-use-covariant.stderr15
1 files changed, 0 insertions, 15 deletions
diff --git a/src/test/ui/regions/regions-variance-invariant-use-covariant.stderr b/src/test/ui/regions/regions-variance-invariant-use-covariant.stderr
deleted file mode 100644
index 761e78d17..000000000
--- a/src/test/ui/regions/regions-variance-invariant-use-covariant.stderr
+++ /dev/null
@@ -1,15 +0,0 @@
-error: lifetime may not live long enough
- --> $DIR/regions-variance-invariant-use-covariant.rs:17:12
- |
-LL | fn use_<'b>(c: Invariant<'b>) {
- | -- lifetime `'b` defined here
-...
-LL | let _: Invariant<'static> = c;
- | ^^^^^^^^^^^^^^^^^^ type annotation requires that `'b` must outlive `'static`
- |
- = note: requirement occurs because of the type `Invariant<'_>`, which makes the generic argument `'_` invariant
- = note: the struct `Invariant<'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
-