Don't normalize in VarianceChecker

Author: OlivierBlanvillain

compiler/src/dotty/tools/dotc/typer/VarianceChecker.scala

@@ -133,7 +133,7 @@ class VarianceChecker(using Context) {
     def apply(status: Option[VarianceError], tp: Type): Option[VarianceError] = trace(s"variance checking $tp of $base at $variance", variances) {
       try
         if (status.isDefined) status
-        else tp.normalized match {
+        else tp match {
           case tp: TypeRef =>
             val sym = tp.symbol
             if (sym.isOneOf(VarianceFlags) && base.isContainedIn(sym.owner)) checkVarianceOfSymbol(sym)

tests/pos/10747-onnxmin.scala

@@ -0,0 +1,45 @@
+import scala.compiletime.ops.string.+
+import scala.compiletime.ops.int
+import scala.compiletime.ops.int.{S, +, <, <=, *}
+import scala.compiletime.ops.boolean.&&
+
+object OnnxMin {
+  type Index = Int & Singleton
+
+  sealed trait Indices
+  final case class :::[+H <: Index, +T <: Indices](head: H, tail: T) extends Indices
+
+  sealed trait INil extends Indices
+  case object INil extends INil
+
+
+  type Dimension = Int & Singleton
+
+  sealed trait Shape extends Product with Serializable
+
+  final case class #:[+H <: Dimension, +T <: Shape](head: H, tail: T) extends Shape
+
+  sealed trait SNil extends Shape
+  case object SNil extends SNil
+
+  type CContains[Haystack <: Indices, Needle <: Index] <: Boolean = Haystack match {
+    case head ::: tail => head match {
+      case Needle => true
+      case _ => CContains[tail, Needle]
+    }
+    case INil => false
+  }
+
+  type AddGivenAxisSizeLoop[First <: Shape, Second <: Shape, AxisIndex <: Indices, I <: Index] <: Shape = First match {
+    case head #: tail => CContains[AxisIndex, I] match {
+      case true =>  Second match {
+        case secondHead #: secondTail => head #: tail
+        case SNil => AxisIndex match{
+          case INil => SNil
+        }
+      }
+    }
+  }
+
+  def ConcatV13: AddGivenAxisSizeLoop[Dimension #: Shape, Dimension #: Shape, Index ::: INil, 0] = ???
+}