Merge branch 'graph-tc' into cleanup-processing

safesparrow · safesparrow · commit a5a2bd1f2378 · 2022-12-14T19:55:00.000Z
diff --git a/tests/ParallelTypeCheckingTests/Tests/TestCompilation.fs b/tests/ParallelTypeCheckingTests/Tests/TestCompilation.fs
@@ -194,13 +194,40 @@ let d (c: CType) =
         ]
         |> FProject.Make CompileOutput.Library
 
+    let failingIlGenShadowedStaticMethods =
+        [
+            "Bar.fsi",
+            """
+module Bar
+
+type Bar =
+    new: unit -> Bar
+    static member Foo: unit -> unit
+
+val Foo: unit -> unit
+"""
+            "Bar.fs",
+            """
+module Bar
+
+type Bar() =
+    static member Foo () : unit =
+        failwith ""
+
+let Foo () : unit = 
+    Bar.Foo ()
+"""
+        ]
+        |> FProject.Make CompileOutput.Library
+
     let all =
         [
             encodeDecodeSimple
             diamondBroken1
             fsFsi
             emptyNamespace
             dependentSignatures
+            failingIlGenShadowedStaticMethods
         ]
 
 type Case =
