Skip to content

Denotation#matches: avoid now-unnecessary slow path#9148

Merged
odersky merged 1 commit intoscala:masterfrom
dotty-staging:remove-match-slowpath
Jun 9, 2020

Commits

Commits on Jun 9, 2020