Make dataflow-based const qualification the canonical one - #66385

Merged

bors merged 17 commits into

rust-lang:masterfrom

ecstatic-morse:check-only-pass2

Nov 17, 2019

Commits on Nov 15, 2019

Remove `QUALIF_ERROR_BIT` checking
ecstatic-morse
committed
1924cc8
Remove `requires_sync`
ecstatic-morse
committed
dbae15a
Allow `Validator` to get qualifs for the return place
ecstatic-morse
committed
4881104
Enable standalone const-checking with `Validator`
ecstatic-morse
committed
973b16a
Use new const-checker for `mir_const_qualif`
ecstatic-morse
committed
55da0c0
Remove `qualify_consts` completely
ecstatic-morse
committed
6d4e204
Move `delay_span_bug` into `emit_error` for if/loop
ecstatic-morse
committed
7527766
Remove remaining validator mismatch code
ecstatic-morse
committed
3d2bc50
Remove unnecessary `fmt::Debug` bound
ecstatic-morse
committed
c8156b9
Silence miri unleashed warnings in test
ecstatic-morse
committed
8f5494b
Add explanation of test for validation mismatch
ecstatic-morse
committed
d1f0ef5
Remove -Z flag for suppressing validation mismatch ICE
ecstatic-morse
committed
9a2e53a
A `Downcast` is now reached when const-checking a `for` loop
ecstatic-morse
committed
a4ce201
Use a bespoke type for the result of `mir_const_qualif`
ecstatic-morse
committed
056edc0
Use `mir::QualifSet` to store qualifs
ecstatic-morse
committed
1e840f8
Fix nits from review
ecstatic-morse
committed
ea95e94
Remove newtype for qualifs in `rustc_metadata`
ecstatic-morse
committed
a1135cc