Fixing problems around isAbsent

A Symbol is absent if (1) it equals NoSymbol, or (2) it's type is NoType or (3) it is a module with an module class which is absent.

Note that isAbsent does not force symbols. The info has to be completed explicitly to check.

Criterion (3) is missing, we now take it into account.

Also, made ClassDenotation ops more robost in tge face of possibilty of being absent.

Finally, refined logic in Typer, to complete a symbol before checking absent.

1 files changed, 1 insertions, 0 deletions

diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala
index d16ec53ae..31964ce98 100644
--- a/src/dotty/tools/dotc/typer/Typer.scala
+++ b/src/dotty/tools/dotc/typer/Typer.scala
@@ -67,6 +67,7 @@ class Typer extends Namer with Applications with Implicits {
   def reallyExists(denot: Denotation)(implicit ctx: Context): Boolean =
     denot.exists && {
       val sym = denot.symbol
+      sym.ensureCompleted
       (sym eq NoSymbol) || !sym.isAbsent
     }