Skip to content

Extract GADT constraints from wildcard type arguments#14132

Merged
dwijnand merged 1 commit intoscala:masterfrom
dwijnand:constrain-wildcards
Jan 24, 2022

Commits

Commits on Jan 20, 2022