ExtendedExistentialTypeShape

ExtendedExistentialTypeShape

The shape of a constrained existential type.

public struct ExtendedExistentialTypeShape: LayoutWrapper 

Inheritance

LayoutWrapper

Properties

flags

Flags describing the existential representation and its optional records.

public var flags: Flags 

mangledTypeName

The mangled existential type expression stored in the shape.

public var mangledTypeName: UnsafeRawPointer 

requirementParameterCount

The number of parameters in the requirement signature.

public var requirementParameterCount: Int 

requirementCount

The number of requirements in the requirement signature.

public var requirementCount: Int 

generalizationSignature

The generalization signature, if this existential specializes one.

public var generalizationSignature: GenericSignatureHeader? 

generalizationArgumentCount

The number of generalization arguments in words.

public var generalizationArgumentCount: Int 

requirementParameters

Explicit requirement-signature parameters. When hasImplicitRequirementSignatureParameters is true, the Swift runtime supplies canonical implicit descriptors instead and this array is empty.

public var requirementParameters: [GenericParameterDescriptor] 

generalizationParameters

Explicit generalization-signature parameters.

public var generalizationParameters: [GenericParameterDescriptor] 

requirementRequirements

Requirement-signature requirements.

public var requirementRequirements: [GenericRequirementDescriptor] 

generalizationRequirements

Generalization-signature requirements.

public var generalizationRequirements: [GenericRequirementDescriptor] 

typeExpressionMangledName

The optional mangled type subexpression, if the shape stores one.

public var typeExpressionMangledName: UnsafeRawPointer? 

suggestedValueWitnessTable

A suggested value witness table for the existential, if the shape stores one. This is a read-only layout suggestion, not a request to copy values.

public var suggestedValueWitnessTable: ValueWitnessTable?