about summary refs log tree commit diff
path: root/compiler/rustc_transmute/src/lib.rs
AgeCommit message (Expand)AuthorLines
2025-06-09transmutability: shift abstraction boundaryJack Wrenn-10/+20
2025-04-23transmutability: Mark edges by ranges, not valuesJoshua Liebow-Feeser-1/+2
2025-04-20transmutability: remove NFA intermediate representationJack Wrenn-1/+1
2025-04-02Remove `recursion_limit` increases.Nicholas Nethercote-1/+0
2025-03-12Auto merge of #138414 - matthiaskrgr:rollup-9ablqdb, r=matthiaskrgrbors-1/+0
2025-03-11Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
2025-03-10Revert "Use workspace lints for crates in `compiler/` #138084"许杰友 Jieyou Xu (Joe)-0/+1
2025-03-08Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
2025-03-07Increase recursion_limit in numerous crates.Nicholas Nethercote-0/+1
2025-02-28Remove `allow(unused_variables)` for `rustc_transmute`.Nicholas Nethercote-13/+3
2025-02-28Remove unused feature from `rustc_transmute`.Nicholas Nethercote-1/+0
2025-02-28Remove unnecessary `allow(unused)` attribute.Nicholas Nethercote-1/+0
2025-02-28Remove `rustc_transmute`'s dependence on `rustc_macros`.Nicholas Nethercote-2/+1
2025-02-28Remove `rustc_transmute`'s dependence on `rustc_infer`.Nicholas Nethercote-7/+6
2025-02-08transmutability: fix ICE when passing wrong ADT to ASSUMELukas Markeffsky-18/+14
2025-01-30introduce `ty::Value`Lukas Markeffsky-4/+4
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-1/+1
2024-10-19Fix transmute goalMichael Goulet-6/+1
2024-10-19Get rid of const eval_* and try_eval_* helpersMichael Goulet-2/+1
2024-09-03Add `warn(unreachable_pub)` to `rustc_transmute`.Nicholas Nethercote-0/+1
2024-08-18safe transmute: forbid reference lifetime extensionJack Wrenn-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-7/+3
2024-06-12Use `tidy` to sort crate attributes for all compiler crates.Nicholas Nethercote-1/+3
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-3/+2
2024-06-05Basic removal of `Ty` from places (boring)Boxy-1/+2
2024-04-30Remove `extern crate tracing` from numerous crates.Nicholas Nethercote-3/+0
2024-04-08Compute transmutability from `rustc_target::abi::Layout`Jack Wrenn-1/+3
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-1/+2
2024-03-15Safe Transmute: Use 'not yet supported', not 'unspecified' in errorsJack Wrenn-4/+4
2024-03-13safe transmute: require that src referent is smaller than dstJack Wrenn-2/+9
2024-02-27safe transmute: revise safety analysisJack Wrenn-4/+2
2024-02-06Invert diagnostic lints.Nicholas Nethercote-2/+0
2024-01-25Remove unused featuresclubby789-1/+2
2023-10-06Make the comment order match variant declaration order.Nicholas Nethercote-1/+1
2023-10-06Remove an unnecessary `pub(crate)`.Nicholas Nethercote-1/+1
2023-09-13make the eval() functions on our const types return the resulting valueRalf Jung-7/+4
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