about summary refs log tree commit diff
path: root/compiler/rustc_transmute/src/lib.rs
AgeCommit message (Expand)AuthorLines
2023-09-06Fix error report for size overflow from transmuteyukang-0/+4
2023-07-17Safe Transmute: Fix ICE (due to UnevaluatedConst)Bryan Garza-1/+12
2023-06-12Safe Transmute: Refactor error handling and Answer typeBryan Garza-4/+16
2023-05-24Safe Transmute: Update definition of Condition typeBryan Garza-3/+3
2023-05-24Safe Transmute: Check mutability before creating dst -> src obligationBryan Garza-1/+1
2023-05-24Safe Transmute: Fix propagation of errorsBryan Garza-1/+1
2023-05-24Safe Transmute: Change Answer type to ResultBryan Garza-8/+5
2023-05-24Safe Transmute: Enable handling references, including recursive typesBryan Garza-5/+6
2023-04-26Remove unused `TypeFoldable`/`TypeVisitable` impls.Nicholas Nethercote-2/+2
2023-04-16Erase regions when confirming transmutability candidateMichael Goulet-6/+3
2023-04-09Some simple `clippy::perf` fixesNilstrieb-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-01-18Also remove `#![feature(control_flow_enum)]` where possibleScott McMurray-1/+1
2022-11-03change error_reported to use Result instead of an optionyukang-1/+1
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-2/+2
2022-10-03check if const is ADT or notTakayuki Maeda-5/+10
2022-09-04Auto merge of #100726 - jswrenn:transmute, r=oli-obkbors-6/+56
2022-08-31safe transmute: use `to_valtree` to destructure const `Assume`Jack Wrenn-7/+4
2022-08-26Rollup merge of #100604 - dtolnay:okorerr, r=m-ou-seYuki Okushi-8/+1
2022-08-23safe transmute: use `FxIndex{Map,Set}` instead of `FxHash{Map,Set}`Jack Wrenn-5/+1
2022-08-22safe transmute: use `Assume` struct to provide analysis optionsJack Wrenn-1/+58
2022-08-21ADD - diagnostic lints to rustc_transmuteJhonny Bill Mena-0/+2
2022-08-17Remove unstable Result::into_ok_or_errDavid Tolnay-8/+1
2022-07-27safe transmute: tweak tracingJack Wrenn-0/+3
2022-07-27Initial (incomplete) implementation of transmutability trait.Jack Wrenn-0/+114