inferredType(of:withHint:updating:)

private mutating func inferredType(
  of p: TuplePattern.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Returns the inferred type of p, updating obligations and gathering contextual information from hint.

Show on GitHub

skip(_:)
Reports d, assigns all declarations in p to .error, and returns .error.
Declaration
Swift

func skip(_ d: Diagnostic) -> AnyType
Show on GitHub

inferredType(of:withHint:updating:)

Declaration