More tweaks to override checks.

odersky · odersky · commit 7e8f40164a48 · 2015-12-15T15:56:42.000+01:00
diff --git a/src/dotty/tools/dotc/typer/RefChecks.scala b/src/dotty/tools/dotc/typer/RefChecks.scala
@@ -232,9 +232,9 @@ object RefChecks {
       def compatibleTypes =
         if (member.isType) { // intersection of bounds to refined types must be nonempty
           member.is(BaseTypeArg) ||
-          memberTp.overrides(otherTp) || {
+          (memberTp frozen_<:< otherTp) || {
             val jointBounds = (memberTp.bounds & otherTp.bounds).bounds
-            jointBounds.lo <:< jointBounds.hi
+            jointBounds.lo frozen_<:< jointBounds.hi
           }
         }
         else

Original file line number	Diff line number	Diff line change
`@@ -232,9 +232,9 @@ object RefChecks {`
`232`	`232`	`def compatibleTypes =`
`233`	`233`	`if (member.isType) { // intersection of bounds to refined types must be nonempty`
`234`	`234`	`member.is(BaseTypeArg) \|\|`
`235`		`- memberTp.overrides(otherTp) \|\| {`
	`235`	`+ (memberTp frozen_<:< otherTp) \|\| {`
`236`	`236`	`val jointBounds = (memberTp.bounds & otherTp.bounds).bounds`
`237`		`- jointBounds.lo <:< jointBounds.hi`
	`237`	`+ jointBounds.lo frozen_<:< jointBounds.hi`
`238`	`238`	`}`
`239`	`239`	`}`
`240`	`240`	`else`