From ec6039597818f28499d30946f8b818455dd38a2b Mon Sep 17 00:00:00 2001
From: odersky <odersky@gmail.com>
Date: Mon, 16 Sep 2024 13:29:30 +0200
Subject: [PATCH] More debug output

---
 compiler/src/dotty/tools/dotc/core/Types.scala | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
index 3d80381334e4..b7a90011a533 100644
--- 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 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)