Backport "Check @targetName when subtyping Refined Types" to LTS#20781

Merged

WojciechMazur merged 3 commits intolts-3.3from

Jun 26, 2024

Commits on Jun 25, 2024

Check targetName when subtyping Refined Types
WojciechMazur
committed
Move targetName-refine from pos/ to neg/

hamzaremmal
authored and
WojciechMazur
committed
Add extend the check for targetName when checking matching members
WojciechMazur
committed