Only run dataflow for const qualification if type-based check would fail#71330

bors merged 4 commits intorust-lang:masterrust-lang/rust:masterfrom

ecstatic-morse:const-qualif-lazyecstatic-morse/rust:const-qualif-lazyCopy head branch name to clipboard