summaryrefslogtreecommitdiffstats
path: root/src/test/ui/type-alias-impl-trait/closure_wf_outlives.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/type-alias-impl-trait/closure_wf_outlives.stderr')
-rw-r--r--src/test/ui/type-alias-impl-trait/closure_wf_outlives.stderr64
1 files changed, 0 insertions, 64 deletions
diff --git a/src/test/ui/type-alias-impl-trait/closure_wf_outlives.stderr b/src/test/ui/type-alias-impl-trait/closure_wf_outlives.stderr
deleted file mode 100644
index ae6462bb6..000000000
--- a/src/test/ui/type-alias-impl-trait/closure_wf_outlives.stderr
+++ /dev/null
@@ -1,64 +0,0 @@
-error[E0478]: lifetime bound not satisfied
- --> $DIR/closure_wf_outlives.rs:14:27
- |
-LL | type Opaque<'a, 'b> = impl Sized + 'a + 'b;
- | ^^^^^^^^^^^^^^^^^^^^
- |
-note: lifetime parameter instantiated with the lifetime `'a` as defined here
- --> $DIR/closure_wf_outlives.rs:14:17
- |
-LL | type Opaque<'a, 'b> = impl Sized + 'a + 'b;
- | ^^
-note: but lifetime parameter must outlive the lifetime `'b` as defined here
- --> $DIR/closure_wf_outlives.rs:14:21
- |
-LL | type Opaque<'a, 'b> = impl Sized + 'a + 'b;
- | ^^
-
-error[E0495]: cannot infer an appropriate lifetime due to conflicting requirements
- --> $DIR/closure_wf_outlives.rs:27:27
- |
-LL | type Opaque<'a, 'b> = impl Sized + 'a + 'b;
- | ^^^^^^^^^^^^^^^^^^^^
- |
-note: first, the lifetime cannot outlive the lifetime `'a` as defined here...
- --> $DIR/closure_wf_outlives.rs:27:17
- |
-LL | type Opaque<'a, 'b> = impl Sized + 'a + 'b;
- | ^^
-note: ...so that the declared lifetime parameter bounds are satisfied
- --> $DIR/closure_wf_outlives.rs:27:27
- |
-LL | type Opaque<'a, 'b> = impl Sized + 'a + 'b;
- | ^^^^^^^^^^^^^^^^^^^^
-note: but, the lifetime must be valid for the lifetime `'b` as defined here...
- --> $DIR/closure_wf_outlives.rs:27:21
- |
-LL | type Opaque<'a, 'b> = impl Sized + 'a + 'b;
- | ^^
-note: ...so that the declared lifetime parameter bounds are satisfied
- --> $DIR/closure_wf_outlives.rs:27:27
- |
-LL | type Opaque<'a, 'b> = impl Sized + 'a + 'b;
- | ^^^^^^^^^^^^^^^^^^^^
-
-error[E0310]: the parameter type `T` may not live long enough
- --> $DIR/closure_wf_outlives.rs:54:22
- |
-LL | type Opaque<T> = impl Sized;
- | ^^^^^^^^^^ ...so that the type `T` will meet its required lifetime bounds...
- |
-note: ...that is required by this bound
- --> $DIR/closure_wf_outlives.rs:59:12
- |
-LL | T: 'static,
- | ^^^^^^^
-help: consider adding an explicit lifetime bound...
- |
-LL | type Opaque<T: 'static> = impl Sized;
- | +++++++++
-
-error: aborting due to 3 previous errors
-
-Some errors have detailed explanations: E0310, E0478, E0495.
-For more information about an error, try `rustc --explain E0310`.