Fix a long sleeper bug

odersky · odersky · commit ee4e2e0178d0 · 2015-09-30T13:52:38.000+02:00
When setting the denotation we did not change the checked period.
This can lead to a situation where a denotation is set to NoDenotation,
yet the checked period is something else. This means in effect the denotation
will vanish at the checked period. This bug caused the junit test failure
about "non-member exception" for sourceFile in DottyBackendInterface.
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala
@@ -1380,6 +1380,7 @@ object Types {
 
       lastDenotation = denot
       lastSymbol = denot.symbol
+      checkedPeriod = Nowhere
     }
 
     private[dotc] def withSym(sym: Symbol, signature: Signature)(implicit ctx: Context): ThisType =

Original file line number	Diff line number	Diff line change
`@@ -1380,6 +1380,7 @@ object Types {`
`1380`	`1380`
`1381`	`1381`	`lastDenotation = denot`
`1382`	`1382`	`lastSymbol = denot.symbol`
	`1383`	`+ checkedPeriod = Nowhere`
`1383`	`1384`	`}`
`1384`	`1385`
`1385`	`1386`	`private[dotc] def withSym(sym: Symbol, signature: Signature)(implicit ctx: Context): ThisType =`