summary refs log tree commit diff
path: root/src/librustc_mir/transform/check_consts/resolver.rs
AgeCommit message (Expand)AuthorLines
2019-10-25Remove `QualifResolver` abstractionDylan MacKenzie-144/+9
2019-10-26rustc_mir: use the new validator's Qualif in promotion.Eduard-Mihai Burtescu-3/+9
2019-10-22Pattern match over PlaceRef rather than PlaceSantiago Pastorino-9/+8
2019-09-30Use separate files for debugging `Qualif` dataflow resultsDylan MacKenzie-1/+1
2019-09-30Update consumers of `generic::Engine` APIDylan MacKenzie-1/+2
2019-09-29remove indexed_vec re-export from rustc_data_structurescsmoe-1/+1
2019-09-28Mask results from flow-sensitive resolver with `in_any_value_of_ty`Dylan MacKenzie-1/+19
2019-09-28Add description for every module in `check_consts`Dylan MacKenzie-0/+5
2019-09-28Share `IndirectlyMutableLocals` results via referenceDylan MacKenzie-4/+3
2019-09-28Return a `bool` from `in_any_value_of_ty`Dylan MacKenzie-1/+1
2019-09-28Add dataflow-based const validationDylan MacKenzie-0/+327