rustc_hir_analysis::check::wfcheck

Function check_well_formed

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