`ParamEnvAnd::fully_perform`: we have an `ocx`, use it#129078

Merged

bors merged 1 commit intorust-lang:masterfrom

lcnr:scrape_region_constraints-use-ocx

Aug 16, 2024

Commits on Aug 14, 2024

if we have an `ocx`, use it
lcnr
committed