This fixes some THIR unsafety checking errors not being emitted for let expressions in these situations.
check_mod_type_wf
ErrorGuaranteed
check_modwitem_types