Change <:< to overrides

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

Original file line number	Diff line number	Diff line change
`@@ -232,7 +232,7 @@ 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 <:< otherTp) \|\| {`
	`235`	`+ memberTp.overrides(otherTp) \|\| {`
`236`	`236`	`val jointBounds = (memberTp.bounds & otherTp.bounds).bounds`
`237`	`237`	`jointBounds.lo <:< jointBounds.hi`
`238`	`238`	`}`