Skip to content

Normalize obligations for closure confirmation#88441

Merged
bors merged 2 commits into
rust-lang:masterfrom
jackh726:closure_norm
Nov 6, 2021
Merged

Normalize obligations for closure confirmation#88441
bors merged 2 commits into
rust-lang:masterfrom
jackh726:closure_norm

Normalize obligations for closure confirmation

cacc3ee
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs