Fix exception: not all traits have constructors

liufengyun · liufengyun · commit 6ded31fdb335 · 2020-02-13T14:11:39.000+01:00
ErasedFunctionX does not have constructors, thus no need to follow.

dotc -d out -Yerased-terms -Ycheck-init tests/run-custom-args/erased/erased-15.scala
diff --git a/compiler/src/dotty/tools/dotc/transform/init/Checking.scala b/compiler/src/dotty/tools/dotc/transform/init/Checking.scala
@@ -112,7 +112,7 @@ object Checking {
 
       case ref =>
         val cls = ref.tpe.classSymbol.asClass
-        if (!state.parentsInited.contains(cls))
+        if (!state.parentsInited.contains(cls) && cls.primaryConstructor.exists)
           checkCtor(cls.primaryConstructor, ref.tpe, ref)
     }
 

Original file line number	Diff line number	Diff line change
`@@ -112,7 +112,7 @@ object Checking {`
`112`	`112`
`113`	`113`	`case ref =>`
`114`	`114`	`val cls = ref.tpe.classSymbol.asClass`
`115`		`- if (!state.parentsInited.contains(cls))`
	`115`	`+ if (!state.parentsInited.contains(cls) && cls.primaryConstructor.exists)`
`116`	`116`	`checkCtor(cls.primaryConstructor, ref.tpe, ref)`
`117`	`117`	`}`
`118`	`118`