Skip to content

Make BoundRegion have a kind of BoungRegionKind#80163

Merged
bors merged 1 commit intorust-lang:masterfrom
jackh726:binder-refactor-part-3
Dec 20, 2020
Merged

Make BoundRegion have a kind of BoungRegionKind#80163
bors merged 1 commit intorust-lang:masterfrom
jackh726:binder-refactor-part-3

Commits

Commits on Dec 18, 2020