After re-reading the rustc guide, I think this is an external vs local provider issue
You could have
mir_const_qualif get the qualifs from
mir_validated and then you would only have to encode that.
Ah, yes, I'll give this a try. Thank you!
that's... one way, I guess? in general, I wish we had first-class support for "one provider, multiple queries" (cc @nikomatsakis)
Yes -- we had some thoughts about this related to how we handle MIR lowering as well that might actually be relevant
I should try to write them down
mir_const_qualif was an attempt to fix some bugs around promotion for array initializers in consts while keeping the existing const-checking/promotion pass. Once the combined pass is removed, two separate queries will once again be the best strategy.