src/test/ui/transmute/transmute-padding-ice.stderr

   1 error[E0277]: `B` cannot be safely transmuted into `A` in the defining scope of `assert::Context`.
   2   --> $DIR/transmute-padding-ice.rs:27:40
   3    |
   4 LL |     assert::is_maybe_transmutable::<B, A>();
   5    |                                        ^ `B` cannot be safely transmuted into `A` in the defining scope of `assert::Context`.
   6    |
   7    = help: the trait `BikeshedIntrinsicFrom<B, assert::Context, Assume { alignment: true, lifetimes: true, safety: true, validity: true }>` is not implemented for `A`
   8 note: required by a bound in `is_maybe_transmutable`
   9   --> $DIR/transmute-padding-ice.rs:11:14
  10    |
  11 LL |       pub fn is_maybe_transmutable<Src, Dst>()
  12    |              --------------------- required by a bound in this
  13 LL |       where
  14 LL |           Dst: BikeshedIntrinsicFrom<
  15    |  ______________^
  16 LL | |             Src,
  17 LL | |             Context,
  18 LL | |             { Assume { alignment: true, lifetimes: true, safety: true, validity: true } },
  19 LL | |         >,
  20    | |_________^ required by this bound in `is_maybe_transmutable`
  21
  22 error: aborting due to previous error
  23
  24 For more information about this error, try `rustc --explain E0277`.