diff options
author | Martin Odersky <odersky@gmail.com> | 2013-08-15 10:15:47 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-08-15 10:15:47 +0200 |
commit | a61377cc5eb7e51ca5227d4b4e788560d9caac97 (patch) | |
tree | fd76f47f37f543b0ad59d810f3304b949c680928 /src/dotty/tools/dotc/core/TypeOps.scala | |
parent | bedef0cf3217ac9066411c9e654bf18959adb763 (diff) | |
download | dotty-a61377cc5eb7e51ca5227d4b4e788560d9caac97.tar.gz dotty-a61377cc5eb7e51ca5227d4b4e788560d9caac97.tar.bz2 dotty-a61377cc5eb7e51ca5227d4b4e788560d9caac97.zip |
Better robustness in the presence of error types.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeOps.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeOps.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/TypeOps.scala b/src/dotty/tools/dotc/core/TypeOps.scala index 7d82cbffe..0af244054 100644 --- a/src/dotty/tools/dotc/core/TypeOps.scala +++ b/src/dotty/tools/dotc/core/TypeOps.scala @@ -224,6 +224,8 @@ trait TypeOps { this: Context => normalizeToRef(tp1) case tp: TypeRef => tp + case ErrorType => + defn.AnyClass.typeConstructor case _ => throw new TypeError(s"unexpected parent type: $tp") } |