From c62d021cdcc0a3dda6daffd74daf8eaf48aeae88 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Fri, 28 Mar 2014 12:57:54 +0100
Subject: Fix in NamedType#denot

Need to update checkedPeriod when new denotation is computed.
---
 src/dotty/tools/dotc/core/Types.scala | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala
index a7a33ce8e..8799f9fd0 100644
--- a/src/dotty/tools/dotc/core/Types.scala
+++ b/src/dotty/tools/dotc/core/Types.scala
@@ -1039,6 +1039,7 @@ object Types {
       }
       lastDenotation = d
       lastSymbol = d.symbol
+      checkedPeriod = ctx.period
       d
     }
 
-- 
cgit v1.2.3