]> git.lizzy.rs Git - rust.git/blob - src/test/ui/variance/variance-invariant-self-trait-match.stderr
Rollup merge of #89738 - eddyb:extern-crate-recursion, r=nagisa
[rust.git] / src / test / ui / variance / variance-invariant-self-trait-match.stderr
1 error[E0308]: mismatched types
2   --> $DIR/variance-invariant-self-trait-match.rs:10:5
3    |
4 LL |     impls_get::<&'min G>();
5    |     ^^^^^^^^^^^^^^^^^^^^ lifetime mismatch
6    |
7    = note: expected type `<&'min G as Get>`
8               found type `<&'max G as Get>`
9 note: the lifetime `'min` as defined here...
10   --> $DIR/variance-invariant-self-trait-match.rs:7:21
11    |
12 LL | fn get_min_from_max<'min, 'max, G>()
13    |                     ^^^^
14 note: ...does not necessarily outlive the lifetime `'max` as defined here
15   --> $DIR/variance-invariant-self-trait-match.rs:7:27
16    |
17 LL | fn get_min_from_max<'min, 'max, G>()
18    |                           ^^^^
19
20 error[E0308]: mismatched types
21   --> $DIR/variance-invariant-self-trait-match.rs:16:5
22    |
23 LL |     impls_get::<&'max G>();
24    |     ^^^^^^^^^^^^^^^^^^^^ lifetime mismatch
25    |
26    = note: expected type `<&'max G as Get>`
27               found type `<&'min G as Get>`
28 note: the lifetime `'min` as defined here...
29   --> $DIR/variance-invariant-self-trait-match.rs:13:21
30    |
31 LL | fn get_max_from_min<'min, 'max, G>()
32    |                     ^^^^
33 note: ...does not necessarily outlive the lifetime `'max` as defined here
34   --> $DIR/variance-invariant-self-trait-match.rs:13:27
35    |
36 LL | fn get_max_from_min<'min, 'max, G>()
37    |                           ^^^^
38
39 error: aborting due to 2 previous errors
40
41 For more information about this error, try `rustc --explain E0308`.