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

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