Backport "Delay hard argument comparisons" to LTS#21020

Merged

WojciechMazur merged 3 commits intolts-3.3from

Jul 5, 2024

Commits on Jul 4, 2024

Delay hard argument comparisons
WojciechMazur
committed
Rename isHard --> isIncomplete

odersky
authored and
WojciechMazur
committed
Apply suggestions from code review

authored and
WojciechMazur
committed