InstantiatedType

struct InstantiatedType : Hashable, Sendable

A type whose generic parameters have been substituted by variables along with the constraints related to these variables.

Show on GitHub

  • A type free of generic parameters.

    Requires

    shape does not contain any generic parameter, unless it is bound by an existential type that’s part of shape.

    Declaration

    Swift

    let shape: AnyType
    Show on GitHub

  • The constraints related to the open variables in shape.

    Declaration

    Swift

    let constraints: ConstraintSet
    Show on GitHub