Check period validity once per run.

2 files changed, 3 insertions, 7 deletions

diff --git a/src/dotty/tools/dotc/Run.scala b/src/dotty/tools/dotc/Run.scala
index abee30aab..a182029e6 100644
--- a/src/dotty/tools/dotc/Run.scala
+++ b/src/dotty/tools/dotc/Run.scala
@@ -13,6 +13,9 @@ import scala.reflect.io.VirtualFile
 
 class Run(comp: Compiler)(implicit ctx: Context) {
 
+  assert(comp.phases.last.last.id <= Periods.MaxPossiblePhaseId)
+  assert(ctx.runId <= Periods.MaxPossibleRunId)
+
   var units: List[CompilationUnit] = _
 
   def getSource(fileName: String): SourceFile = {
diff --git a/src/dotty/tools/dotc/core/Periods.scala b/src/dotty/tools/dotc/core/Periods.scala
index cef85a07f..b4e22bd87 100644
--- a/src/dotty/tools/dotc/core/Periods.scala
+++ b/src/dotty/tools/dotc/core/Periods.scala
@@ -120,23 +120,16 @@ object Periods {
 
     /** The single-phase period consisting of given run id and phase id */
     def apply(rid: RunId, pid: PhaseId): Period = {
-      assert(rid <= MaxPossibleRunId)
-      assert(pid <= MaxPossiblePhaseId)
       new Period(((rid << PhaseWidth) | pid) << PhaseWidth)
     }
 
     /** The period consisting of given run id, and lo/hi phase ids */
     def apply(rid: RunId, loPid: PhaseId, hiPid: PhaseId): Period = {
-      assert(rid <= MaxPossibleRunId)
-      assert(loPid <= MaxPossiblePhaseId)
-      assert(hiPid <= MaxPossiblePhaseId)
-
       new Period(((rid << PhaseWidth) | hiPid) << PhaseWidth | (hiPid - loPid))
     }
 
     /** The interval consisting of all periods of given run id */
     def allInRun(rid: RunId) = {
-      assert(rid <= MaxPossibleRunId)
       apply(rid, 0, PhaseMask)
     }
   }