scala3-compiler-bootstrapped/dotty.tools.dotc.typer/Typer

Typer

object Typer
Companion
class
class Object
trait Matchable
class Any

Type members

Classlikes

enum BindingPrec

The precedence of bindings which determines which of several bindings will be accessed by an Ident.

The precedence of bindings which determines which of several bindings will be accessed by an Ident.

Value members

Concrete methods

def assertPositioned(tree: Tree)(using Context): Unit

Assert tree has a position, unless it is empty or a typed splice

Assert tree has a position, unless it is empty or a typed splice

def rememberSearchFailure(tree: Tree, fail: SearchFailure): Option[List[SearchFailure]]

Add fail to the list of search failures attached to tree

Add fail to the list of search failures attached to tree

Concrete fields

val InferredGadtConstraints: StickyKey[GadtConstraint]

An attachment for GADT constraints that were inferred for a pattern.

An attachment for GADT constraints that were inferred for a pattern.