From 5214c006eb49b216e917ec483721cd9a59590cb4 Mon Sep 17 00:00:00 2001
From: "Alexey.Berezhnykh" <alexey.berezhnykh@jetbrains.com>
Date: Wed, 21 Aug 2024 19:43:54 +0300
Subject: [PATCH] wip

---
 src/Compiler/AbstractIL/il.fs         | 4 ++--
 src/Compiler/AbstractIL/il.fsi        | 2 +-
 src/Compiler/AbstractIL/ilmorph.fs    | 2 +-
 src/Compiler/CodeGen/EraseClosures.fs | 2 +-
 4 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/Compiler/AbstractIL/il.fs b/src/Compiler/AbstractIL/il.fs
index 498c120e337..b10a119fced 100644
--- a/src/Compiler/AbstractIL/il.fs
+++ b/src/Compiler/AbstractIL/il.fs
@@ -2745,7 +2745,7 @@ type ILTypeDef
             ?name,
             ?attributes,
             ?layout,
-            ?newImplements,
+            ?implements,
             ?genericParams,
             ?extends,
             ?methods,
@@ -2764,7 +2764,7 @@ type ILTypeDef
             layout = defaultArg layout x.Layout,
             genericParams = defaultArg genericParams x.GenericParams,
             nestedTypes = defaultArg nestedTypes x.NestedTypes,
-            implements = defaultArg newImplements implements,
+            implements = defaultArg implements x.Implements,
             extends = defaultArg extends x.Extends,
             methods = defaultArg methods x.Methods,
             securityDecls = defaultArg securityDecls x.SecurityDecls,
diff --git a/src/Compiler/AbstractIL/il.fsi b/src/Compiler/AbstractIL/il.fsi
index 4458e0ef739..1487830e8f0 100644
--- a/src/Compiler/AbstractIL/il.fsi
+++ b/src/Compiler/AbstractIL/il.fsi
@@ -1615,7 +1615,7 @@ type ILTypeDef =
         ?name: string *
         ?attributes: TypeAttributes *
         ?layout: ILTypeDefLayout *
-        ?newImplements: InterruptibleLazy<InterfaceImpl list> *
+        ?implements: InterruptibleLazy<InterfaceImpl list> *
         ?genericParams: ILGenericParameterDefs *
         ?extends: ILType option *
         ?methods: ILMethodDefs *
diff --git a/src/Compiler/AbstractIL/ilmorph.fs b/src/Compiler/AbstractIL/ilmorph.fs
index 4f6b2a3a5c4..9f2f3d0582f 100644
--- a/src/Compiler/AbstractIL/ilmorph.fs
+++ b/src/Compiler/AbstractIL/ilmorph.fs
@@ -374,7 +374,7 @@ let rec tdef_ty2ty_ilmbody2ilmbody_mdefs2mdefs isInKnownSet enc fs (tdef: ILType
         |> InterruptibleLazy.FromValue
 
     tdef.With(
-        newImplements = implements,
+        implements = implements,
         genericParams = gparams_ty2ty fTyInCtxtR tdef.GenericParams,
         extends = Option.map fTyInCtxtR tdef.Extends,
         methods = mdefsR,
diff --git a/src/Compiler/CodeGen/EraseClosures.fs b/src/Compiler/CodeGen/EraseClosures.fs
index b4bbe8b4c89..df2604717ed 100644
--- a/src/Compiler/CodeGen/EraseClosures.fs
+++ b/src/Compiler/CodeGen/EraseClosures.fs
@@ -766,7 +766,7 @@ let rec convIlxClosureDef cenv encl (td: ILTypeDef) clo =
 
             let cloTypeDef =
                 td.With(
-                    newImplements = td.Implements,
+                    implements = td.Implements,
                     extends =
                         (match td.Extends with
                          | None -> Some cenv.ilg.typ_Object