Skip to content

Change GADT constrainer to consider all parents of the scrutinee type when upcasting it#11521

Merged
abgruszecki merged 3 commits intoscala:masterfrom
Linyxus:gadt-upcasting
Mar 15, 2021
Merged

Change GADT constrainer to consider all parents of the scrutinee type when upcasting it#11521
abgruszecki merged 3 commits intoscala:masterfrom
Linyxus:gadt-upcasting

Commits

Commits on Feb 24, 2021

Commits on Mar 12, 2021