diff options
| author | Nicholas Nethercote <n.nethercote@gmail.com> | 2024-12-09 09:45:20 +1100 |
|---|---|---|
| committer | Nicholas Nethercote <n.nethercote@gmail.com> | 2024-12-11 10:45:47 +1100 |
| commit | 67df7cbf31c89e0290c9c3a0deb814eb8068ab69 (patch) | |
| tree | ad150fccf1d055c035ec96869cbd7b775addf81c /tests/coverage/branch/lazy-boolean.coverage | |
| parent | 33c245b9e98bc91e18ea1c5033824f4c6f92766f (diff) | |
| download | rust-67df7cbf31c89e0290c9c3a0deb814eb8068ab69.tar.gz rust-67df7cbf31c89e0290c9c3a0deb814eb8068ab69.zip | |
Simplify `rustc_mir_dataflow::abs_domain`.
`rustc_mir_dataflow` has a typedef `AbstractElem` that is equal to `ProjectionElem<AbstractOperand, AbstractType>`. `AbstractOperand` and `AbstractType` are both unit types. There is also has a trait `Lift` to convert a `PlaceElem` to an `AbstractElem`. But `rustc_mir_middle` already has a typedef `ProjectionKind` that is equal to `ProjectionElem<(), ()>`, which is equivalent to `AbstractElem`. So this commit reuses `ProjectionKind` in `rustc_mir_dataflow`, removes `AbstractElem`, and simplifies the `Lift` trait.
Diffstat (limited to 'tests/coverage/branch/lazy-boolean.coverage')
0 files changed, 0 insertions, 0 deletions