Function rustc_trait_selection::traits::misc::all_fields_implement_trait

source ยท
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>)>>
Expand description

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