MemberConstraint

Swift

private(set) var subject: AnyType { get }

Swift

private(set) var memberType: AnyType { get }

Swift

let memberExpr: NameExpr.ID

Swift

let memberName: Name

Swift

let purpose: NameUse

Swift

let origin: ConstraintOrigin

Swift

init(
  _ subject: AnyType,
  hasMember memberType: AnyType,
  referredToBy memberExpr: NameExpr.ID,
  in ast: AST,
  usedAs purpose: NameUse,
  origin: ConstraintOrigin
)

Swift

func collectOpenVariables(in s: inout Set<TypeVariable>)

Swift

mutating func modifyTypes(_ transform: (AnyType) -> AnyType)

Swift

var description: String { get }