Remove Unknown

Author: liufengyun

compiler/src/dotty/tools/dotc/transform/init/ParamOverridingCheck.scala

@@ -54,10 +54,6 @@ object ParamOverridingCheck:
   sealed abstract class Value:
     val source: Tree
 
-  /** An unknown value */
-  class Unknown(val source: Tree) extends Value:
-    override def equals(other: Any): Boolean = false
-
   /**
    * A symbolic value
    *
@@ -181,7 +177,7 @@ object ParamOverridingCheck:
   def eval(expr: Tree, thisV: ThisRef, klass: ClassSymbol): Contextual[Value] =
     expr match
       case Ident(nme.WILDCARD) =>
-        Unknown(expr)
+        Skolem(expr)
 
       case id @ Ident(name) if !id.symbol.is(Flags.Method)  =>
         assert(name.isTermName, "type trees should not reach here")