Skip to content

lowering: cleanup some hofs#68416

Merged
bors merged 1 commit intorust-lang:masterfrom
Centril:lowering-cleanup-hofs
Jan 21, 2020
Merged

lowering: cleanup some hofs#68416
bors merged 1 commit intorust-lang:masterfrom
Centril:lowering-cleanup-hofs

Commits

Commits on Jan 21, 2020