@type t() :: %Bond.PostconditionError{
  __exception__: true,
  binding: keyword(),
  expression: Bond.assertion_expression(),
  file: Path.t(),
  function: {String.t(), non_neg_integer()},
  label: Bond.assertion_label(),
  line: integer(),
  module: module()
}