rustc_hir_analysis::check::wfcheck

Function check_well_formed

Source 
fn check_well_formed(
    tcx: TyCtxt<'_>,
    def_id: LocalDefId,
) -> Result<(), ErrorGuaranteed>