Check @targetName when subtyping Refined Types#19081

Merged

hamzaremmal merged 3 commits intoscala:mainfrom

hamzaremmal:i18922

Nov 30, 2023

Commits on Nov 25, 2023

Check targetName when subtyping Refined Types
hamzaremmal
committed

Commits on Nov 29, 2023

Move targetName-refine from pos/ to neg/
hamzaremmal
committed

Commits on Nov 30, 2023

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