Skip to content

replace_bound_vars fast path: check predicates, don't check consts#99232

Merged
bors merged 2 commits intorust-lang:masterfrom
lcnr:no-bound-vars-check
Jul 18, 2022
Merged

`replace_bound_vars` fast path: check predicates, don't check consts#99232
bors merged 2 commits intorust-lang:masterfrom
lcnr:no-bound-vars-check

Commits

Commits on Jul 14, 2022