diff options
author | Martin Odersky <odersky@gmail.com> | 2016-03-10 18:50:43 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-03-10 18:50:43 +0100 |
commit | 9a624b9249024eec4e165b47e22fe3f029a9ae81 (patch) | |
tree | 2d5b00bce2f76e5ac5a5e22c980d543b3c9c8c4c /src | |
parent | 39719aadb4076ecf22ca348f607367817638853d (diff) | |
download | dotty-9a624b9249024eec4e165b47e22fe3f029a9ae81.tar.gz dotty-9a624b9249024eec4e165b47e22fe3f029a9ae81.tar.bz2 dotty-9a624b9249024eec4e165b47e22fe3f029a9ae81.zip |
Nothing is not nullable
Diffstat (limited to 'src')
-rw-r--r-- | src/dotty/tools/dotc/core/SymDenotations.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/SymDenotations.scala b/src/dotty/tools/dotc/core/SymDenotations.scala index bde8cc10a..a83e7726a 100644 --- a/src/dotty/tools/dotc/core/SymDenotations.scala +++ b/src/dotty/tools/dotc/core/SymDenotations.scala @@ -616,7 +616,7 @@ object SymDenotations { /** Is this symbol a class references to which that are supertypes of null? */ final def isNullableClass(implicit ctx: Context): Boolean = - isClass && !isValueClass && !(this is ModuleClass) + isClass && !isValueClass && !(this is ModuleClass) && symbol != defn.NothingClass /** Is this definition accessible as a member of tree with type `pre`? * @param pre The type of the tree from which the selection is made |