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
Merged

Rename `super_predicates_of` and similar queries to `explicit_*` to note that they're not elaborated#127045
bors merged 3 commits intorust-lang:masterfrom
compiler-errors:explicit

Commits

Commits on Jun 27, 2024