Type mismatch involving record literal whose type hasn't been type-checked leads to a crash

[fmease]

use extern.core.nat.Nat

data Hmm: R.{x = 0} of

record R of
    x: Nat

internal compiler error: internal error: entered unreachable code
 note: at ‘compiler/hir/src/entity.rs:136:32’
 note: in thread ‘main’
 note: the compiler unexpectedly panicked. this is a bug. we would appreciate a bug report
 note: lushui 0.1.0 (841c8ba 2023-08-11)
 help: rerun with the environment variable ‘LUSHUI_BACKTRACE=1’ to display a backtrace