Extract wildcard GADT constraints more directly#14832

Merged

abgruszecki merged 2 commits intoscala:mainfrom

dwijnand:extract-wildcard-gadt-constraints

Apr 9, 2022

Commits on Apr 3, 2022

Extract wildcard GADT constraints more directly
dwijnand
committed

Commits on Apr 7, 2022

Add a test case there the pattern has a bound
dwijnand
committed