33 lines
1.5 KiB
Plaintext
33 lines
1.5 KiB
Plaintext
error[E0277]: the trait bound `<T as A>::AssocA: TransmuteFrom<(), Assume { alignment: false, lifetimes: false, safety: false, validity: false }>` is not satisfied
|
|
--> $DIR/assoc-bound.rs:16:19
|
|
|
|
|
LL | type AssocB = T::AssocA;
|
|
| ^^^^^^^^^ unsatisfied trait bound
|
|
|
|
|
= help: the trait `TransmuteFrom<(), Assume { alignment: false, lifetimes: false, safety: false, validity: false }>` is not implemented for `<T as A>::AssocA`
|
|
note: required by a bound in `B::AssocB`
|
|
--> $DIR/assoc-bound.rs:9:18
|
|
|
|
|
LL | type AssocB: std::mem::TransmuteFrom<()>;
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `B::AssocB`
|
|
help: consider further restricting the associated type
|
|
|
|
|
LL | T: A, <T as A>::AssocA: TransmuteFrom<(), Assume { alignment: false, lifetimes: false, safety: false, validity: false }>
|
|
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
error[E0277]: `()` cannot be safely transmuted into `<&i32 as A>::AssocA`
|
|
--> $DIR/assoc-bound.rs:24:19
|
|
|
|
|
LL | type AssocB = <&'static i32 as A>::AssocA;
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ `<&i32 as A>::AssocA` has an unknown layout
|
|
|
|
|
note: required by a bound in `B::AssocB`
|
|
--> $DIR/assoc-bound.rs:9:18
|
|
|
|
|
LL | type AssocB: std::mem::TransmuteFrom<()>;
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `B::AssocB`
|
|
|
|
error: aborting due to 2 previous errors
|
|
|
|
For more information about this error, try `rustc --explain E0277`.
|