thread 'thread_54' (144512) panicked at src/tc.rs:801:71:
assertion failed: self.def_eq(u, v)
stack backtrace:
   0: __rustc::rust_begin_unwind
   1: core::panicking::panic_fmt
   2: core::panicking::panic
   3: nanoda_lib::tc::<impl nanoda_lib::util::ExportFile>::check_declar
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

thread 'thread_20' (144478) panicked at src/tc.rs:801:71:
assertion failed: self.def_eq(u, v)
stack backtrace:
   0: __rustc::rust_begin_unwind
   1: core::panicking::panic_fmt
   2: core::panicking::panic
   3: nanoda_lib::tc::<impl nanoda_lib::util::ExportFile>::check_declar
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

thread 'thread_51' (144509) panicked at src/tc.rs:801:71:
assertion failed: self.def_eq(u, v)
stack backtrace:
   0: __rustc::rust_begin_unwind
   1: core::panicking::panic_fmt
   2: core::panicking::panic
   3: nanoda_lib::tc::TypeChecker::infer
   4: nanoda_lib::tc::TypeChecker::infer
   5: nanoda_lib::tc::TypeChecker::infer
   6: nanoda_lib::tc::TypeChecker::infer
   7: nanoda_lib::tc::TypeChecker::infer
   8: nanoda_lib::tc::TypeChecker::infer
   9: nanoda_lib::tc::<impl nanoda_lib::util::ExportFile>::check_declar
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

thread 'thread_21' (144479) panicked at src/tc.rs:801:71:
assertion failed: self.def_eq(u, v)
stack backtrace:
   0: __rustc::rust_begin_unwind
   1: core::panicking::panic_fmt
   2: core::panicking::panic
   3: nanoda_lib::tc::TypeChecker::infer
   4: nanoda_lib::tc::TypeChecker::infer
   5: nanoda_lib::tc::TypeChecker::infer
   6: nanoda_lib::tc::TypeChecker::infer
   7: nanoda_lib::tc::TypeChecker::infer
   8: nanoda_lib::tc::TypeChecker::infer
   9: nanoda_lib::tc::TypeChecker::infer
  10: nanoda_lib::tc::TypeChecker::infer
  11: nanoda_lib::tc::TypeChecker::infer
  12: nanoda_lib::tc::TypeChecker::infer
  13: nanoda_lib::tc::TypeChecker::infer
  14: nanoda_lib::tc::TypeChecker::infer
  15: nanoda_lib::tc::TypeChecker::infer
  16: nanoda_lib::tc::TypeChecker::infer
  17: nanoda_lib::tc::TypeChecker::infer
  18: nanoda_lib::tc::TypeChecker::infer
  19: nanoda_lib::tc::TypeChecker::infer
  20: nanoda_lib::tc::TypeChecker::infer
  21: nanoda_lib::tc::TypeChecker::infer
  22: nanoda_lib::tc::TypeChecker::infer
  23: nanoda_lib::tc::TypeChecker::infer
  24: nanoda_lib::tc::<impl nanoda_lib::util::ExportFile>::check_declar
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

thread 'thread_34' (144492) panicked at src/tc.rs:801:71:
assertion failed: self.def_eq(u, v)
stack backtrace:
   0: __rustc::rust_begin_unwind
   1: core::panicking::panic_fmt
   2: core::panicking::panic
   3: nanoda_lib::tc::TypeChecker::infer
   4: nanoda_lib::tc::TypeChecker::infer
   5: nanoda_lib::tc::TypeChecker::infer
   6: nanoda_lib::tc::TypeChecker::infer
   7: nanoda_lib::tc::TypeChecker::infer
   8: nanoda_lib::tc::TypeChecker::infer
   9: nanoda_lib::tc::TypeChecker::infer
  10: nanoda_lib::tc::TypeChecker::infer
  11: nanoda_lib::tc::TypeChecker::infer
  12: nanoda_lib::tc::TypeChecker::infer
  13: nanoda_lib::tc::<impl nanoda_lib::util::ExportFile>::check_declar
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

thread 'thread_17' (144475) panicked at src/tc.rs:801:71:
assertion failed: self.def_eq(u, v)
stack backtrace:
   0: __rustc::rust_begin_unwind
   1: core::panicking::panic_fmt
   2: core::panicking::panic
   3: nanoda_lib::tc::TypeChecker::infer
   4: nanoda_lib::tc::TypeChecker::infer
   5: nanoda_lib::tc::TypeChecker::infer
   6: nanoda_lib::tc::<impl nanoda_lib::util::ExportFile>::check_declar
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

thread 'thread_24' (144482) panicked at src/tc.rs:801:71:
assertion failed: self.def_eq(u, v)
stack backtrace:
   0: __rustc::rust_begin_unwind
   1: core::panicking::panic_fmt
   2: core::panicking::panic
   3: nanoda_lib::tc::<impl nanoda_lib::util::ExportFile>::check_declar
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

thread 'thread_43' (144501) panicked at src/tc.rs:801:71:
assertion failed: self.def_eq(u, v)
stack backtrace:
   0: __rustc::rust_begin_unwind
   1: core::panicking::panic_fmt
   2: core::panicking::panic
   3: nanoda_lib::tc::TypeChecker::infer
   4: nanoda_lib::tc::TypeChecker::infer
   5: nanoda_lib::tc::TypeChecker::infer
   6: nanoda_lib::tc::TypeChecker::infer
   7: nanoda_lib::tc::TypeChecker::infer
   8: nanoda_lib::tc::TypeChecker::infer
   9: nanoda_lib::tc::TypeChecker::infer
  10: nanoda_lib::tc::TypeChecker::infer
  11: nanoda_lib::tc::TypeChecker::infer
  12: nanoda_lib::tc::<impl nanoda_lib::util::ExportFile>::check_declar
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

thread 'thread_45' (144503) panicked at src/tc.rs:801:71:
assertion failed: self.def_eq(u, v)
stack backtrace:
   0: __rustc::rust_begin_unwind
   1: core::panicking::panic_fmt
   2: core::panicking::panic
   3: nanoda_lib::tc::<impl nanoda_lib::util::ExportFile>::check_declar
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

thread 'thread_37' (144495) panicked at src/tc.rs:801:71:
assertion failed: self.def_eq(u, v)
stack backtrace:
   0: __rustc::rust_begin_unwind
   1: core::panicking::panic_fmt
   2: core::panicking::panic
   3: nanoda_lib::tc::TypeChecker::infer
   4: nanoda_lib::tc::TypeChecker::infer
   5: nanoda_lib::tc::<impl nanoda_lib::util::ExportFile>::check_declar
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

thread 'thread_35' (144493) panicked at src/tc.rs:801:71:
assertion failed: self.def_eq(u, v)
stack backtrace:
   0: __rustc::rust_begin_unwind
   1: core::panicking::panic_fmt
   2: core::panicking::panic
   3: nanoda_lib::tc::TypeChecker::infer
   4: nanoda_lib::tc::TypeChecker::infer
   5: nanoda_lib::tc::TypeChecker::infer
   6: nanoda_lib::tc::TypeChecker::infer
   7: nanoda_lib::tc::TypeChecker::infer
   8: nanoda_lib::tc::TypeChecker::infer
   9: nanoda_lib::tc::TypeChecker::infer
  10: nanoda_lib::tc::TypeChecker::infer
  11: nanoda_lib::tc::<impl nanoda_lib::util::ExportFile>::check_declar
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

thread 'thread_28' (144486) panicked at src/tc.rs:801:71:
assertion failed: self.def_eq(u, v)
stack backtrace:
   0: __rustc::rust_begin_unwind
   1: core::panicking::panic_fmt
   2: core::panicking::panic
   3: nanoda_lib::tc::TypeChecker::infer
   4: nanoda_lib::tc::TypeChecker::infer
   5: nanoda_lib::tc::<impl nanoda_lib::util::ExportFile>::check_declar
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

thread 'thread_41' (144499) panicked at src/tc.rs:801:71:
assertion failed: self.def_eq(u, v)
stack backtrace:
   0: __rustc::rust_begin_unwind
   1: core::panicking::panic_fmt
   2: core::panicking::panic
   3: nanoda_lib::tc::<impl nanoda_lib::util::ExportFile>::check_declar
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

thread 'main' (144336) panicked at src/tc.rs:137:26:
A thread in `check_all_declars` panicked while being joined: Any { .. }
stack backtrace:
   0: __rustc::rust_begin_unwind
   1: core::panicking::panic_fmt
   2: core::result::unwrap_failed
   3: nanoda_bin::main
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.