scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.cc/SepCheck/TypeRole/Result

Result

dotty.tools.dotc.cc.SepCheck.TypeRole.Result
final case class Result(sym: Symbol, inferred: Boolean)

Members list

Value members

Inherited methods

def dclSym: Symbol

If this is a Result tole, the associated symbol, otherwise NoSymbol

If this is a Result tole, the associated symbol, otherwise NoSymbol

Attributes

Inherited from:
TypeRole
def description(using Context): String

A textual description of this role

A textual description of this role

Attributes

Inherited from:
TypeRole
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL