Bryan Garza 6b214bbc11 Enable co-induction support for Safe Transmute ...

This patch adds the `#[rustc_coinductive]` annotation to
`BikeshedIntrinsicFrom`, so that it's possible to compute transmutability for
recursive types.

2023-06-29 15:11:35 -07:00

..

recursive-wrapper-types-bit-compatible-mut.rs

Safe Transmute: Check mutability before creating dst -> src obligation

2023-05-24 15:00:06 -07:00

recursive-wrapper-types-bit-compatible-mut.stderr

Safe Transmute: Check mutability before creating dst -> src obligation

2023-05-24 15:00:06 -07:00

recursive-wrapper-types-bit-compatible.rs

Enable co-induction support for Safe Transmute

2023-06-29 15:11:35 -07:00

recursive-wrapper-types-bit-incompatible.rs

Safe Transmute: Check mutability before creating dst -> src obligation

2023-05-24 15:00:06 -07:00

recursive-wrapper-types-bit-incompatible.stderr

…

recursive-wrapper-types.rs

Enable co-induction support for Safe Transmute

2023-06-29 15:11:35 -07:00

u8-to-unit.rs

Safe Transmute: Check mutability before creating dst -> src obligation

2023-05-24 15:00:06 -07:00

unit-to-itself.rs

…

unit-to-u8.rs

Safe Transmute: Check mutability before creating dst -> src obligation

2023-05-24 15:00:06 -07:00

unit-to-u8.stderr

…