Lukas Markeffsky c097b2c6bb transmutability: fix ICE when passing wrong ADT to ASSUME

2025-02-08 05:44:29 +01:00

..

coherence-bikeshed-intrinsic-from.rs

rebase and update fixed crashes

2024-10-15 13:11:00 +02:00

coherence-bikeshed-intrinsic-from.stderr

remove unnecessary revisions

2024-10-15 13:26:59 +02:00

feature-missing.rs

use backticks instead of single quotes when reporting "use of unstable library feature"

2024-11-03 13:55:52 -08:00

feature-missing.stderr

use backticks instead of single quotes when reporting "use of unstable library feature"

2024-11-03 13:55:52 -08:00

unknown_dst_field.rs

safe transmute: Rename BikeshedIntrinsicFrom to TransmuteFrom

2024-08-27 14:05:54 +00:00

unknown_dst_field.stderr

safe transmute: Rename BikeshedIntrinsicFrom to TransmuteFrom

2024-08-27 14:05:54 +00:00

unknown_dst.rs

safe transmute: Rename BikeshedIntrinsicFrom to TransmuteFrom

2024-08-27 14:05:54 +00:00

unknown_dst.stderr

safe transmute: revise safety analysis

2024-02-27 16:22:32 +00:00

unknown_src_field.rs

safe transmute: Rename BikeshedIntrinsicFrom to TransmuteFrom

2024-08-27 14:05:54 +00:00

unknown_src_field.stderr

safe transmute: Rename BikeshedIntrinsicFrom to TransmuteFrom

2024-08-27 14:05:54 +00:00

unknown_src.rs

safe transmute: Rename BikeshedIntrinsicFrom to TransmuteFrom

2024-08-27 14:05:54 +00:00

unknown_src.stderr

safe transmute: revise safety analysis

2024-02-27 16:22:32 +00:00

wrong-adt-assume.rs

transmutability: fix ICE when passing wrong ADT to ASSUME

2025-02-08 05:44:29 +01:00

wrong-adt-assume.stderr

transmutability: fix ICE when passing wrong ADT to ASSUME

2025-02-08 05:44:29 +01:00

wrong-type-assume.rs

safe transmute: Rename BikeshedIntrinsicFrom to TransmuteFrom

2024-08-27 14:05:54 +00:00

wrong-type-assume.stderr

safe transmute: revise safety analysis

2024-02-27 16:22:32 +00:00