fn infringing_fields_error(
    tcx: TyCtxt<'_>,
    fields: Vec<(&FieldDef, Ty<'_>, InfringingFieldsReason<'_>)>,
    lang_item: LangItem,
    impl_did: LocalDefId,
    impl_span: Span
) -> ErrorGuaranteed