Skip to content

lowering: cleanup some hofs#68416

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

Commits

Commits on Jan 21, 2020