scala3-compiler-bootstrapped/dotty.tools.dotc.core/Denotations/DenotUnion

DenotUnion

final case
class DenotUnion(denot1: PreDenotation, denot2: PreDenotation) extends MultiPreDenotation
trait Product
trait Equals
class Object
trait Matchable
class Any

Type members

Types

Value members

Concrete methods

def toDenot(pre: Type)(using Context): Denotation

Inherited methods

def aggregate[T](f: SingleDenotation => T, g: (T, T) => T): T
Inherited from
MultiPreDenotation
def asSeenFrom(pre: Type)(using Context): AsSeenFromResult

The denotation with info(s) as seen from prefix type

The denotation with info(s) as seen from prefix type

Inherited from
PreDenotation
protected
def derivedUnion(denot1: PreDenotation, denot2: PreDenotation): PreDenotation
Inherited from
MultiPreDenotation
def filterWithFlags(required: FlagSet, excluded: FlagSet)(using Context): PreDenotation
Inherited from
MultiPreDenotation
def mapInherited(owndenot: PreDenotation, prevdenot: PreDenotation, pre: Type)(using Context): PreDenotation
Inherited from
MultiPreDenotation
def matches(other: SingleDenotation)(using Context): Boolean
Inherited from
MultiPreDenotation
def productIterator: Iterator[Any]
Inherited from
Product
def union(that: PreDenotation): PreDenotation

The union of two groups.

The union of two groups.

Inherited from
PreDenotation