View on GitHub
specialize(_:for:in:)
mutating func specialize(
_ generic: AnyType, for specialization: GenericArguments, in scopeOfUse: AnyScopeID
) -> AnyTypeReturns generic with occurrences of parameters keying specialization replaced by their
corresponding value, performing necessary name lookups from scopeOfUse.
This method has no effect if specialization is empty.
-
Undocumented
Declaration
Swift
func transform(mutating me: inout `Self`, _ t: AnyType) -> TypeTransformAction -
Undocumented
Declaration
Swift
func transform(mutating me: inout `Self`, _ t: AssociatedTypeType) -> AnyType -
Undocumented
Declaration
Swift
func transform(mutating me: inout `Self`, _ t: BoundGenericType) -> AnyType -
Undocumented
Declaration
Swift
func transform(mutating me: inout `Self`, _ t: GenericTypeParameterType) -> AnyType -
Undocumented
Declaration
Swift
func transform(mutating me: inout `Self`, _ t: TypeAliasType) -> AnyType -
If
tis an unspecialized generic type, returns a bound generic type applying that appliessubstitutionand maps unbound parameters to fresh variables. Otherwise, returnst.Requires
tis not a trait.Declaration
Swift
func transform<T: TypeProtocol, D: GenericScope>( mutating me: inout Self, _ t: T, declaredBy d: D.ID ) -> AnyType