Function rustc_hir_analysis::check::wfcheck::check_well_formed

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