Denotation#matches: avoid now-unnecessary slow path#9148
Merged
odersky merged 1 commit intoscala:masterfrom Jun 9, 2020
Merged
Denotation#matches: avoid now-unnecessary slow path#9148odersky merged 1 commit intoscala:masterfrom
odersky merged 1 commit intoscala:masterfrom