diff options
author | Martin Odersky <odersky@gmail.com> | 2014-01-03 18:42:21 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-01-03 18:42:21 +0100 |
commit | 5cff81ca46d771033b9877f510080871cbaebbfc (patch) | |
tree | b079df94034f8da09216e4994429f8dd8d19fab9 | |
parent | 5732fb2e64d72629c94f5d0d0c30360f0169abc2 (diff) | |
download | dotty-5cff81ca46d771033b9877f510080871cbaebbfc.tar.gz dotty-5cff81ca46d771033b9877f510080871cbaebbfc.tar.bz2 dotty-5cff81ca46d771033b9877f510080871cbaebbfc.zip |
Hardening against a possible NoDenotation has no owner crash.
-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 582fa7b21..0b6e8294b 100644 --- a/src/dotty/tools/dotc/core/TypeComparer.scala +++ b/src/dotty/tools/dotc/core/TypeComparer.scala @@ -158,7 +158,7 @@ class TypeComparer(initctx: Context) extends DotClass { println(disambiguated(implicit ctx => s"assertion failure for ${tp1.show} <:< ${tp2.show}, frozen = $frozenConstraint")) def explainPoly(tp: Type) = tp match { case tp: PolyParam => println(s"polyparam ${tp.show} found in ${tp.binder.show}") - case tp: TypeRef => println(s"typeref ${tp.show} found in ${tp.symbol.owner.show}") + case tp: TypeRef if tp.symbol.exists => println(s"typeref ${tp.show} found in ${tp.symbol.owner.show}") case tp: TypeVar => println(s"typevar ${tp.show}, origin = ${tp.origin}") case _ => println(s"${tp.show} is a ${tp.getClass}") } |