Skip to content

enforce user annotations in closure signatures#55229

Merged
bors merged 10 commits intorust-lang:masterfrom
nikomatsakis:issue-54692-closure-signatures
Oct 23, 2018

Commits

Commits on Oct 22, 2018

Commits on Oct 23, 2018