Update external test cases

tests/inputs-luau-full_moon/const_function.lua

@@ -0,0 +1,4 @@
+const function f() end
+const function greet(name: string): string
+	return "Hello, " .. name
+end

tests/inputs-luau-full_moon/const_variable.lua

@@ -0,0 +1,10 @@
+const x = 5
+const f = function() end
+const t = { a = 1 }
+const x: number = 5
+const a, b = 1, 2
+const x: number, y: string = 1, "hello"
+local const = 4
+const a, b = returns_two()
+const a, b, c = 1, unpack(t)
+const a, b = ...

tests/inputs-luau-full_moon/types_leading_union_generic.lua

@@ -0,0 +1,15 @@
+-- Issue #350: leading | in generic type arguments
+type Test = Box<
+    | string
+    | number
+>
+
+type Test2 = Box<| string | number>
+
+-- Issue #311 comment: leading & in generic type arguments
+type Test3 = Generic<& boolean & string>
+
+type Test4 = Map<
+    & string & number,
+    | boolean | nil
+>

tests/inputs-luau-full_moon/types_leading_union_return.lua

@@ -0,0 +1,10 @@
+-- Issue #311 comment: leading | and & in function return types
+type UnionReturn = () -> | string | number
+
+type IntersectionReturn = () -> & string & number
+
+type NestedReturn = (string) -> | boolean | nil
+
+-- Also valid in function type annotations
+local f: () -> | string | number = nil
+local g: (number) -> & string & number = nil

tests/snapshots/tests__luau_full_moon@const_function.lua.snap

@@ -0,0 +1,9 @@
+---
+source: tests/tests.rs
+expression: "format(&contents, LuaVersion::Luau)"
+input_file: tests/inputs-luau-full_moon/const_function.lua
+---
+const function f() end
+const function greet(name: string): string
+	return "Hello, " .. name
+end

tests/snapshots/tests__luau_full_moon@const_variable.lua.snap

@@ -0,0 +1,15 @@
+---
+source: tests/tests.rs
+expression: "format(&contents, LuaVersion::Luau)"
+input_file: tests/inputs-luau-full_moon/const_variable.lua
+---
+const x = 5
+const f = function() end
+const t = { a = 1 }
+const x: number = 5
+const a, b = 1, 2
+const x: number, y: string = 1, "hello"
+local const = 4
+const a, b = returns_two()
+const a, b, c = 1, unpack(t)
+const a, b = ...

tests/snapshots/tests__luau_full_moon@types_leading_union_generic.lua.snap

@@ -0,0 +1,14 @@
+---
+source: tests/tests.rs
+expression: "format(&contents, LuaVersion::Luau)"
+input_file: tests/inputs-luau-full_moon/types_leading_union_generic.lua
+---
+-- Issue #350: leading | in generic type arguments
+type Test = Box<| string | number>
+
+type Test2 = Box<| string | number>
+
+-- Issue #311 comment: leading & in generic type arguments
+type Test3 = Generic<& boolean & string>
+
+type Test4 = Map<& string & number, | boolean | nil>

tests/snapshots/tests__luau_full_moon@types_leading_union_return.lua.snap

@@ -0,0 +1,15 @@
+---
+source: tests/tests.rs
+expression: "format(&contents, LuaVersion::Luau)"
+input_file: tests/inputs-luau-full_moon/types_leading_union_return.lua
+---
+-- Issue #311 comment: leading | and & in function return types
+type UnionReturn = () -> | string | number
+
+type IntersectionReturn = () -> & string & number
+
+type NestedReturn = (string) -> | boolean | nil
+
+-- Also valid in function type annotations
+local f: () -> | string | number = nil
+local g: (number) -> & string & number = nil