Skip to content

More general captures#109489

Merged
bors merged 1 commit intorust-lang:masterfrom
est31:generalize_captures
Mar 23, 2023
Merged

More general captures#109489
bors merged 1 commit intorust-lang:masterfrom
est31:generalize_captures

Commits

Commits on Mar 22, 2023