Repository navigation

Run datatype root invariants also when the element has its own invariants (#567) - #696

Merged

ewoutkramer merged 2 commits into

claude/fix-567-root-invariants-expanded-datatypes

Oct 1, 2026

Merged

Run datatype root invariants also when the element has its own invariants (#567)#696
ewoutkramer merged 2 commits into
developfrom
claude/fix-567-root-invariants-expanded-datatypes

Commits on Sep 30, 2026
- Run type root invariants also when the element carries its own invariants
  claude
  committed
  cc57034
- Use Coverage.period in the #567 test so it compiles for R5 and STU3
  claude
  committed
  7b03f4f