From 61d0aad0b6ab5fec05d10b83d0f37a581ec0d6af Mon Sep 17 00:00:00 2001 From: noti0na1 Date: Wed, 4 Sep 2024 18:19:17 +0200 Subject: [PATCH] Add back the checkedPeriod update --- compiler/src/dotty/tools/dotc/core/Types.scala | 1 + 1 file changed, 1 insertion(+) diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala index 4869375d8c94..4fd879eb05d8 100644 --- a/compiler/src/dotty/tools/dotc/core/Types.scala +++ b/compiler/src/dotty/tools/dotc/core/Types.scala @@ -2459,6 +2459,7 @@ object Types extends TypeUtils { if (sym.isValidInCurrentRun) sym else denot.symbol case name => (if (denotationIsCurrent) lastDenotation.asInstanceOf[Denotation] else denot).symbol + if checkedPeriod.code != NowhereCode then checkedPeriod = ctx.period result /** There is a denotation computed which is valid (somewhere in) the