Function check_type_wf 

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