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

Commits

Commits on Feb 24, 2021

Commits on Mar 12, 2021