Matthias Krüger d814fdd3f9 Rollup merge of #100897 - RalfJung:const-not-to-mutable, r=lcnr ...

extra sanity check against consts pointing to mutable memory

This should be both unreachable and redundant (since we already ensure that validation only reads from read-only memory, when validating consts), but I feel like we cannot be paranoid enough here, and also if this ever fails it'll be a nicer error than the "cannot read from mutable memory" error.

2022-08-29 06:34:46 +02:00

..

src

Rollup merge of #100897 - RalfJung:const-not-to-mutable, r=lcnr

2022-08-29 06:34:46 +02:00

Cargo.toml

Initial fixes on top of type interner commit

2022-05-28 11:38:22 -07:00