Function all_fields_implement_trait

pub fn all_fields_implement_trait<'tcx>(
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    self_type: Ty<'tcx>,
    adt: AdtDef<'tcx>,
    args: GenericArgsRef<'tcx>,
    parent_cause: ObligationCause<'tcx>,
    lang_item: LangItem,
) -> Result<(), Vec<(&'tcx FieldDef, Ty<'tcx>, InfringingFieldsReason<'tcx>)>>

Check that all fields of a given adt implement lang_item trait.