Skip to content

Remove ordering traits from `chalk_ir::interner::DefId`

29c1d17
Select commit
Loading
Failed to load commit list.
Merged

Remove Ord from chalk_ir::interner::DefId #740

Remove ordering traits from `chalk_ir::interner::DefId`
29c1d17
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs