Be more defensive when recomputing denotations

odersky · odersky · commit 834f135fcd4a · 2017-10-05T12:59:45.000+02:00
We don't know a priori that `current` will give us a denotation
that is valid for the current period.
diff --git a/compiler/src/dotty/tools/dotc/core/Symbols.scala b/compiler/src/dotty/tools/dotc/core/Symbols.scala
@@ -426,7 +426,7 @@ object Symbols {
     private def recomputeDenot(lastd: SymDenotation, now: Period)(implicit ctx: Context): SymDenotation = {
       val newd = lastd.current.asInstanceOf[SymDenotation]
       lastDenot = newd
-      checkedPeriod = now
+      checkedPeriod = Nowhere
       newd
     }
 

Original file line number	Diff line number	Diff line change
`@@ -426,7 +426,7 @@ object Symbols {`
`426`	`426`	`private def recomputeDenot(lastd: SymDenotation, now: Period)(implicit ctx: Context): SymDenotation = {`
`427`	`427`	`val newd = lastd.current.asInstanceOf[SymDenotation]`
`428`	`428`	`lastDenot = newd`
`429`		`- checkedPeriod = now`
	`429`	`+ checkedPeriod = Nowhere`
`430`	`430`	`newd`
`431`	`431`	`}`
`432`	`432`