fn check_mod_type_wf(
    tcx: TyCtxt<'_>,
    module: LocalModDefId
) -> Result<(), ErrorGuaranteed>