diff options
author | Martin Odersky <odersky@gmail.com> | 2014-01-11 17:53:29 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-01-11 17:53:29 +0100 |
commit | 6b83b526cd3c9e0ce2931bd9b999b67ea230a705 (patch) | |
tree | 2dba1b348c5aed9e8c783d64527779d20c067ff3 /src/dotty/tools/dotc/core/TypeComparer.scala | |
parent | f120cde2985b4eca33ad5067d788b20242cb9f24 (diff) | |
download | dotty-6b83b526cd3c9e0ce2931bd9b999b67ea230a705.tar.gz dotty-6b83b526cd3c9e0ce2931bd9b999b67ea230a705.tar.bz2 dotty-6b83b526cd3c9e0ce2931bd9b999b67ea230a705.zip |
fix for comparing or-types.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeComparer.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeComparer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala index 18e38eacd..ca43784a2 100644 --- a/src/dotty/tools/dotc/core/TypeComparer.scala +++ b/src/dotty/tools/dotc/core/TypeComparer.scala @@ -365,7 +365,7 @@ class TypeComparer(initctx: Context) extends DotClass { case AndType(tp21, tp22) => isSubType(tp1, tp21) && isSubType(tp1, tp22) case OrType(tp21, tp22) => - isSubType(tp1, tp21) || isSubType(tp1, tp22) + isSubType(tp1, tp21) || isSubType(tp1, tp22) || fourthTry(tp1, tp2) case tp2 @ MethodType(_, formals2) => tp1 match { case tp1 @ MethodType(_, formals1) => |