diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-12-15 15:56:42 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-12-15 15:56:42 +0100 |
| commit | 7e8f40164a48aa45d40b690929f969a0345b5503 (patch) | |
| tree | 3daeea15c89cf4b87e51fe87d5f60e43314f6262 /src/dotty/tools/dotc/typer/RefChecks.scala | |
| parent | 3a031f55d257203047504ff5eff7718e617d89ce (diff) | |
| download | dotty-7e8f40164a48aa45d40b690929f969a0345b5503.tar.gz dotty-7e8f40164a48aa45d40b690929f969a0345b5503.tar.bz2 dotty-7e8f40164a48aa45d40b690929f969a0345b5503.zip | |
More tweaks to override checks.
Diffstat (limited to 'src/dotty/tools/dotc/typer/RefChecks.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/RefChecks.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/typer/RefChecks.scala b/src/dotty/tools/dotc/typer/RefChecks.scala index 46d05dce8..00518278c 100644 --- 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 |