Skip to content

Add ConstraintCategory::Usage for handling aggregate construction#88708

Merged
bors merged 1 commit intorust-lang:masterfrom
Aaron1011:aggregate-usage
Sep 20, 2021

Commits

Commits on Sep 16, 2021