diff --git a/docs/release-notes/.FSharp.Compiler.Service/9.0.100.md b/docs/release-notes/.FSharp.Compiler.Service/9.0.100.md
index 3c0ce2356f47..3d4288458c95 100644
--- a/docs/release-notes/.FSharp.Compiler.Service/9.0.100.md
+++ b/docs/release-notes/.FSharp.Compiler.Service/9.0.100.md
@@ -8,6 +8,7 @@
 * Fix `function` implicit conversion. ([Issue #7401](https://github.com/dotnet/fsharp/issues/7401), [PR #17487](https://github.com/dotnet/fsharp/pull/17487))
 * Compiler fails to recognise namespace in FQN with enabled GraphBasedChecking. ([Issue #17508](https://github.com/dotnet/fsharp/issues/17508), [PR #17510](https://github.com/dotnet/fsharp/pull/17510))
 * Fix missing message for type error (FS0001). ([Issue #17373](https://github.com/dotnet/fsharp/issues/17373), [PR #17516](https://github.com/dotnet/fsharp/pull/17516))
+* MethodAccessException on equality comparison of a type private to module. ([Issue #17541](https://github.com/dotnet/fsharp/issues/17541), [PR #17548](https://github.com/dotnet/fsharp/pull/17548))
 
 ### Added
 
diff --git a/tests/fsharp/Compiler/CodeGen/EmittedIL/ReferenceAssemblyTests.fs b/tests/fsharp/Compiler/CodeGen/EmittedIL/ReferenceAssemblyTests.fs
index ddf93122ee36..e3fd6a0d2f8b 100644
--- a/tests/fsharp/Compiler/CodeGen/EmittedIL/ReferenceAssemblyTests.fs
+++ b/tests/fsharp/Compiler/CodeGen/EmittedIL/ReferenceAssemblyTests.fs
@@ -203,8 +203,7 @@ module Nested =
         IL_0001:  throw
       } 
 
-      .method public specialname rtspecialname 
-              instance void  .ctor(int32 x) cil managed
+      .method public specialname rtspecialname instance void  .ctor(int32 x) cil managed
       {
         .custom instance void [runtime]System.Diagnostics.CodeAnalysis.DynamicDependencyAttribute::.ctor(valuetype [runtime]System.Diagnostics.CodeAnalysis.DynamicallyAccessedMemberTypes,
                                                                                                                 class [runtime]System.Type) = ( 01 00 60 06 00 00 1D 52 65 66 65 72 65 6E 63 65   
@@ -1216,9 +1215,7 @@ type Person(name : string, age : int) =
             extends [runtime]System.Object
   {
     .custom instance void [FSharp.Core]Microsoft.FSharp.Core.CompilationMappingAttribute::.ctor(valuetype [FSharp.Core]Microsoft.FSharp.Core.SourceConstructFlags) = ( 01 00 03 00 00 00 00 00 )
-    .method public specialname rtspecialname
-               instance void  .ctor(string name,
-                                    int32 age) cil managed
+    .method public specialname rtspecialname instance void  .ctor(string name, int32 age) cil managed
     {
 
       .maxstack  8
diff --git a/tests/fsharp/optimize/inline/FSharpOptimizationCompressedData.test b/tests/fsharp/optimize/inline/FSharpOptimizationCompressedData.test
new file mode 100644
index 000000000000..bc60c525302c
Binary files /dev/null and b/tests/fsharp/optimize/inline/FSharpOptimizationCompressedData.test differ
diff --git a/tests/fsharp/optimize/inline/FSharpOptimizationCompressedData.test--optimize b/tests/fsharp/optimize/inline/FSharpOptimizationCompressedData.test--optimize
new file mode 100644
index 000000000000..c670084acb7d
--- /dev/null
+++ b/tests/fsharp/optimize/inline/FSharpOptimizationCompressedData.test--optimize
@@ -0,0 +1,5 @@
+}��J�0����ι���"���Մ���ԋM��k��h#m3�l�W��o�� ��I3J�P—�����CMRu:|�X��
5R6v��A�Dbr���[~���&��������<e9:�p��q
+i\N�H#Į�Ե�]�w9Fm`oQ��̺�a��(�@N"
+ב��	Zj�Mz�ֆ�
+.�����|3��ǯ�ݚkz���,	x*�P\e�
�H=H��;�f��C��TbJ�@𬧻���v����q���h�������$�CD�
+YY%~m������7�a�}-.	�0��qA�$�$�����oΨ���zlJ5�F*7��I{^߳�l�*PS�,�.i��
\ No newline at end of file
diff --git a/tests/fsharp/optimize/inline/FSharpOptimizationCompressedDataB.test--optimize b/tests/fsharp/optimize/inline/FSharpOptimizationCompressedDataB.test--optimize
new file mode 100644
index 000000000000..bd80751e2eb6
Binary files /dev/null and b/tests/fsharp/optimize/inline/FSharpOptimizationCompressedDataB.test--optimize differ
diff --git a/tests/fsharp/optimize/inline/FSharpSignatureCompressedData.test b/tests/fsharp/optimize/inline/FSharpSignatureCompressedData.test
new file mode 100644
index 000000000000..6f79889c3343
Binary files /dev/null and b/tests/fsharp/optimize/inline/FSharpSignatureCompressedData.test differ
diff --git a/tests/fsharp/optimize/inline/FSharpSignatureCompressedData.test--optimize b/tests/fsharp/optimize/inline/FSharpSignatureCompressedData.test--optimize
new file mode 100644
index 000000000000..f6908139ca00
Binary files /dev/null and b/tests/fsharp/optimize/inline/FSharpSignatureCompressedData.test--optimize differ
diff --git a/tests/fsharp/optimize/inline/FSharpSignatureCompressedDataB.test b/tests/fsharp/optimize/inline/FSharpSignatureCompressedDataB.test
new file mode 100644
index 000000000000..35446b61dd45
Binary files /dev/null and b/tests/fsharp/optimize/inline/FSharpSignatureCompressedDataB.test differ
diff --git a/tests/fsharp/optimize/inline/FSharpSignatureCompressedDataB.test--optimize b/tests/fsharp/optimize/inline/FSharpSignatureCompressedDataB.test--optimize
new file mode 100644
index 000000000000..35446b61dd45
Binary files /dev/null and b/tests/fsharp/optimize/inline/FSharpSignatureCompressedDataB.test--optimize differ
diff --git a/tests/fsharp/optimize/stats/FSharpOptimizationCompressedData.FSharp.Core b/tests/fsharp/optimize/stats/FSharpOptimizationCompressedData.FSharp.Core
new file mode 100644
index 000000000000..f6b9103ffab4
Binary files /dev/null and b/tests/fsharp/optimize/stats/FSharpOptimizationCompressedData.FSharp.Core differ
diff --git a/tests/fsharp/optimize/stats/FSharpOptimizationCompressedDataB.FSharp.Core b/tests/fsharp/optimize/stats/FSharpOptimizationCompressedDataB.FSharp.Core
new file mode 100644
index 000000000000..fbaa87714c56
Binary files /dev/null and b/tests/fsharp/optimize/stats/FSharpOptimizationCompressedDataB.FSharp.Core differ
diff --git a/tests/fsharp/optimize/stats/FSharpSignatureCompressedData.FSharp.Core b/tests/fsharp/optimize/stats/FSharpSignatureCompressedData.FSharp.Core
new file mode 100644
index 000000000000..4948c3c76a07
Binary files /dev/null and b/tests/fsharp/optimize/stats/FSharpSignatureCompressedData.FSharp.Core differ
diff --git a/tests/fsharp/optimize/stats/FSharpSignatureCompressedDataB.FSharp.Core b/tests/fsharp/optimize/stats/FSharpSignatureCompressedDataB.FSharp.Core
new file mode 100644
index 000000000000..d556fdb45051
Binary files /dev/null and b/tests/fsharp/optimize/stats/FSharpSignatureCompressedDataB.FSharp.Core differ