Skip to content

Add -Z maximal-hir-to-mir-coverage flag#105286

Merged
bors merged 2 commits intorust-lang:masterfrom
willcrichton:maximal-hir-to-mir-coverage
Dec 6, 2022
Merged

Add -Z maximal-hir-to-mir-coverage flag#105286
bors merged 2 commits intorust-lang:masterfrom
willcrichton:maximal-hir-to-mir-coverage

Commits