mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
d846cf0971
rust/compiler/rustc_middle
History
Matthias Krüger d0d0ccdca2
Rollup merge of #106012 - JakobDegen:retag-raw, r=RalfJung 
Clarify that raw retags are not permitted in Mir

Not sure when this changed, but documentation and the validator needed to be updated. This also removes raw retags from custom mir.

cc rust-lang/miri#2735

r? `@RalfJung`
2022-12-22 01:01:15 +01:00
..
src Rollup merge of #106012 - JakobDegen:retag-raw, r=RalfJung 2022-12-22 01:01:15 +01:00
Cargo.toml Make tcx.mk_const more permissive wrt kind argument 2022-11-28 17:27:20 +00:00
README.md

README.md

For more information about how rustc works, see the rustc dev guide.