Skip to content

Be more conservative about discarding caller_bound in ParamEnv::and#84472

Merged
bors merged 2 commits intorust-lang:masterfrom
Aaron1011:conservative-paramenv-and
May 4, 2021
Merged

Be more conservative about discarding caller_bound in `ParamEnv::and`#84472
bors merged 2 commits intorust-lang:masterfrom
Aaron1011:conservative-paramenv-and

Commits

Commits on May 1, 2021