rust - https://github.com/rust-lang/rust

Age	Commit message (Collapse)	Author	Lines
2022-08-22	safe transmute: use `Assume` struct to provide analysis options	Jack Wrenn	-17/+16
	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-27	safe transmute: test when `ASSUME` params are passed indirectly	Jack Wrenn	-0/+73
	ref: https://github.com/rust-lang/rust/pull/92268/files#r925258420
2022-07-27	Initial (incomplete) implementation of transmutability trait.	Jack Wrenn	-0/+41
	This initial implementation handles transmutations between types with specified layouts, except when references are involved. Co-authored-by: Igor null <m1el.2027@gmail.com>