View on GitHub
WitnessTable
public struct WitnessTable : Constant, Hashableextension WitnessTable: CustomStringConvertibleThe type and conformances of a value acting as the witness of an existential container.
-
The scope in which this table has been created.
Declaration
Swift
public let scope: AnyScopeID -
The type of the witness described by this table.
Declaration
Swift
public let witness: AnyType -
The conformances described by this table.
Declaration
Swift
public let conformances: Set<IR.Conformance> -
Creates an instance describing
witnessand itsconformancesexposed toscope.Requires
witnessis canonical.Declaration
Swift
public init( for witness: AnyType, conformingTo conformances: Set<IR.Conformance>, in scope: AnyScopeID ) -
The Hylo IR type of this instance.
Declaration
Swift
public var type: IR.Type { get } -
Declaration
Swift
public var description: String { get }