diff options
author | Martin Odersky <odersky@gmail.com> | 2015-12-15 15:43:10 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-12-15 15:43:10 +0100 |
commit | 3a031f55d257203047504ff5eff7718e617d89ce (patch) | |
tree | 9ba52beace5351c2f63585d04687732e6a133962 | |
parent | 503011f5749e7c21ab4f3b5eca8c2f9b0a1b37a6 (diff) | |
download | dotty-3a031f55d257203047504ff5eff7718e617d89ce.tar.gz dotty-3a031f55d257203047504ff5eff7718e617d89ce.tar.bz2 dotty-3a031f55d257203047504ff5eff7718e617d89ce.zip |
Change <:< to overrides
This is needed to freeze the constraint.
-rw-r--r-- | src/dotty/tools/dotc/typer/RefChecks.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/RefChecks.scala b/src/dotty/tools/dotc/typer/RefChecks.scala index 4bd02b356..46d05dce8 100644 --- 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 } |