Commit 2024-10-31 00:45 7ff3ad03

View on Github →

chore (FieldTheory) : lower priority of instance about IsScalarTower and subtype (#18436) Lower the priority of instance IntermediateField.instIsScalarTowerSubtypeMem to 900 Because it would cause trouble when synthize instance IsScalarTower K L E where K < L are IntermediateField F E

Estimated changes