dbg inConstrCall

smarter · smarter · commit 7f8320255d9b · 2020-03-22T17:57:11.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -540,7 +540,7 @@ class Typer extends Namer
   def typedSuper(tree: untpd.Super, pt: Type)(implicit ctx: Context): Tree = {
     val qual1 = typed(tree.qual)
     val inConstrCall = pt match {
-      case pt: SelectionProto if pt.name == nme.CONSTRUCTOR => true
+      case pt: SelectionProto if pt.name == nme.CONSTRUCTOR => assert(false, s"$tree, ${ctx.owner.showLocated}, ${tree.sourcePos}"); true
       case _ => false
     }
     val enclosingInlineable = ctx.owner.ownersIterator.findSymbol(_.isInlineMethod)

Original file line number	Diff line number	Diff line change
`@@ -540,7 +540,7 @@ class Typer extends Namer`
`540`	`540`	`def typedSuper(tree: untpd.Super, pt: Type)(implicit ctx: Context): Tree = {`
`541`	`541`	`val qual1 = typed(tree.qual)`
`542`	`542`	`val inConstrCall = pt match {`
`543`		`- case pt: SelectionProto if pt.name == nme.CONSTRUCTOR => true`
	`543`	`+ case pt: SelectionProto if pt.name == nme.CONSTRUCTOR => assert(false, s"$tree, ${ctx.owner.showLocated}, ${tree.sourcePos}"); true`
`544`	`544`	`case _ => false`
`545`	`545`	`}`
`546`	`546`	`val enclosingInlineable = ctx.owner.ownersIterator.findSymbol(_.isInlineMethod)`