aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/dotty/tools/dotc/core/Types.scala2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala
index 33eeff5c8..5a6307751 100644
--- a/src/dotty/tools/dotc/core/Types.scala
+++ b/src/dotty/tools/dotc/core/Types.scala
@@ -1165,6 +1165,8 @@ object Types {
private def computeDenot(implicit ctx: Context): Denotation = {
val denot = lastDenotationOrSym match {
+ case d: SymDenotation if d is ValidForever =>
+ d.current
case d: Denotation =>
if (d.validFor.runId == ctx.period.runId) d.current
else loadDenot