Skip to content

Speed up compilation of type-system-chess#114611

Merged
bors merged 4 commits into
rust-lang:masterfrom
nnethercote:type-system-chess
Aug 18, 2023
Merged

Speed up compilation of type-system-chess#114611
bors merged 4 commits into
rust-lang:masterfrom
nnethercote:type-system-chess

Ignore `cause` and `recursion_depth` in `Obligation::{eq,hash}`.

698f0e3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs