summary refs log tree commit diff
path: root/src/test/ui/transmutability/malformed-program-gracefulness
AgeCommit message (Collapse)AuthorLines
2022-09-23fix testb-naber-35/+6
2022-08-22safe transmute: use `Assume` struct to provide analysis optionsJack Wrenn-15/+57
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-07-27safe transmute: reference tracking issueJack Wrenn-1/+14
ref: https://github.com/rust-lang/rust/pull/92268#discussion_r925266769
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: 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/+97
This initial implementation handles transmutations between types with specified layouts, except when references are involved. Co-authored-by: Igor null <m1el.2027@gmail.com>