dnrops
/
rust
mirror of https://github.com/rust-lang/rust.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
236,073 Commits 7 Branches 138 Tags 1.7 GiB
Commit Graph

3 Commits

Author SHA1 Message Date
Bryan Garza d2164d5c9a Safe Transmute: Update definition of Condition type 
- Change `Condition` to not contain `Answer`s but instead just contain other
  `Condition`s directly.
- Also improve error reporting for `DstHasStricterAlignment`
 2023-05-24 17:49:56 -07:00
Bryan Garza 6266358237 Safe Transmute: Check mutability before creating dst -> src obligation 
- Only create dst -> src obligation if Dst is mutable
- Add some long comments to explain parts of the transmutability code that were
  unclear to me when reading
- Update/add tests
 2023-05-24 15:00:06 -07:00
Bryan Garza db3275c962 Safe Transmute: Add alignment tests 2023-05-24 14:52:19 -07:00