InlineCaseIntrinsics: add .simplified to fix new-unfriendy types

Author: OlivierBlanvillain

compiler/src/dotty/tools/dotc/transform/localopt/InlineCaseIntrinsics.scala

@@ -47,7 +47,7 @@ class InlineCaseIntrinsics extends Optimisation {
         case _ => fun
       }
       val constructor = a.symbol.owner.companionClass.primaryConstructor.asTerm
-      evalreceiver(a, rollInArgs(argss.tail, New(a.tpe.widenDealias, constructor, argss.head)))
+      evalreceiver(a, rollInArgs(argss.tail, New(a.tpe.widenDealias.simplified, constructor, argss.head)))
 
     // For synthetic dotty unapplies on case classes:
     // - CC.unapply(arg): CC → arg

tests/pos/inline-case-intrinsics.scala

@@ -0,0 +1,16 @@
+trait Trait { self =>
+  private case class CC(name: String)
+
+  def m = {
+    // The type of this Apply after .widenDealias is an AndType:
+    // TypeRef(AndType(
+    //   TypeRef(ThisType(TypeRef(NoPrefix,<empty>)),Trait),
+    //   ThisType(TypeRef(ThisType(TypeRef(NoPrefix,<empty>)),Trait))
+    // ), CC)
+    // Which cannot be used as is in a New....
+
+    val a = CC("")
+    println(a)
+    ()
+  }
+}