More debug output

Author: odersky

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)