summary refs log tree commit diff
path: root/src/test/ui/transmutability
AgeCommit message (Collapse)AuthorLines
2022-10-30fix #103783, fix ICE checking transmutability of NaughtyLenArrayyukang-0/+33
2022-10-22Bless testsDeadbeef-4/+2
2022-10-03check if const is ADT or notTakayuki Maeda-2/+59
2022-10-03add a ui test for #101739Takayuki Maeda-0/+37
2022-09-23fix testb-naber-35/+6
2022-08-22safe transmute: use `Assume` struct to provide analysis optionsJack Wrenn-687/+1167
This was left as a TODO in #92268, and brings the trait more in line with what was defined in MCP411. `Assume::visibility` has been renamed to `Assume::safety`, as library safety is what's actually being assumed; visibility is just the mechanism by which it is currently checked (this may change). ref: https://github.com/rust-lang/compiler-team/issues/411 ref: https://github.com/rust-lang/rust/issues/99571
2022-08-21Rework point-at-argMichael Goulet-2/+2
2022-08-04opt node typeMichael Goulet-2/+2
2022-07-27safe transmute: reference tracking issueJack Wrenn-1/+14
ref: https://github.com/rust-lang/rust/pull/92268#discussion_r925266769
2022-07-27safe transmute: add `rustc_on_unimplemented` to `BikeshedIntrinsicFrom`Jack Wrenn-364/+482
ref: https://github.com/rust-lang/rust/pull/92268#discussion_r925266583
2022-07-27safe transmute: test to ensure that trait is correctly feature-gatedJack Wrenn-0/+17
ref: https://github.com/rust-lang/rust/pull/92268#discussion_r925265476
2022-07-27safe transmute: test when `ASSUME` params are passed indirectlyJack Wrenn-0/+73
ref: https://github.com/rust-lang/rust/pull/92268/files#r925258420
2022-07-27safe transmute: gracefully handle const params of wrong typesJack Wrenn-0/+67
ref: https://github.com/rust-lang/rust/pull/92268/files#r925244819
2022-07-27Initial (incomplete) implementation of transmutability trait.Jack Wrenn-0/+3840
This initial implementation handles transmutations between types with specified layouts, except when references are involved. Co-authored-by: Igor null <m1el.2027@gmail.com>