Consider GADT upper bounds when upcasting the scrutinee type#15351

Merged

dwijnand merged 2 commits intoscala:mainfrom

dwijnand:gadt/unapply-tuple-reasoning-upcast

Jun 7, 2022

Commits on Jun 1, 2022

Consider GADT upper bounds when upcasting the scrutinee type

Linyxus
authored and
dwijnand
committed

Commits on Jun 7, 2022

Constrain patterns by both GADT upper bound & upcast
dwijnand
committed