Function check_well_formed 

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