Skip to content

When checking tp1 <:< tycon2[args2], widen tp1 to reveal application#12846

Merged
abgruszecki merged 1 commit intoscala:masterfrom
dotty-staging:fix-i11499
Jun 17, 2021

Commits

Commits on Jun 16, 2021