diff options
author | Martin Odersky <odersky@gmail.com> | 2015-12-20 11:52:55 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-12-20 11:52:55 +0100 |
commit | f780a371a3716c6917a510ed72a5927704634bb3 (patch) | |
tree | f84c6c6f2c0208f9f24aaafbccbbbbcd2a6aa05e /src | |
parent | a2f0fc167bddda7bdf1f6b3fa8e091770a80b379 (diff) | |
download | dotty-f780a371a3716c6917a510ed72a5927704634bb3.tar.gz dotty-f780a371a3716c6917a510ed72a5927704634bb3.tar.bz2 dotty-f780a371a3716c6917a510ed72a5927704634bb3.zip |
Make isBottomType work for derives types as well.
Diffstat (limited to 'src')
-rw-r--r-- | src/dotty/tools/dotc/core/Definitions.scala | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/dotty/tools/dotc/core/Definitions.scala b/src/dotty/tools/dotc/core/Definitions.scala index 5f794f2d5..a7fecce8e 100644 --- a/src/dotty/tools/dotc/core/Definitions.scala +++ b/src/dotty/tools/dotc/core/Definitions.scala @@ -589,10 +589,7 @@ class Definitions { } def isBottomClass(cls: Symbol) = cls == NothingClass || cls == NullClass - def isBottomType(tp: Type) = tp match { - case tp: TypeRef => isBottomClass(tp.symbol) - case _ => false - } + def isBottomType(tp: Type) = tp.derivesFrom(NothingClass) || tp.derivesFrom(NullClass) def isFunctionClass(cls: Symbol) = isVarArityClass(cls, tpnme.Function) def isAbstractFunctionClass(cls: Symbol) = isVarArityClass(cls, tpnme.AbstractFunction) |