From a176e7169980815253ad2602b87a9b80d93e71a6 Mon Sep 17 00:00:00 2001
From: Edgar Gonzalez <egonzalez@totallymoney.com>
Date: Fri, 2 Aug 2024 17:38:44 +0100
Subject: [PATCH] tests when calling protected static base member from `static
 do`

---
 .../RealInternalSignature.fs                  | 53 +++++++++++++++++++
 1 file changed, 53 insertions(+)

diff --git a/tests/FSharp.Compiler.ComponentTests/EmittedIL/RealInternalSignature/RealInternalSignature.fs b/tests/FSharp.Compiler.ComponentTests/EmittedIL/RealInternalSignature/RealInternalSignature.fs
index b0b12e502d..d40a8b5484 100644
--- a/tests/FSharp.Compiler.ComponentTests/EmittedIL/RealInternalSignature/RealInternalSignature.fs
+++ b/tests/FSharp.Compiler.ComponentTests/EmittedIL/RealInternalSignature/RealInternalSignature.fs
@@ -1253,3 +1253,56 @@ module Test6
         |> asLibrary
         |> compile
         |> shouldSucceed
+
+    [<Fact>]
+    let ``Calling protected static base member from `static do` does not raise MethodAccessException when --realsig+`` () =
+        FSharp """
+#nowarn "44" // using Uri.EscapeString just because it's protected static
+
+type C(str : string) =
+    inherit System.Uri(str)
+    
+    static do 
+        System.Uri.EscapeString("http://www.myserver.com") |> ignore
+        printfn "Hello, World"
+
+module M =
+    [<EntryPoint>]
+    let main args =
+       let res = C("http://www.myserver.com")
+       0
+        """
+        |> withLangVersionPreview
+        |> withRealInternalSignature true
+        |> asLibrary
+        |> compile
+        |> compileExeAndRun
+        |> shouldSucceed
+        |> withStdOutContainsAllInOrder [
+            "Hello, World"
+        ]
+
+    [<Fact>]
+    let ``Calling protected static base member from `static do` raises MethodAccessException with --realsig-`` () =
+        FSharp """
+#nowarn "44" // using Uri.EscapeString just because it's protected static
+
+type C(str : string) =
+    inherit System.Uri(str)
+    
+    static do 
+        System.Uri.EscapeString("http://www.myserver.com") |> ignore
+        printfn "Hello, World"
+
+module M =
+    [<EntryPoint>]
+    let main args =
+       let res = C("http://www.myserver.com")
+       0
+        """
+        |> withLangVersionPreview
+        |> withRealInternalSignature false
+        |> asLibrary
+        |> compile
+        |> compileExeAndRun
+        |> shouldFail
\ No newline at end of file