about summary refs log tree commit diff
path: root/compiler/rustc_transmute/src/maybe_transmutable/mod.rs
AgeCommit message (Expand)AuthorLines
2024-04-30Remove `extern crate tracing` from numerous crates.Nicholas Nethercote-0/+2
2024-04-08Compute transmutability from `rustc_target::abi::Layout`Jack Wrenn-2/+17
2024-03-15Safe Transmute: Use 'not yet supported', not 'unspecified' in errorsJack Wrenn-2/+2
2024-03-13safe transmute: require that src referent is smaller than dstJack Wrenn-0/+5
2024-02-27safe transmute: revise safety analysisJack Wrenn-34/+33
2023-10-06Remove the `MaybeTransmutableQuery<&'l Dfa<...>, C>` impl.Nicholas Nethercote-16/+0
2023-10-06Fix a comment.Nicholas Nethercote-3/+1
2023-10-06Remove `map_layouts`.Nicholas Nethercote-57/+33
2023-09-06Fix error report for size overflow from transmuteyukang-0/+2
2023-06-12Safe Transmute: Refactor error handling and Answer typeBryan Garza-78/+74
2023-05-24Safe Transmute: Update definition of Condition typeBryan Garza-11/+14
2023-05-24Safe Transmute: Check mutability before creating dst -> src obligationBryan Garza-0/+22
2023-05-24Safe Transmute: Fix propagation of errorsBryan Garza-14/+29
2023-05-24Safe Transmute: Change Answer type to ResultBryan Garza-103/+79
2023-05-24Safe Transmute: Enable handling references, including recursive typesBryan Garza-34/+136
2023-04-13Improve safe transmute error reportingBryan Garza-13/+14
2022-09-04Auto merge of #100726 - jswrenn:transmute, r=oli-obkbors-1/+1
2022-09-01Always import all tracing macros for the entire crate instead of piecemeal by...Oli Scherer-2/+2
2022-08-22safe transmute: use `Assume` struct to provide analysis optionsJack Wrenn-1/+1
2022-07-27safe transmute: lowercase tracing levelsJack Wrenn-4/+4
2022-07-27safe transmute: tweak tracingJack Wrenn-6/+6
2022-07-27Initial (incomplete) implementation of transmutability trait.Jack Wrenn-0/+320