Repository navigation

Use dataflow to propagate `Qualif`s during const-qualification - #63860

Closed

ecstatic-morse wants to merge 8 commits into

rust-lang:masterfrom

ecstatic-morse:qualifs-temp

Closed

Use dataflow to propagate `Qualif`s during const-qualification#63860
ecstatic-morse wants to merge 8 commits into
rust-lang:masterfrom
ecstatic-morse:qualifs-temp

Commits on Sep 8, 2019
- Add a getter for the current state to the old dataflow results cursor
  ecstatic-morse
  committed
  1e0dfac
- Define `Qualif` indices via macro
  ecstatic-morse
  committed
  4160021
- Define `for_each_qualif` macro
  ecstatic-morse
  committed
  72e3f72
- Use `in_*_initially` methods to initialize qualifs
  ecstatic-morse
  committed
  eb2535c
- Extract qualifs per local from `ConstCx`
  ecstatic-morse
  committed
  bf44689
- Add generic dataflow impl
  ecstatic-morse
  committed
  159b9c5
- Use dataflow for const qualification
  ecstatic-morse
  committed
  808bede
- Implement a non-dataflow, temp-only `Qualif` resolver
  ecstatic-morse
  committed
  d94a901