dotty.tools.dotc.transform.PreRecheck.scala Maven / Gradle / Ivy

Go to download

package dotty.tools.dotc
package transform

import core.Phases.Phase
import core.DenotTransformers.DenotTransformer
import core.Contexts.{Context, ctx}

/** A base class for a phase that precedes a rechecker and that allows installing
 *  new types for local symbols.
 */
abstract class PreRecheck extends Phase, DenotTransformer:

  def phaseName: String = "preRecheck"

  override def changesBaseTypes: Boolean = true

  var pastRecheck = false

  def run(using Context): Unit = ()

  override def isCheckable = false