Guillaume Gomez 706aa59efa

Rollup merge of #97185 - RalfJung:number-validity, r=oli-obk ...

interpret/validity: separately control checking numbers for being init and non-ptr

This lets Miri control this in a more fine-grained way.

r? `@oli-obk`

2022-05-20 14:03:03 +02:00

..

src

Rollup merge of #97185 - RalfJung:number-validity, r=oli-obk

2022-05-20 14:03:03 +02:00

Cargo.toml

Remove unused dependencies from rustc_const_eval

2021-10-14 15:42:42 -05:00