@type input() :: %{
  optional(:code) => atom() | String.t() | nil,
  :message => String.t(),
  optional(:location) => Vize.SourceRange.input() | Vize.SourceRange.t() | nil,
  optional(:loc) => Vize.SourceRange.input() | Vize.SourceRange.t() | nil,
  optional(:recoverable?) => boolean(),
  optional(:recoverable) => boolean()
}

@type t() :: %Vize.Diagnostic{
  code: atom() | String.t() | nil,
  location: Vize.SourceRange.t() | nil,
  message: String.t(),
  recoverable?: boolean()
}