Diagnostic

Swift

fileprivate static func warning(
  unusedBinding n: Identifier, at site: SourceRange
) -> Diagnostic

Swift

fileprivate static func illegalMove(at site: SourceRange) -> Diagnostic

Swift

fileprivate static func illegalParameterEscape(
  consumedBy consumers: State.Consumers? = nil,
  in module: Module,
  at site: SourceRange
) -> Diagnostic

Swift

fileprivate static func uninitializedSetParameter(
  beforeReturningFrom f: Function.ID,
  in module: Module,
  at site: SourceRange
) -> Diagnostic

Swift

fileprivate static func error(
  cannotConsume k: AccessEffect, at site: SourceRange
) -> Diagnostic

Swift

fileprivate static func useOfConsumedObject(at site: SourceRange) -> Diagnostic

Swift

fileprivate static func useOfPartiallyConsumedObject(at site: SourceRange) -> Diagnostic

Swift

fileprivate static func useOfPartiallyInitializedObject(at site: SourceRange) -> Diagnostic

Swift

fileprivate static func useOfUninitializedObject(at site: SourceRange) -> Diagnostic

Swift

fileprivate static func missingReturn(
  inFunctionReturning expectedReturnType: AnyType,
  at site: SourceRange
) -> Diagnostic

Swift

fileprivate static func error(illegalImmutableAccessAt site: SourceRange) -> Diagnostic

Swift

fileprivate static func error(illegalMutableAccessAt site: SourceRange) -> Diagnostic

Swift

fileprivate static func error(
  argumentTo a: AccessEffect, requiresMutationMarkerAt site: SourceRange
) -> Diagnostic

Swift

fileprivate static func error(
  assignmentLHSRequiresMutationMarkerAt site: SourceRange
) -> Diagnostic

Swift

fileprivate static func error(cannotCaptureAccessAt site: SourceRange) -> Diagnostic

Swift

fileprivate static func error(
  integerLiteral s: String, overflowsWhenStoredInto t: AnyType,
  at site: SourceRange
) -> Diagnostic

Swift

fileprivate static func error(returnInSubscript s: ReturnStmt.ID, in ast: AST) -> Diagnostic

Swift

fileprivate static func error(
  _ n: Name, hasNoSinkImplementationAt site: SourceRange
) -> Diagnostic

Swift

fileprivate static func warning(unreachableStatement s: AnyStmtID, in ast: AST) -> Diagnostic