Trial: more strict rules for singleton values as patterns

liufengyun · liufengyun · commit 4b75df56baab · 2021-02-24T18:26:05.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -3808,8 +3808,7 @@ class Typer extends Namer
               mapOver(tp)
         }
 
-        if tree.symbol.isOneOf(Module | Enum)
-           && !(tree.tpe frozen_<:< pt) // fast track
+        if !(tree.tpe frozen_<:< pt) // fast track
            && !(tree.tpe frozen_<:< approx(pt))
         then
           // We could check whether `equals` is overriden.

Original file line number	Diff line number	Diff line change
`@@ -3808,8 +3808,7 @@ class Typer extends Namer`
`3808`	`3808`	`mapOver(tp)`
`3809`	`3809`	`}`
`3810`	`3810`
`3811`		`- if tree.symbol.isOneOf(Module \| Enum)`
`3812`		`- && !(tree.tpe frozen_<:< pt) // fast track`
	`3811`	`+ if !(tree.tpe frozen_<:< pt) // fast track`
`3813`	`3812`	`&& !(tree.tpe frozen_<:< approx(pt))`
`3814`	`3813`	`then`
`3815`	`3814`	// We could check whether `equals` is overriden.