diff options
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 |