Rename super_predicates_of
and similar queries to explicit_*
to note that they're not elaborated#127045
Merged
bors merged 3 commits intorust-lang:masterfrom Jun 29, 2024