| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2022-10-30 | fix #103783, fix ICE checking transmutability of NaughtyLenArray | yukang | -0/+33 | |
| 2022-10-22 | Bless tests | Deadbeef | -4/+2 | |
| 2022-10-03 | check if const is ADT or not | Takayuki Maeda | -2/+59 | |
| 2022-10-03 | add a ui test for #101739 | Takayuki Maeda | -0/+37 | |
| 2022-09-23 | fix test | b-naber | -35/+6 | |
| 2022-08-22 | safe transmute: use `Assume` struct to provide analysis options | Jack 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-21 | Rework point-at-arg | Michael Goulet | -2/+2 | |
| 2022-08-04 | opt node type | Michael Goulet | -2/+2 | |
| 2022-07-27 | safe transmute: reference tracking issue | Jack Wrenn | -1/+14 | |
| ref: https://github.com/rust-lang/rust/pull/92268#discussion_r925266769 | ||||
| 2022-07-27 | safe transmute: add `rustc_on_unimplemented` to `BikeshedIntrinsicFrom` | Jack Wrenn | -364/+482 | |
| ref: https://github.com/rust-lang/rust/pull/92268#discussion_r925266583 | ||||
| 2022-07-27 | safe transmute: test to ensure that trait is correctly feature-gated | Jack Wrenn | -0/+17 | |
| ref: https://github.com/rust-lang/rust/pull/92268#discussion_r925265476 | ||||
| 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 | safe transmute: gracefully handle const params of wrong types | Jack Wrenn | -0/+67 | |
| ref: https://github.com/rust-lang/rust/pull/92268/files#r925244819 | ||||
| 2022-07-27 | Initial (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> | ||||
