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

Migrate "function cannot return without recursing" diagnostic

2022-12-17 19:08:24 +01:00