mirror of https://github.com/rust-lang/rust
155 lines
6.6 KiB
Plaintext
155 lines
6.6 KiB
Plaintext
error[E0271]: type mismatch resolving `<UintStruct as TheTrait<&isize>>::A == &isize`
|
|
--> $DIR/associated-types-eq-hr.rs:87:11
|
|
|
|
|
LL | foo::<UintStruct>();
|
|
| ^^^^^^^^^^ type mismatch resolving `<UintStruct as TheTrait<&isize>>::A == &isize`
|
|
|
|
|
note: expected this to be `&isize`
|
|
--> $DIR/associated-types-eq-hr.rs:26:14
|
|
|
|
|
LL | type A = &'a usize;
|
|
| ^^^^^^^^^
|
|
= note: expected reference `&isize`
|
|
found reference `&usize`
|
|
note: required by a bound in `foo`
|
|
--> $DIR/associated-types-eq-hr.rs:45:36
|
|
|
|
|
LL | fn foo<T>()
|
|
| --- required by a bound in this function
|
|
LL | where
|
|
LL | T: for<'x> TheTrait<&'x isize, A = &'x isize>,
|
|
| ^^^^^^^^^^^^^ required by this bound in `foo`
|
|
|
|
error[E0271]: type mismatch resolving `<IntStruct as TheTrait<&isize>>::A == &usize`
|
|
--> $DIR/associated-types-eq-hr.rs:91:11
|
|
|
|
|
LL | bar::<IntStruct>();
|
|
| ^^^^^^^^^ type mismatch resolving `<IntStruct as TheTrait<&isize>>::A == &usize`
|
|
|
|
|
note: expected this to be `&usize`
|
|
--> $DIR/associated-types-eq-hr.rs:14:14
|
|
|
|
|
LL | type A = &'a isize;
|
|
| ^^^^^^^^^
|
|
= note: expected reference `&usize`
|
|
found reference `&isize`
|
|
note: required by a bound in `bar`
|
|
--> $DIR/associated-types-eq-hr.rs:52:36
|
|
|
|
|
LL | fn bar<T>()
|
|
| --- required by a bound in this function
|
|
LL | where
|
|
LL | T: for<'x> TheTrait<&'x isize, A = &'x usize>,
|
|
| ^^^^^^^^^^^^^ required by this bound in `bar`
|
|
|
|
error: implementation of `TheTrait` is not general enough
|
|
--> $DIR/associated-types-eq-hr.rs:96:5
|
|
|
|
|
LL | tuple_one::<Tuple>();
|
|
| ^^^^^^^^^^^^^^^^^^^^ implementation of `TheTrait` is not general enough
|
|
|
|
|
= note: `Tuple` must implement `TheTrait<(&'0 isize, &'1 isize)>`, for any two lifetimes `'0` and `'1`...
|
|
= note: ...but it actually implements `TheTrait<(&'2 isize, &'2 isize)>`, for some specific lifetime `'2`
|
|
|
|
error: implementation of `TheTrait` is not general enough
|
|
--> $DIR/associated-types-eq-hr.rs:96:5
|
|
|
|
|
LL | tuple_one::<Tuple>();
|
|
| ^^^^^^^^^^^^^^^^^^^^ implementation of `TheTrait` is not general enough
|
|
|
|
|
= note: `Tuple` must implement `TheTrait<(&'0 isize, &'1 isize)>`, for any two lifetimes `'0` and `'1`...
|
|
= note: ...but it actually implements `TheTrait<(&'2 isize, &'2 isize)>`, for some specific lifetime `'2`
|
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
|
|
|
error: implementation of `TheTrait` is not general enough
|
|
--> $DIR/associated-types-eq-hr.rs:96:5
|
|
|
|
|
LL | tuple_one::<Tuple>();
|
|
| ^^^^^^^^^^^^^^^^^^^^ implementation of `TheTrait` is not general enough
|
|
|
|
|
= note: `Tuple` must implement `TheTrait<(&'0 isize, &'1 isize)>`, for any two lifetimes `'0` and `'1`...
|
|
= note: ...but it actually implements `TheTrait<(&'2 isize, &'2 isize)>`, for some specific lifetime `'2`
|
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
|
|
|
error: implementation of `TheTrait` is not general enough
|
|
--> $DIR/associated-types-eq-hr.rs:96:5
|
|
|
|
|
LL | tuple_one::<Tuple>();
|
|
| ^^^^^^^^^^^^^^^^^^^^ implementation of `TheTrait` is not general enough
|
|
|
|
|
= note: `Tuple` must implement `TheTrait<(&'0 isize, &'1 isize)>`, for any two lifetimes `'0` and `'1`...
|
|
= note: ...but it actually implements `TheTrait<(&'2 isize, &'2 isize)>`, for some specific lifetime `'2`
|
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
|
|
|
error: implementation of `TheTrait` is not general enough
|
|
--> $DIR/associated-types-eq-hr.rs:104:5
|
|
|
|
|
LL | tuple_two::<Tuple>();
|
|
| ^^^^^^^^^^^^^^^^^^^^ implementation of `TheTrait` is not general enough
|
|
|
|
|
= note: `Tuple` must implement `TheTrait<(&'0 isize, &'1 isize)>`, for any two lifetimes `'0` and `'1`...
|
|
= note: ...but it actually implements `TheTrait<(&'2 isize, &'2 isize)>`, for some specific lifetime `'2`
|
|
|
|
error: implementation of `TheTrait` is not general enough
|
|
--> $DIR/associated-types-eq-hr.rs:104:5
|
|
|
|
|
LL | tuple_two::<Tuple>();
|
|
| ^^^^^^^^^^^^^^^^^^^^ implementation of `TheTrait` is not general enough
|
|
|
|
|
= note: `Tuple` must implement `TheTrait<(&'0 isize, &'1 isize)>`, for any two lifetimes `'0` and `'1`...
|
|
= note: ...but it actually implements `TheTrait<(&'2 isize, &'2 isize)>`, for some specific lifetime `'2`
|
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
|
|
|
error[E0308]: mismatched types
|
|
--> $DIR/associated-types-eq-hr.rs:104:5
|
|
|
|
|
LL | tuple_two::<Tuple>();
|
|
| ^^^^^^^^^^^^^^^^^^^^ one type is more general than the other
|
|
|
|
|
= note: expected reference `&'x _`
|
|
found reference `&'y _`
|
|
note: the lifetime requirement is introduced here
|
|
--> $DIR/associated-types-eq-hr.rs:66:53
|
|
|
|
|
LL | T: for<'x, 'y> TheTrait<(&'x isize, &'y isize), A = &'y isize>,
|
|
| ^^^^^^^^^^^^^
|
|
|
|
error[E0308]: mismatched types
|
|
--> $DIR/associated-types-eq-hr.rs:104:5
|
|
|
|
|
LL | tuple_two::<Tuple>();
|
|
| ^^^^^^^^^^^^^^^^^^^^ one type is more general than the other
|
|
|
|
|
= note: expected reference `&'x _`
|
|
found reference `&'y _`
|
|
note: the lifetime requirement is introduced here
|
|
--> $DIR/associated-types-eq-hr.rs:66:53
|
|
|
|
|
LL | T: for<'x, 'y> TheTrait<(&'x isize, &'y isize), A = &'y isize>,
|
|
| ^^^^^^^^^^^^^
|
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
|
|
|
error: implementation of `TheTrait` is not general enough
|
|
--> $DIR/associated-types-eq-hr.rs:116:5
|
|
|
|
|
LL | tuple_four::<Tuple>();
|
|
| ^^^^^^^^^^^^^^^^^^^^^ implementation of `TheTrait` is not general enough
|
|
|
|
|
= note: `Tuple` must implement `TheTrait<(&'0 isize, &'1 isize)>`, for any two lifetimes `'0` and `'1`...
|
|
= note: ...but it actually implements `TheTrait<(&'2 isize, &'2 isize)>`, for some specific lifetime `'2`
|
|
|
|
error: implementation of `TheTrait` is not general enough
|
|
--> $DIR/associated-types-eq-hr.rs:116:5
|
|
|
|
|
LL | tuple_four::<Tuple>();
|
|
| ^^^^^^^^^^^^^^^^^^^^^ implementation of `TheTrait` is not general enough
|
|
|
|
|
= note: `Tuple` must implement `TheTrait<(&'0 isize, &'1 isize)>`, for any two lifetimes `'0` and `'1`...
|
|
= note: ...but it actually implements `TheTrait<(&'2 isize, &'2 isize)>`, for some specific lifetime `'2`
|
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
|
|
|
error: aborting due to 12 previous errors
|
|
|
|
Some errors have detailed explanations: E0271, E0308.
|
|
For more information about an error, try `rustc --explain E0271`.
|