@apple/tree-sitter-pkl 0.17.0 → 0.18.0

package/test/corpus/snippetTests/basic/as2.txt

@@ -0,0 +1,1077 @@
+===
+basic/as2.pkl
+===
+
+amends "../snippetTest.pkl"
+
+examples {
+  ["list"] {
+    List(1, 2, 3) as List<Int>
+    module.catch(() -> List(1, 2, 3) as List<String>)
+    module.catch(() -> Set(1, 2, 3) as List<Int>)
+  }
+  
+  ["set"] {
+    module.catch(() -> List(1, 2, 3) as Set<Int>)
+    Set(1, 2, 3) as Set<Int>
+    module.catch(() -> Set(1, 2, 3) as Set<String>)
+  }
+  
+  ["map"] {
+    Map("Pigeon", 42, "Barn Owl", 21) as Map<String, Int>
+    module.catch(() -> Map("Pigeon", 42, "Barn Owl", 21) as Map<Int, String>)
+  }
+  
+  ["listing"] {
+    new Listing { 1; 2; 3 } as Listing<Int>
+    module.catch(() -> (new Listing { 1; 2; 3 } as Listing<String>)[0])
+  }
+  
+  ["cast Listing<UInt32> to other integer types"] {
+    local l = new Listing<UInt32> { 9999999 }
+    (l as Listing<Int>)[0]
+    (l as Listing<UInt>)[0]
+    (l as Listing<Int32>)[0]
+    (l as Listing<UInt32>)[0]
+    module.catch(() -> (l as Listing<Int16>)[0])
+    module.catch(() -> (l as Listing<UInt16>)[0])
+    module.catch(() -> (l as Listing<Int8>)[0])
+    module.catch(() -> (l as Listing<UInt8>)[0])
+  }
+
+  ["mapping"] {
+    module.catch(() -> new Listing { 1; 2; 3 } as Mapping<Int, String>)
+    new Mapping { ["Pigeon"] = 42; ["Barn Owl"] = 21 } as Mapping<String, Int>
+    module.catch(() -> new Mapping { ["Pigeon"] = 42; ["Barn Owl"] = 21 } as Mapping<Int, String>)
+  }
+  
+  ["cast Mapping<, UInt> to other integer types"] {
+    local m = new Mapping<String, UInt> { ["x"] = 9999 }
+    (m as Mapping<String, Int>)["x"]
+    (m as Mapping<String, UInt>)["x"]
+    (m as Mapping<String, Int32>)["x"]
+    (m as Mapping<String, UInt32>)["x"]
+    (m as Mapping<String, Int16>)["x"]
+    (m as Mapping<String, UInt16>)["x"]
+    module.catch(() -> (m as Mapping<String, Int8>)["x"])
+    module.catch(() -> (m as Mapping<String, UInt8>)["x"])
+  }
+  
+  ["union type"] {
+    42 as Int|String
+    42 as String|Int
+    42 as Number|String
+    module.catch(() -> 42 as String|Duration)
+
+    List(1, 2, 3) as List<String>|List<Int>
+    List(1, 2, 3) as List<String|Int>
+    module.catch(() -> List(1, 2, 3) as List<String>|Set<Int>)
+  }
+  
+  ["nullable type"] {
+    null as String?
+    null as Map<String, Int>?
+    module.catch(() -> null as Map<String, Int?>)
+  }
+  
+  ["function type"] {
+    (((x) -> x) as (Int) -> Int).apply(42)
+    (((x) -> x) as (String) -> String).apply(42)
+    module.catch(() -> ((x, _) -> x) as (Int) -> Int)
+  }
+
+  ["string literal type"] {
+    "Pigeon" as "Pigeon"|"Barn Owl"
+    module.catch(() -> "Pigeon" as "Piggy"|"Barn Owl")
+  }
+  
+  ["constrained type"] {
+    "abc" as String(length == 3)
+    module.catch(() -> "abc" as String(length == 4))
+    List("a", "b", "c") as List<String(length == 1)>
+  }
+}
+
+---
+
+(module
+  (moduleHeader
+      (extendsOrAmendsClause
+      (stringConstant
+        (slStringLiteralPart))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (typeCastExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)
+                  (intLiteralExpr)
+                  (intLiteralExpr)))
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier))
+                (typeArgumentList
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (typeCastExpr
+                    (unqualifiedAccessExpr
+                      (identifier)
+                      (argumentList
+                        (intLiteralExpr)
+                        (intLiteralExpr)
+                        (intLiteralExpr)))
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))
+                      (typeArgumentList
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier))))))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (typeCastExpr
+                    (unqualifiedAccessExpr
+                      (identifier)
+                      (argumentList
+                        (intLiteralExpr)
+                        (intLiteralExpr)
+                        (intLiteralExpr)))
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))
+                      (typeArgumentList
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier))))))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (typeCastExpr
+                    (unqualifiedAccessExpr
+                      (identifier)
+                      (argumentList
+                        (intLiteralExpr)
+                        (intLiteralExpr)
+                        (intLiteralExpr)))
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))
+                      (typeArgumentList
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier))))))))))
+          (objectElement
+            (typeCastExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)
+                  (intLiteralExpr)
+                  (intLiteralExpr)))
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier))
+                (typeArgumentList
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (typeCastExpr
+                    (unqualifiedAccessExpr
+                      (identifier)
+                      (argumentList
+                        (intLiteralExpr)
+                        (intLiteralExpr)
+                        (intLiteralExpr)))
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))
+                      (typeArgumentList
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier))))))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (typeCastExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (intLiteralExpr)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (intLiteralExpr)))
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier))
+                (typeArgumentList
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (typeCastExpr
+                    (unqualifiedAccessExpr
+                      (identifier)
+                      (argumentList
+                        (slStringLiteralExpr
+                          (slStringLiteralPart))
+                        (intLiteralExpr)
+                        (slStringLiteralExpr
+                          (slStringLiteralPart))
+                        (intLiteralExpr)))
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))
+                      (typeArgumentList
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier)))
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier))))))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (typeCastExpr
+              (newExpr
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (objectBody
+                  (objectElement
+                    (intLiteralExpr))
+                  (objectElement
+                    (intLiteralExpr))
+                  (objectElement
+                    (intLiteralExpr))))
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier))
+                (typeArgumentList
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (subscriptExpr
+                    (parenthesizedExpr
+                      (typeCastExpr
+                        (newExpr
+                          (declaredType
+                            (qualifiedIdentifier
+                              (identifier)))
+                          (objectBody
+                            (objectElement
+                              (intLiteralExpr))
+                            (objectElement
+                              (intLiteralExpr))
+                            (objectElement
+                              (intLiteralExpr))))
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier))
+                          (typeArgumentList
+                            (declaredType
+                              (qualifiedIdentifier
+                                (identifier)))))))
+                    (intLiteralExpr))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectProperty
+            (modifier)
+            (identifier)
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier))
+                (typeArgumentList
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))))
+              (objectBody
+                (objectElement
+                  (intLiteralExpr)))))
+          (objectElement
+            (subscriptExpr
+              (parenthesizedExpr
+                (typeCastExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier))
+                    (typeArgumentList
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))))))
+              (intLiteralExpr)))
+          (objectElement
+            (subscriptExpr
+              (parenthesizedExpr
+                (typeCastExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier))
+                    (typeArgumentList
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))))))
+              (intLiteralExpr)))
+          (objectElement
+            (subscriptExpr
+              (parenthesizedExpr
+                (typeCastExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier))
+                    (typeArgumentList
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))))))
+              (intLiteralExpr)))
+          (objectElement
+            (subscriptExpr
+              (parenthesizedExpr
+                (typeCastExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier))
+                    (typeArgumentList
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))))))
+              (intLiteralExpr)))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (subscriptExpr
+                    (parenthesizedExpr
+                      (typeCastExpr
+                        (unqualifiedAccessExpr
+                          (identifier))
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier))
+                          (typeArgumentList
+                            (declaredType
+                              (qualifiedIdentifier
+                                (identifier)))))))
+                    (intLiteralExpr))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (subscriptExpr
+                    (parenthesizedExpr
+                      (typeCastExpr
+                        (unqualifiedAccessExpr
+                          (identifier))
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier))
+                          (typeArgumentList
+                            (declaredType
+                              (qualifiedIdentifier
+                                (identifier)))))))
+                    (intLiteralExpr))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (subscriptExpr
+                    (parenthesizedExpr
+                      (typeCastExpr
+                        (unqualifiedAccessExpr
+                          (identifier))
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier))
+                          (typeArgumentList
+                            (declaredType
+                              (qualifiedIdentifier
+                                (identifier)))))))
+                    (intLiteralExpr))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (subscriptExpr
+                    (parenthesizedExpr
+                      (typeCastExpr
+                        (unqualifiedAccessExpr
+                          (identifier))
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier))
+                          (typeArgumentList
+                            (declaredType
+                              (qualifiedIdentifier
+                                (identifier)))))))
+                    (intLiteralExpr))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (typeCastExpr
+                    (newExpr
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))
+                      (objectBody
+                        (objectElement
+                          (intLiteralExpr))
+                        (objectElement
+                          (intLiteralExpr))
+                        (objectElement
+                          (intLiteralExpr))))
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))
+                      (typeArgumentList
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier)))
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier))))))))))
+          (objectElement
+            (typeCastExpr
+              (newExpr
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (objectBody
+                  (objectEntry
+                    (slStringLiteralExpr
+                      (slStringLiteralPart))
+                    (intLiteralExpr))
+                  (objectEntry
+                    (slStringLiteralExpr
+                      (slStringLiteralPart))
+                    (intLiteralExpr))))
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier))
+                (typeArgumentList
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (typeCastExpr
+                    (newExpr
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))
+                      (objectBody
+                        (objectEntry
+                          (slStringLiteralExpr
+                            (slStringLiteralPart))
+                          (intLiteralExpr))
+                        (objectEntry
+                          (slStringLiteralExpr
+                            (slStringLiteralPart))
+                          (intLiteralExpr))))
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))
+                      (typeArgumentList
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier)))
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier))))))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectProperty
+            (modifier)
+            (identifier)
+            (newExpr
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier))
+                (typeArgumentList
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))))
+              (objectBody
+                (objectEntry
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (intLiteralExpr)))))
+          (objectElement
+            (subscriptExpr
+              (parenthesizedExpr
+                (typeCastExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier))
+                    (typeArgumentList
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))))))
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (subscriptExpr
+              (parenthesizedExpr
+                (typeCastExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier))
+                    (typeArgumentList
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))))))
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (subscriptExpr
+              (parenthesizedExpr
+                (typeCastExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier))
+                    (typeArgumentList
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))))))
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (subscriptExpr
+              (parenthesizedExpr
+                (typeCastExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier))
+                    (typeArgumentList
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))))))
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (subscriptExpr
+              (parenthesizedExpr
+                (typeCastExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier))
+                    (typeArgumentList
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))))))
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (subscriptExpr
+              (parenthesizedExpr
+                (typeCastExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier))
+                    (typeArgumentList
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))))))
+              (slStringLiteralExpr
+                (slStringLiteralPart))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (subscriptExpr
+                    (parenthesizedExpr
+                      (typeCastExpr
+                        (unqualifiedAccessExpr
+                          (identifier))
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier))
+                          (typeArgumentList
+                            (declaredType
+                              (qualifiedIdentifier
+                                (identifier)))
+                            (declaredType
+                              (qualifiedIdentifier
+                                (identifier)))))))
+                    (slStringLiteralExpr
+                      (slStringLiteralPart)))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (subscriptExpr
+                    (parenthesizedExpr
+                      (typeCastExpr
+                        (unqualifiedAccessExpr
+                          (identifier))
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier))
+                          (typeArgumentList
+                            (declaredType
+                              (qualifiedIdentifier
+                                (identifier)))
+                            (declaredType
+                              (qualifiedIdentifier
+                                (identifier)))))))
+                    (slStringLiteralExpr
+                      (slStringLiteralPart)))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (typeCastExpr
+              (intLiteralExpr)
+              (unionType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))))))
+          (objectElement
+            (typeCastExpr
+              (intLiteralExpr)
+              (unionType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))))))
+          (objectElement
+            (typeCastExpr
+              (intLiteralExpr)
+              (unionType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (typeCastExpr
+                    (intLiteralExpr)
+                    (unionType
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))))))))
+          (objectElement
+            (typeCastExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)
+                  (intLiteralExpr)
+                  (intLiteralExpr)))
+              (unionType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))
+                  (typeArgumentList
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))))
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))
+                  (typeArgumentList
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))))))))
+          (objectElement
+            (typeCastExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)
+                  (intLiteralExpr)
+                  (intLiteralExpr)))
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier))
+                (typeArgumentList
+                  (unionType
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (typeCastExpr
+                    (unqualifiedAccessExpr
+                      (identifier)
+                      (argumentList
+                        (intLiteralExpr)
+                        (intLiteralExpr)
+                        (intLiteralExpr)))
+                    (unionType
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier))
+                        (typeArgumentList
+                          (declaredType
+                            (qualifiedIdentifier
+                              (identifier)))))
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier))
+                        (typeArgumentList
+                          (declaredType
+                            (qualifiedIdentifier
+                              (identifier)))))))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (typeCastExpr
+              (nullLiteralExpr)
+              (nullableType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))))))
+          (objectElement
+            (typeCastExpr
+              (nullLiteralExpr)
+              (nullableType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))
+                  (typeArgumentList
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (typeCastExpr
+                    (nullLiteralExpr)
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))
+                      (typeArgumentList
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier)))
+                        (nullableType
+                          (declaredType
+                            (qualifiedIdentifier
+                              (identifier)))))))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (qualifiedAccessExpr
+              (parenthesizedExpr
+                (typeCastExpr
+                  (parenthesizedExpr
+                    (functionLiteralExpr
+                      (parameterList
+                        (typedIdentifier
+                          (identifier)))
+                      (unqualifiedAccessExpr
+                        (identifier))))
+                  (functionLiteralType
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))))))
+              (identifier)
+              (argumentList
+                (intLiteralExpr))))
+          (objectElement
+            (qualifiedAccessExpr
+              (parenthesizedExpr
+                (typeCastExpr
+                  (parenthesizedExpr
+                    (functionLiteralExpr
+                      (parameterList
+                        (typedIdentifier
+                          (identifier)))
+                      (unqualifiedAccessExpr
+                        (identifier))))
+                  (functionLiteralType
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))))))
+              (identifier)
+              (argumentList
+                (intLiteralExpr))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (typeCastExpr
+                    (parenthesizedExpr
+                      (functionLiteralExpr
+                        (parameterList
+                          (typedIdentifier
+                            (identifier))
+                          (blankIdentifier))
+                        (unqualifiedAccessExpr
+                          (identifier))))
+                    (functionLiteralType
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (typeCastExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (unionType
+                (stringLiteralType
+                  (stringConstant
+                    (slStringLiteralPart)))
+                (stringLiteralType
+                  (stringConstant
+                    (slStringLiteralPart))))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (typeCastExpr
+                    (slStringLiteralExpr
+                      (slStringLiteralPart))
+                    (unionType
+                      (stringLiteralType
+                        (stringConstant
+                          (slStringLiteralPart)))
+                      (stringLiteralType
+                        (stringConstant
+                          (slStringLiteralPart)))))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (typeCastExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (constrainedType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (equalityExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (intLiteralExpr)))))
+          (objectElement
+            (qualifiedAccessExpr
+              (moduleExpr)
+              (identifier)
+              (argumentList
+                (functionLiteralExpr
+                  (parameterList)
+                  (typeCastExpr
+                    (slStringLiteralExpr
+                      (slStringLiteralPart))
+                    (constrainedType
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))
+                      (equalityExpr
+                        (unqualifiedAccessExpr
+                          (identifier))
+                        (intLiteralExpr))))))))
+          (objectElement
+            (typeCastExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))))
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier))
+                (typeArgumentList
+                  (constrainedType
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))
+                    (equalityExpr
+                      (unqualifiedAccessExpr
+                        (identifier))
+                      (intLiteralExpr))))))))))))