Avoid unsound GADT constraints derived from subtyping relations between singletons and refined types#14728

Merged

abgruszecki merged 1 commit intoscala:mainfrom

Linyxus:fix-gadt-sngl

Mar 24, 2022

Commits on Mar 21, 2022

Freeze GADT when comparing type member bounds of singleton and refined types
Linyxus
committed