| error[E0277]: the trait bound `for<'a> &'a u32: Foo2<'_, u32>` is not satisfied |
| --> $DIR/issue-54302-cases.rs:73:5 |
| | |
| LL | <u32 as RefFoo<u32>>::ref_foo(a) |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `for<'a> Foo2<'_, u32>` is not implemented for `&'a u32` |
| | |
| = help: the following implementations were found: |
| <&'x u32 as Foo2<'x, u32>> |
| = note: required because of the requirements on the impl of `for<'a> Foo<'static, u32>` for `&'a u32` |
| = note: required because of the requirements on the impl of `RefFoo<u32>` for `u32` |
| note: required by `RefFoo::ref_foo` |
| --> $DIR/issue-54302-cases.rs:61:5 |
| | |
| LL | fn ref_foo(&self) -> &'static T; |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| |
| error[E0279]: the requirement `for<'a> 'a : ` is not satisfied (`expected bound lifetime parameter 'a, found concrete lifetime`) |
| --> $DIR/issue-54302-cases.rs:79:5 |
| | |
| LL | <i32 as RefFoo<i32>>::ref_foo(a) |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| | |
| = note: required because of the requirements on the impl of `for<'a> Foo2<'_, i32>` for `&'a i32` |
| = note: required because of the requirements on the impl of `for<'a> Foo<'static, i32>` for `&'a i32` |
| = note: required because of the requirements on the impl of `RefFoo<i32>` for `i32` |
| note: required by `RefFoo::ref_foo` |
| --> $DIR/issue-54302-cases.rs:61:5 |
| | |
| LL | fn ref_foo(&self) -> &'static T; |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| |
| error[E0271]: type mismatch resolving `for<'a> <&'a u64 as Mirror>::Image == &u64` |
| --> $DIR/issue-54302-cases.rs:85:5 |
| | |
| LL | <u64 as RefFoo<u64>>::ref_foo(a) |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected bound lifetime parameter 'a, found concrete lifetime |
| | |
| = note: required because of the requirements on the impl of `for<'a> Foo2<'_, u64>` for `&'a u64` |
| = note: required because of the requirements on the impl of `for<'a> Foo<'static, u64>` for `&'a u64` |
| = note: required because of the requirements on the impl of `RefFoo<u64>` for `u64` |
| note: required by `RefFoo::ref_foo` |
| --> $DIR/issue-54302-cases.rs:61:5 |
| | |
| LL | fn ref_foo(&self) -> &'static T; |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| |
| error[E0271]: type mismatch resolving `for<'a> <&'a i64 as Mirror>::Image == &i64` |
| --> $DIR/issue-54302-cases.rs:91:5 |
| | |
| LL | <i64 as RefFoo<i64>>::ref_foo(a) |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected bound lifetime parameter 'a, found concrete lifetime |
| | |
| = note: required because of the requirements on the impl of `for<'a> Foo2<'_, i64>` for `&'a i64` |
| = note: required because of the requirements on the impl of `for<'a> Foo<'static, i64>` for `&'a i64` |
| = note: required because of the requirements on the impl of `RefFoo<i64>` for `i64` |
| note: required by `RefFoo::ref_foo` |
| --> $DIR/issue-54302-cases.rs:61:5 |
| | |
| LL | fn ref_foo(&self) -> &'static T; |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| |
| error: aborting due to 4 previous errors |
| |
| Some errors occurred: E0271, E0277, E0279. |
| For more information about an error, try `rustc --explain E0271`. |