Add debug assertion

liufengyun · liufengyun · commit 67dadb2aede4 · 2019-03-05T14:16:35.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/ast/tpd.scala b/compiler/src/dotty/tools/dotc/ast/tpd.scala
@@ -272,6 +272,7 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo {
             false
         }
         val constr = firstParent.decl(nme.CONSTRUCTOR).suchThat(constr => isApplicable(constr.info))
+        assert(constr.symbol.exists, "error @ " + cls.sourcePos)
         New(firstParent, constr.symbol.asTerm, superArgs)
       }
       ClassDefWithParents(cls, constr, superRef :: otherParents.map(TypeTree(_)), body)

Original file line number	Diff line number	Diff line change
`@@ -272,6 +272,7 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo {`
`272`	`272`	`false`
`273`	`273`	`}`
`274`	`274`	`val constr = firstParent.decl(nme.CONSTRUCTOR).suchThat(constr => isApplicable(constr.info))`
	`275`	`+ assert(constr.symbol.exists, "error @ " + cls.sourcePos)`
`275`	`276`	`New(firstParent, constr.symbol.asTerm, superArgs)`
`276`	`277`	`}`
`277`	`278`	`ClassDefWithParents(cls, constr, superRef :: otherParents.map(TypeTree(_)), body)`