Update compiler/src/dotty/tools/dotc/core/Types.scala

OlivierBlanvillain · web-flow · commit a2dc62329807 · 2019-05-29T11:15:55.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -4327,7 +4327,7 @@ object Types {
           case et: ExprType => true
           case _ => false
         }
-        if ((tp.cls.is(Trait)) || zeroParams(tp.cls.primaryConstructor.info)) tp // !!! needs to be adapted once traits have parameters
+        if (tp.cls.is(Trait) || zeroParams(tp.cls.primaryConstructor.info)) tp // !!! needs to be adapted once traits have parameters
         else NoType
       case tp: AppliedType =>
         zeroParamClass(tp.superType)

Original file line number	Diff line number	Diff line change
`@@ -4327,7 +4327,7 @@ object Types {`
`4327`	`4327`	`case et: ExprType => true`
`4328`	`4328`	`case _ => false`
`4329`	`4329`	`}`
`4330`		`- if ((tp.cls.is(Trait)) \|\| zeroParams(tp.cls.primaryConstructor.info)) tp // !!! needs to be adapted once traits have parameters`
	`4330`	`+ if (tp.cls.is(Trait) \|\| zeroParams(tp.cls.primaryConstructor.info)) tp // !!! needs to be adapted once traits have parameters`
`4331`	`4331`	`else NoType`
`4332`	`4332`	`case tp: AppliedType =>`
`4333`	`4333`	`zeroParamClass(tp.superType)`