Skip to content

Simplify fulfill_implication#133319

Merged
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:simpler-fulfill
Nov 22, 2024
Merged

Simplify `fulfill_implication`#133319
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:simpler-fulfill

Commits

Commits on Nov 22, 2024