error unreachable code typify-impl-0.3.0/src/defaults.rs:617

Failure on this file: https://github.com/IBM/prompt-declaration-language/blob/main/src/pdl/pdl-schema.json

Yields:

The application panicked (crashed).
Message:  internal error: entered unreachable code
Location: .../typify-impl-0.3.0/src/defaults.rs:617

  ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ BACKTRACE ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
                                ⋮ 9 frames hidden ⋮
  10: core::panicking::panic::h86f2c7562f835270
      at <unknown source file>:<unknown line>
  11: typify_impl::defaults::all_props::h647a2c987b6b5099
      at <unknown source file>:<unknown line>
  12: core::iter::traits::iterator::Iterator::partition::h76bae029f532694b
      at <unknown source file>:<unknown line>
  13: typify_impl::defaults::validate_default_struct_props::h5fa16b5309cab98b
      at <unknown source file>:<unknown line>
  14: typify_impl::defaults::<impl typify_impl::type_entry::TypeEntry>::validate_value::h10dd1ce96836d6af
      at <unknown source file>:<unknown line>
  15: typify_impl::type_entry::TypeEntry::finalize::hb5d061af738489d4
      at <unknown source file>:<unknown line>
  16: typify_impl::TypeSpace::add_root_schema::h7ae0c8a65c639579
      at <unknown source file>:<unknown line>
  17: cargo_typify::convert::h2d67cc9632085cad
      at <unknown source file>:<unknown line>
  18: cargo_typify::main::h23a9931923f86f5a
      at <unknown source file>:<unknown line>
  19: std::sys::backtrace::__rust_begin_short_backtrace::hd696147650c8a01b
      at <unknown source file>:<unknown line>
  20: std::rt::lang_start::{{closure}}::h11e36174c128a59c
      at <unknown source file>:<unknown line>
  21: std::rt::lang_start_internal::h5f91760815528aa2
      at <unknown source file>:<unknown line>
  22: _main<unknown>
      at <unknown source file>:<unknown line>

Reproduce the failure using src/pdl/pdl-schema.json, then inspect typify_impl::defaults::all_props at defaults.rs:617 and its callers validate_default_struct_props and TypeEntry::validate_value. Trace why this schema reaches unreachable code; done means the conversion handles the schema without panicking, with coverage for the failing case.