Fix #7044: Approximate GADT bounds to avoid explicit type ascriptions#8728

Merged

abgruszecki merged 2 commits intoscala:masterfrom

radeusgd:gadt-ascription3

May 12, 2020

Commits on Apr 30, 2020

Add GADT approximation in adaptToSubType

abgruszecki
authored and
radeusgd
committed

Commits on May 12, 2020

Fix lampepfl#7044: Added GADT recovery with fallback to default error.
radeusgd
committed