diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-08-10 23:12:16 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-08-10 23:12:16 +0200 |
| commit | 775b2a1857290f5e83036148dbbfcdc3a29a12d2 (patch) | |
| tree | afe3f69a6be42879a8b25590f84bb2bb2a2c251e /src/dotty/tools/dotc/core/TypeComparer.scala | |
| parent | 4b32ec471bafe988b64563aaabf2d273220a8644 (diff) | |
| download | dotty-775b2a1857290f5e83036148dbbfcdc3a29a12d2.tar.gz dotty-775b2a1857290f5e83036148dbbfcdc3a29a12d2.tar.bz2 dotty-775b2a1857290f5e83036148dbbfcdc3a29a12d2.zip | |
Finished rest of typer.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeComparer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeComparer.scala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala index b52824906..a4cbdfe25 100644 --- a/src/dotty/tools/dotc/core/TypeComparer.scala +++ b/src/dotty/tools/dotc/core/TypeComparer.scala @@ -135,6 +135,8 @@ class TypeComparer(implicit val ctx: Context) extends DotClass { case TypeBounds(_, hi) => isSubType(tp1, hi) case NoType => true } + case tp2: AnnotatedType => + isSubType(tp1, tp2.tpe) // todo: refine? case ErrorType => true case _ => @@ -155,6 +157,8 @@ class TypeComparer(implicit val ctx: Context) extends DotClass { case TypeBounds(lo, _) => isSubType(lo, tp2) case _ => true } + case tp1: AnnotatedType => + isSubType(tp1.tpe, tp2) case ErrorType => true case _ => |