Function check_type_wf

pub(super) fn check_type_wf(
    tcx: TyCtxt<'_>,
    (): (),
) -> Result<(), ErrorGuaranteed>