Skip to content

Dedup elaborated predicates with const generic parameter in AutoTrait#108397

Closed
megakorre wants to merge 1 commit into
rust-lang:masterfrom
megakorre:issue_107715
Closed

Dedup elaborated predicates with const generic parameter in AutoTrait#108397
megakorre wants to merge 1 commit into
rust-lang:masterfrom
megakorre:issue_107715

auto_trait: dedup obligation predicates after elaboration

108cad1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs