fn mk_lint( tcx: TyCtxt<'_>, diag: &mut Diag<'_, ()>, type_def_id: DefId, impl_def_id: DefId, orig_fields: FxHashMap<Symbol, &FieldDef<'_>>, fields: &[ExprField<'_>], )