Fix scala#10085: check if enum case confirms to scrutinee type

Author: liufengyun

compiler/src/dotty/tools/dotc/core/TypeOps.scala

@@ -633,8 +633,6 @@ object TypeOps:
    *  returned. Otherwise, `NoType` is returned.
    */
   def refineUsingParent(parent: Type, child: Symbol)(using Context): Type = {
-    if (child.isTerm && child.is(Case, butNot = Module)) return child.termRef // enum vals always match
-
     // <local child> is a place holder from Scalac, it is hopeless to instantiate it.
     //
     // Quote from scalac (from nsc/symtab/classfile/Pickler.scala):

tests/patmat/i10085.scala

@@ -0,0 +1,14 @@
+enum Bool:
+  case True
+  case False
+
+import Bool._
+
+enum SBool[B <: Bool]:
+  case STrue extends SBool[True.type]
+  case SFalse extends SBool[False.type]
+
+import SBool._
+
+def f(b: SBool[True.type]): Unit = b match
+  case STrue => ()