Skip to content

Discard region-related bounds from ParamEnv when predicate is global#92044

Closed
Aaron1011 wants to merge 2 commits intorust-lang:masterfrom
Aaron1011:discard-region-bounds

Commits

Commits on Dec 20, 2021