More debug output

scala · Sep 16, 2024 · 24916b0 · 24916b0
1 parent f13c61f
commit 24916b0
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -5973,7 +5973,11 @@ object Types extends TypeUtils {
           && (!tp.cls.is(Trait) || takesNoArgs(tp.cls.info.parents.head))
 
         if noArgsNeeded != validCtorOLD then
-          println(i"SAM change for $tp with parent ${firstParentCls.fullName}, now $noArgsNeeded")
+          println(
+            i"""SAM change for $tp / ${tp.cls.fullName} with parent ${firstParentCls.fullName}, now $noArgsNeeded
+              |takesNoArgs: ${takesNoArgs(tp)}
+              |takesNoArgsParent: ${takesNoArgs(tp.cls.info.parents.head)}
+              |primary: ${firstParentCls.primaryConstructor.info}""")
 
         def isInstantiable =
           !tp.cls.isOneOf(FinalOrSealed) && (tp.appliedRef <:< tp.selfType)