From c9beb6cf3ca23a5e3a2e7dcaf24224f3bc180264 Mon Sep 17 00:00:00 2001
From: janusz <janusz.wrobel.2@gmail.com>
Date: Sat, 15 Oct 2022 19:31:24 +0100
Subject: [PATCH] WIP

---
 .../TypeTests.fs                              | 48 +++++++++++++++++++
 1 file changed, 48 insertions(+)

diff --git a/tests/FSharp.Compiler.Service.Tests2/TypeTests.fs b/tests/FSharp.Compiler.Service.Tests2/TypeTests.fs
index 3db4fb6c130..efa11b96e0a 100644
--- a/tests/FSharp.Compiler.Service.Tests2/TypeTests.fs
+++ b/tests/FSharp.Compiler.Service.Tests2/TypeTests.fs
@@ -1011,11 +1011,45 @@ let ``Single SynEnumCase contains range of constant`` () =
     let parseResults = 
         getParseResults
             """
+
 module A1 = let a = 3
+module A2 = let a = 3
+module A3 = let a = 3
+module A4 =
+    
+    type AAttribute(name : string) =
+        inherit System.Attribute()
+    
+    let a = 3
+    module A1 =
+        let a = 3
+    type X = int * int
+    type Y = Y of int
+
 module B =
+    open A2
     let b = [|
         A1.a
+        A2.a
+        A3.a
     |]
+    let c : A4.X = 2,2
+    [<A4.A("name")>]
+    let d : A4.Y = A4.Y 2
+    type Z =
+        {
+            X : A4.X
+            Y : A4.Y
+        }
+
+let c = A4.a
+let d = A4.A1.a
+open A4
+let e = A1.a
+open A1
+let f = a
+
+module X = B
 """
 
     printfn $"%+A{parseResults}"
@@ -1027,9 +1061,15 @@ module A1 = let a = 3
 module A2 = let a = 3
 module A3 = let a = 3
 module A4 =
+    
+    type AAttribute(name : string) =
+        inherit System.Attribute()
+    
     let a = 3
     module A1 =
         let a = 3
+    type X = int * int
+    type Y = Y of int
 
 module B =
     open A2
@@ -1038,6 +1078,14 @@ module B =
         A2.a
         A3.a
     |]
+    let c : A4.X = 2,2
+    [<A4.A("name")>]
+    let d : A4.Y = A4.Y 2
+    type Z =
+        {
+            X : A4.X
+            Y : A4.Y
+        }
 
 let c = A4.a
 let d = A4.A1.a