CallConstraint

Swift

struct Argument : Hashable, Sendable

extension CallConstraint.Argument: CustomStringConvertible

Swift

private(set) var callee: AnyType { get }

Swift

private(set) var arguments: [Argument] { get }

Swift

private(set) var output: AnyType { get }

Swift

let call: CallID

Swift

let isArrow: Bool

Swift

let isMutating: Bool

Swift

let origin: ConstraintOrigin

Swift

init(
  arrow callee: AnyType,
  usedMutably isMutating: Bool,
  takes arguments: [Argument],
  gives output: AnyType,
  in call: CallID,
  origin: ConstraintOrigin
)

Swift

init(
  subscript callee: AnyType,
  usedMutably isMutating: Bool,
  takes arguments: [Argument],
  gives output: AnyType,
  in call: CallID,
  origin: ConstraintOrigin
)

Swift

var labels: LazyMapSequence<[Argument], String?> { get }

Swift

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

Swift

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

Swift

var description: String { get }