Backport "Remove unnecessary and recursive Space decomposition" to LTS#20804

Merged

WojciechMazur merged 4 commits intolts-3.3from

Jun 26, 2024

Commits on Jun 25, 2024

Move checkMatch into SpaceEngine

dwijnand
authored and
WojciechMazur
committed
Remove unnecessary and recursive Space decomposition

dwijnand
authored and
WojciechMazur
committed
Fix provablyDisjoint handling of HK types

dwijnand
authored and
WojciechMazur
committed
Fix instantiating subtypes with outer references

dwijnand
authored and
WojciechMazur
committed