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: &'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.