Backport "Two fixes to NamedTuple pattern matching" to 3.7.0#22995

Merged

WojciechMazur merged 3 commits intorelease-3.7.0from

backport-release-3.7.0-22953

Apr 14, 2025

Commits on Apr 14, 2025

Two fixes to NamedTuple pattern matching

odersky
authored and
WojciechMazur
committed
Adapt refutability warning in Space engine to named tuples

odersky
authored and
WojciechMazur
committed
Add check files

odersky
authored and
WojciechMazur
committed