scala3-compiler-bootstrapped/dotty.tools.dotc.transform.init/Semantic/Result

Result

case class Result(value: Value, errors: Seq[Error])

Result of abstract interpretation

trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def +(error: Error): Result
def ++(errors: Seq[Error]): Result
def call(meth: Symbol, args: List[ArgInfo], superType: Type, source: Tree): () => Result
def callConstructor(ctor: Symbol, args: List[ArgInfo], source: Tree): () => Result
def ensureHot(msg: String, source: Tree): () => Result
def instantiate(klass: ClassSymbol, ctor: Symbol, args: List[ArgInfo], source: Tree): () => Result
def select(f: Symbol, source: Tree): () => Result
def show(using Context): String

Inherited methods

def productIterator: Iterator[Any]
Inherited from:
Product