diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-04-25 01:35:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-25 01:35:55 +0200 |
| commit | f3331cb5b1aa515b38e6621229edcf0bd2eb9d45 (patch) | |
| tree | 49539d51419622ee45a627a3210d1ee596be8d4e /src/liballoc/tests | |
| parent | 2e2080dee60d2bad4eaed97e0a74de54f53226ba (diff) | |
| parent | 15f95b145e8ca9aaf2e8690f64db24b05153f851 (diff) | |
| download | rust-f3331cb5b1aa515b38e6621229edcf0bd2eb9d45.tar.gz rust-f3331cb5b1aa515b38e6621229edcf0bd2eb9d45.zip | |
Rollup merge of #71330 - ecstatic-morse:const-qualif-lazy, r=oli-obk
Only run dataflow for const qualification if type-based check would fail This is the optimization discussed in https://github.com/rust-lang/rust/issues/49146#issuecomment-614012476. We wait for `Qualif::in_any_value_of_ty` to return `true` before running dataflow. For bodies that deal mostly with primitive types, this will avoid running dataflow at all during const qualification. This also removes the `BitSet` used to cache `in_any_value_of_ty` for each local, which was only necessary for an old version of #64470 that also handled promotability.
Diffstat (limited to 'src/liballoc/tests')
0 files changed, 0 insertions, 0 deletions