nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-23 23:34:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
559ec69e41
rust/tests/ui/transmutability/references
History
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