Switched provisional evaluation cache map to FxIndexMap, and replaced map.drain_filter with map.retain#110069

Merged

bors merged 1 commit intorust-lang:masterfrom ndrewxie:issue-104212-fix

Apr 8, 2023

+9-15

Commits on Apr 7, 2023

Switched provisional evaluation cache map to FxIndexMap, and replaced map.drain_filter with map.retain
ndrewxie
committed