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

OlivierBlanvillain · smarter · web-flow · commit aebc8b468d7f · 2019-12-06T16:29:39.000+01:00
Co-Authored-By: Guillaume Martres &lt;smarter@ubuntu.com&gt;
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -918,7 +918,7 @@ object Types {
         case tp @ MethodType(Nil) => tp.resultType
         case _ => tp
       }
-      this.isInstanceOf[ClassInfo] && !checkClassInfo
+      !checkClassInfo && this.isInstanceOf[ClassInfo]
       || (this.widenExpr frozen_<:< that.widenExpr)
       || matchLoosely && {
            val this1 = widenNullary(this)

Original file line number	Diff line number	Diff line change
`@@ -918,7 +918,7 @@ object Types {`
`918`	`918`	`case tp @ MethodType(Nil) => tp.resultType`
`919`	`919`	`case _ => tp`
`920`	`920`	`}`
`921`		`- this.isInstanceOf[ClassInfo] && !checkClassInfo`
	`921`	`+ !checkClassInfo && this.isInstanceOf[ClassInfo]`
`922`	`922`	`\|\| (this.widenExpr frozen_<:< that.widenExpr)`
`923`	`923`	`\|\| matchLoosely && {`
`924`	`924`	`val this1 = widenNullary(this)`