fn assert_field_type_is_copy<'tcx>(
tcx: TyCtxt<'tcx>,
infcx: &InferCtxt<'tcx>,
impl_did: LocalDefId,
param_env: ParamEnv<'tcx>,
ty: Ty<'tcx>,
span: Span,
) -> Result<(), ErrorGuaranteed>fn assert_field_type_is_copy<'tcx>(
tcx: TyCtxt<'tcx>,
infcx: &InferCtxt<'tcx>,
impl_did: LocalDefId,
param_env: ParamEnv<'tcx>,
ty: Ty<'tcx>,
span: Span,
) -> Result<(), ErrorGuaranteed>