Make module subtyping checks proportional to the expected signature, cache repeated field checks - #22281

Open

JasonGross wants to merge 3 commits into

rocq-prover:masterfrom

JasonGross:fix-22279-include-self-subtyping

Commits on Jul 21, 2026

Make module subtyping checks proportional to the expected signature

JasonGross
and
claude
committed
Cache successful constant field subtype checks

JasonGross
and
claude
committed
Add tests and changelog for module subtyping performance fixes

JasonGross
and
claude
committed