Skip to content

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
compiler-errors:explicit
Jun 29, 2024

Commits

Commits on Jun 27, 2024