@@ -1743,271 +1743,275 @@
17431743/* mod-495-1 %jibb /tests/golden/types-prelude-list-functions/modules/ui/lib/jibb
17441744/* typ-495 %txt /tests/golden/types-prelude-list-functions/types/txt
17451745/* mtre-495 %txt /tests/golden/types-prelude-list-functions/module-trees/txt
1746−/* src-496 %jibb /tests/golden/types-prelude-unit-helpers/source/jibb
1747−/* tok-496 %txt /tests/golden/types-prelude-unit-helpers/tokens/txt
1748−/* tre-496 %txt /tests/golden/types-prelude-unit-helpers/tree/txt
1749−/* typ-496 %txt /tests/golden/types-prelude-unit-helpers/types/txt
1750−/* src-497 %jibb /tests/golden/types-record-bound-variable/source/jibb
1751−/* tok-497 %txt /tests/golden/types-record-bound-variable/tokens/txt
1752−/* tre-497 %txt /tests/golden/types-record-bound-variable/tree/txt
1753−/* typ-497 %txt /tests/golden/types-record-bound-variable/types/txt
1754−/* src-498 %jibb /tests/golden/types-record-cast-context/source/jibb
1755−/* tok-498 %txt /tests/golden/types-record-cast-context/tokens/txt
1756−/* tre-498 %txt /tests/golden/types-record-cast-context/tree/txt
1757−/* typ-498 %txt /tests/golden/types-record-cast-context/types/txt
1758−/* src-499 %jibb /tests/golden/types-record-change/source/jibb
1759−/* tok-499 %txt /tests/golden/types-record-change/tokens/txt
1760−/* tre-499 %txt /tests/golden/types-record-change/tree/txt
1761−/* typ-499 %txt /tests/golden/types-record-change/types/txt
1762−/* src-500 %jibb /tests/golden/types-record-change-generic/source/jibb
1763−/* tok-500 %txt /tests/golden/types-record-change-generic/tokens/txt
1764−/* tre-500 %txt /tests/golden/types-record-change-generic/tree/txt
1765−/* typ-500 %txt /tests/golden/types-record-change-generic/types/txt
1766−/* src-501 %jibb /tests/golden/types-record-faces/source/jibb
1767−/* tok-501 %txt /tests/golden/types-record-faces/tokens/txt
1768−/* tre-501 %txt /tests/golden/types-record-faces/tree/txt
1769−/* typ-501 %txt /tests/golden/types-record-faces/types/txt
1770−/* src-502 %jibb /tests/golden/types-record-import/source/jibb
1771−/* tok-502 %txt /tests/golden/types-record-import/tokens/txt
1772−/* tre-502 %txt /tests/golden/types-record-import/tree/txt
1773−/* mod-502-1 %jibb /tests/golden/types-record-import/modules/ui/lib/jibb
1774−/* typ-502 %txt /tests/golden/types-record-import/types/txt
1775−/* mtre-502 %txt /tests/golden/types-record-import/module-trees/txt
1776−/* src-503 %jibb /tests/golden/types-record-local-scheme/source/jibb
1777−/* tok-503 %txt /tests/golden/types-record-local-scheme/tokens/txt
1778−/* tre-503 %txt /tests/golden/types-record-local-scheme/tree/txt
1779−/* typ-503 %txt /tests/golden/types-record-local-scheme/types/txt
1780−/* src-504 %jibb /tests/golden/types-record-nested/source/jibb
1781−/* tok-504 %txt /tests/golden/types-record-nested/tokens/txt
1782−/* tre-504 %txt /tests/golden/types-record-nested/tree/txt
1783−/* typ-504 %txt /tests/golden/types-record-nested/types/txt
1784−/* src-505 %jibb /tests/golden/types-record-to-tuple/source/jibb
1785−/* tok-505 %txt /tests/golden/types-record-to-tuple/tokens/txt
1786−/* tre-505 %txt /tests/golden/types-record-to-tuple/tree/txt
1787−/* typ-505 %txt /tests/golden/types-record-to-tuple/types/txt
1788−/* src-506 %jibb /tests/golden/types-recursion-scc-failures/source/jibb
1789−/* tok-506 %txt /tests/golden/types-recursion-scc-failures/tokens/txt
1790−/* tre-506 %txt /tests/golden/types-recursion-scc-failures/tree/txt
1791−/* typ-506 %txt /tests/golden/types-recursion-scc-failures/types/txt
1792−/* src-507 %jibb /tests/golden/types-recursion-scc-groups/source/jibb
1793−/* tok-507 %txt /tests/golden/types-recursion-scc-groups/tokens/txt
1794−/* tre-507 %txt /tests/golden/types-recursion-scc-groups/tree/txt
1795−/* typ-507 %txt /tests/golden/types-recursion-scc-groups/types/txt
1796−/* src-508 %jibb /tests/golden/types-recursion-scc-import/source/jibb
1797−/* tok-508 %txt /tests/golden/types-recursion-scc-import/tokens/txt
1798−/* tre-508 %txt /tests/golden/types-recursion-scc-import/tree/txt
1799−/* mod-508-1 %jibb /tests/golden/types-recursion-scc-import/modules/ui/lib/jibb
1800−/* typ-508 %txt /tests/golden/types-recursion-scc-import/types/txt
1801−/* mtre-508 %txt /tests/golden/types-recursion-scc-import/module-trees/txt
1802−/* src-509 %jibb /tests/golden/types-recursion-scc-import-bad/source/jibb
1803−/* tok-509 %txt /tests/golden/types-recursion-scc-import-bad/tokens/txt
1804−/* tre-509 %txt /tests/golden/types-recursion-scc-import-bad/tree/txt
1805−/* mod-509-1 %jibb /tests/golden/types-recursion-scc-import-bad/modules/ui/lib/jibb
1806−/* typ-509 %txt /tests/golden/types-recursion-scc-import-bad/types/txt
1807−/* mtre-509 %txt /tests/golden/types-recursion-scc-import-bad/module-trees/txt
1808−/* src-510 %jibb /tests/golden/types-recursion-scc-local/source/jibb
1809−/* tok-510 %txt /tests/golden/types-recursion-scc-local/tokens/txt
1810−/* tre-510 %txt /tests/golden/types-recursion-scc-local/tree/txt
1811−/* typ-510 %txt /tests/golden/types-recursion-scc-local/types/txt
1812−/* src-511 %jibb /tests/golden/types-recursion-scc-order/source/jibb
1813−/* tok-511 %txt /tests/golden/types-recursion-scc-order/tokens/txt
1814−/* tre-511 %txt /tests/golden/types-recursion-scc-order/tree/txt
1815−/* typ-511 %txt /tests/golden/types-recursion-scc-order/types/txt
1816−/* src-512 %jibb /tests/golden/types-recursion-scc-shadow/source/jibb
1817−/* tok-512 %txt /tests/golden/types-recursion-scc-shadow/tokens/txt
1818−/* tre-512 %txt /tests/golden/types-recursion-scc-shadow/tree/txt
1819−/* typ-512 %txt /tests/golden/types-recursion-scc-shadow/types/txt
1820−/* src-513 %jibb /tests/golden/types-recursive-branch/source/jibb
1821−/* tok-513 %txt /tests/golden/types-recursive-branch/tokens/txt
1822−/* tre-513 %txt /tests/golden/types-recursive-branch/tree/txt
1823−/* typ-513 %txt /tests/golden/types-recursive-branch/types/txt
1824−/* src-514 %jibb /tests/golden/types-recursive-gate/source/jibb
1825−/* tok-514 %txt /tests/golden/types-recursive-gate/tokens/txt
1826−/* tre-514 %txt /tests/golden/types-recursive-gate/tree/txt
1827−/* typ-514 %txt /tests/golden/types-recursive-gate/types/txt
1828−/* src-515 %jibb /tests/golden/types-recursive-sample/source/jibb
1829−/* tok-515 %txt /tests/golden/types-recursive-sample/tokens/txt
1830−/* tre-515 %txt /tests/golden/types-recursive-sample/tree/txt
1831−/* typ-515 %txt /tests/golden/types-recursive-sample/types/txt
1832−/* src-516 %jibb /tests/golden/types-scope-library-poke/source/jibb
1833−/* tok-516 %txt /tests/golden/types-scope-library-poke/tokens/txt
1834−/* tre-516 %txt /tests/golden/types-scope-library-poke/tree/txt
1835−/* typ-516 %txt /tests/golden/types-scope-library-poke/types/txt
1836−/* src-517 %jibb /tests/golden/types-scope-root-api/source/jibb
1837−/* tok-517 %txt /tests/golden/types-scope-root-api/tokens/txt
1838−/* tre-517 %txt /tests/golden/types-scope-root-api/tree/txt
1839−/* typ-517 %txt /tests/golden/types-scope-root-api/types/txt
1840−/* src-518 %jibb /tests/golden/types-scope-store-duplicate/source/jibb
1841−/* tok-518 %txt /tests/golden/types-scope-store-duplicate/tokens/txt
1842−/* tre-518 %txt /tests/golden/types-scope-store-duplicate/tree/txt
1843−/* typ-518 %txt /tests/golden/types-scope-store-duplicate/types/txt
1844−/* src-519 %jibb /tests/golden/types-scope-store-shadow/source/jibb
1845−/* tok-519 %txt /tests/golden/types-scope-store-shadow/tokens/txt
1846−/* tre-519 %txt /tests/golden/types-scope-store-shadow/tree/txt
1847−/* typ-519 %txt /tests/golden/types-scope-store-shadow/types/txt
1848−/* src-520 %jibb /tests/golden/types-string-interpolation/source/jibb
1849−/* tok-520 %txt /tests/golden/types-string-interpolation/tokens/txt
1850−/* tre-520 %txt /tests/golden/types-string-interpolation/tree/txt
1851−/* typ-520 %txt /tests/golden/types-string-interpolation/types/txt
1852−/* src-521 %jibb /tests/golden/types-tuple-context/source/jibb
1853−/* tok-521 %txt /tests/golden/types-tuple-context/tokens/txt
1854−/* tre-521 %txt /tests/golden/types-tuple-context/tree/txt
1855−/* typ-521 %txt /tests/golden/types-tuple-context/types/txt
1856−/* src-522 %jibb /tests/golden/types-tuple-context-nested/source/jibb
1857−/* tok-522 %txt /tests/golden/types-tuple-context-nested/tokens/txt
1858−/* tre-522 %txt /tests/golden/types-tuple-context-nested/tree/txt
1859−/* typ-522 %txt /tests/golden/types-tuple-context-nested/types/txt
1860−/* src-523 %jibb /tests/golden/types-union-alias/source/jibb
1861−/* tok-523 %txt /tests/golden/types-union-alias/tokens/txt
1862−/* tre-523 %txt /tests/golden/types-union-alias/tree/txt
1863−/* typ-523 %txt /tests/golden/types-union-alias/types/txt
1864−/* src-524 %jibb /tests/golden/types-union-branch-context/source/jibb
1865−/* tok-524 %txt /tests/golden/types-union-branch-context/tokens/txt
1866−/* tre-524 %txt /tests/golden/types-union-branch-context/tree/txt
1867−/* typ-524 %txt /tests/golden/types-union-branch-context/types/txt
1868−/* src-525 %jibb /tests/golden/types-union-branch-pending/source/jibb
1869−/* tok-525 %txt /tests/golden/types-union-branch-pending/tokens/txt
1870−/* tre-525 %txt /tests/golden/types-union-branch-pending/tree/txt
1871−/* typ-525 %txt /tests/golden/types-union-branch-pending/types/txt
1872−/* src-526 %jibb /tests/golden/types-union-constructor-shape/source/jibb
1873−/* tok-526 %txt /tests/golden/types-union-constructor-shape/tokens/txt
1874−/* tre-526 %txt /tests/golden/types-union-constructor-shape/tree/txt
1875−/* typ-526 %txt /tests/golden/types-union-constructor-shape/types/txt
1876−/* src-527 %jibb /tests/golden/types-union-context-flow/source/jibb
1877−/* tok-527 %txt /tests/golden/types-union-context-flow/tokens/txt
1878−/* tre-527 %txt /tests/golden/types-union-context-flow/tree/txt
1879−/* typ-527 %txt /tests/golden/types-union-context-flow/types/txt
1880−/* src-528 %jibb /tests/golden/types-union-finite/source/jibb
1881−/* tok-528 %txt /tests/golden/types-union-finite/tokens/txt
1882−/* tre-528 %txt /tests/golden/types-union-finite/tree/txt
1883−/* typ-528 %txt /tests/golden/types-union-finite/types/txt
1884−/* src-529 %jibb /tests/golden/types-union-finite-context/source/jibb
1885−/* tok-529 %txt /tests/golden/types-union-finite-context/tokens/txt
1886−/* tre-529 %txt /tests/golden/types-union-finite-context/tree/txt
1887−/* typ-529 %txt /tests/golden/types-union-finite-context/types/txt
1888−/* src-530 %jibb /tests/golden/types-union-finite-generic/source/jibb
1889−/* tok-530 %txt /tests/golden/types-union-finite-generic/tokens/txt
1890−/* tre-530 %txt /tests/golden/types-union-finite-generic/tree/txt
1891−/* typ-530 %txt /tests/golden/types-union-finite-generic/types/txt
1892−/* src-531 %jibb /tests/golden/types-union-finite-limit/source/jibb
1893−/* tok-531 %txt /tests/golden/types-union-finite-limit/tokens/txt
1894−/* tre-531 %txt /tests/golden/types-union-finite-limit/tree/txt
1895−/* typ-531 %txt /tests/golden/types-union-finite-limit/types/txt
1896−/* src-532 %jibb /tests/golden/types-union-import/source/jibb
1897−/* tok-532 %txt /tests/golden/types-union-import/tokens/txt
1898−/* tre-532 %txt /tests/golden/types-union-import/tree/txt
1899−/* mod-532-1 %jibb /tests/golden/types-union-import/modules/ui/lib/jibb
1900−/* typ-532 %txt /tests/golden/types-union-import/types/txt
1901−/* mtre-532 %txt /tests/golden/types-union-import/module-trees/txt
1902−/* src-533 %jibb /tests/golden/types-union-local-pending/source/jibb
1903−/* tok-533 %txt /tests/golden/types-union-local-pending/tokens/txt
1904−/* tre-533 %txt /tests/golden/types-union-local-pending/tree/txt
1905−/* typ-533 %txt /tests/golden/types-union-local-pending/types/txt
1906−/* src-534 %jibb /tests/golden/types-union-overlap/source/jibb
1907−/* tok-534 %txt /tests/golden/types-union-overlap/tokens/txt
1908−/* tre-534 %txt /tests/golden/types-union-overlap/tree/txt
1909−/* typ-534 %txt /tests/golden/types-union-overlap/types/txt
1910−/* src-535 %jibb /tests/golden/types-union-overlap-nested/source/jibb
1911−/* tok-535 %txt /tests/golden/types-union-overlap-nested/tokens/txt
1912−/* tre-535 %txt /tests/golden/types-union-overlap-nested/tree/txt
1913−/* typ-535 %txt /tests/golden/types-union-overlap-nested/types/txt
1914−/* src-536 %jibb /tests/golden/types-union-pattern-result-context/source/jibb
1915−/* tok-536 %txt /tests/golden/types-union-pattern-result-context/tokens/txt
1916−/* tre-536 %txt /tests/golden/types-union-pattern-result-context/tree/txt
1917−/* typ-536 %txt /tests/golden/types-union-pattern-result-context/types/txt
1918−/* src-537 %jibb /tests/golden/types-union-pattern-result-controls/source/jibb
1919−/* tok-537 %txt /tests/golden/types-union-pattern-result-controls/tokens/txt
1920−/* tre-537 %txt /tests/golden/types-union-pattern-result-controls/tree/txt
1921−/* typ-537 %txt /tests/golden/types-union-pattern-result-controls/types/txt
1922−/* src-538 %jibb /tests/golden/types-union-patterns/source/jibb
1923−/* tok-538 %txt /tests/golden/types-union-patterns/tokens/txt
1924−/* tre-538 %txt /tests/golden/types-union-patterns/tree/txt
1925−/* typ-538 %txt /tests/golden/types-union-patterns/types/txt
1926−/* src-539 %jibb /tests/golden/types-union-patterns-generic/source/jibb
1927−/* tok-539 %txt /tests/golden/types-union-patterns-generic/tokens/txt
1928−/* tre-539 %txt /tests/golden/types-union-patterns-generic/tree/txt
1929−/* typ-539 %txt /tests/golden/types-union-patterns-generic/types/txt
1930−/* src-540 %jibb /tests/golden/types-union-patterns-import/source/jibb
1931−/* tok-540 %txt /tests/golden/types-union-patterns-import/tokens/txt
1932−/* tre-540 %txt /tests/golden/types-union-patterns-import/tree/txt
1933−/* mod-540-1 %jibb /tests/golden/types-union-patterns-import/modules/ui/lib/jibb
1934−/* typ-540 %txt /tests/golden/types-union-patterns-import/types/txt
1935−/* mtre-540 %txt /tests/golden/types-union-patterns-import/module-trees/txt
1936−/* src-541 %jibb /tests/golden/types-union-phantom-generic/source/jibb
1937−/* tok-541 %txt /tests/golden/types-union-phantom-generic/tokens/txt
1938−/* tre-541 %txt /tests/golden/types-union-phantom-generic/tree/txt
1939−/* typ-541 %txt /tests/golden/types-union-phantom-generic/types/txt
1940−/* src-542 %jibb /tests/golden/types-union-print-cross-namespace/source/jibb
1941−/* tok-542 %txt /tests/golden/types-union-print-cross-namespace/tokens/txt
1942−/* tre-542 %txt /tests/golden/types-union-print-cross-namespace/tree/txt
1943−/* mod-542-1 %jibb /tests/golden/types-union-print-cross-namespace/modules/ui/lib/jibb
1944−/* typ-542 %txt /tests/golden/types-union-print-cross-namespace/types/txt
1945−/* mtre-542 %txt /tests/golden/types-union-print-cross-namespace/module-trees/txt
1946−/* src-543 %jibb /tests/golden/types-union-print-distinct/source/jibb
1947−/* tok-543 %txt /tests/golden/types-union-print-distinct/tokens/txt
1948−/* tre-543 %txt /tests/golden/types-union-print-distinct/tree/txt
1949−/* mod-543-1 %jibb /tests/golden/types-union-print-distinct/modules/ui/left/jibb
1950−/* mod-543-2 %jibb /tests/golden/types-union-print-distinct/modules/ui/right/jibb
1951−/* mod-543-3 %jibb /tests/golden/types-union-print-distinct/modules/ui/twin/jibb
1952−/* typ-543 %txt /tests/golden/types-union-print-distinct/types/txt
1953−/* mtre-543 %txt /tests/golden/types-union-print-distinct/module-trees/txt
1954−/* src-544 %jibb /tests/golden/types-union-print-escape/source/jibb
1955−/* tok-544 %txt /tests/golden/types-union-print-escape/tokens/txt
1956−/* tre-544 %txt /tests/golden/types-union-print-escape/tree/txt
1957−/* typ-544 %txt /tests/golden/types-union-print-escape/types/txt
1958−/* src-545 %jibb /tests/golden/types-union-print-local/source/jibb
1959−/* tok-545 %txt /tests/golden/types-union-print-local/tokens/txt
1960−/* tre-545 %txt /tests/golden/types-union-print-local/tree/txt
1961−/* typ-545 %txt /tests/golden/types-union-print-local/types/txt
1962−/* src-546 %jibb /tests/golden/types-union-print-nested/source/jibb
1963−/* tok-546 %txt /tests/golden/types-union-print-nested/tokens/txt
1964−/* tre-546 %txt /tests/golden/types-union-print-nested/tree/txt
1965−/* typ-546 %txt /tests/golden/types-union-print-nested/types/txt
1966−/* src-547 %jibb /tests/golden/types-union-print-same-origin/source/jibb
1967−/* tok-547 %txt /tests/golden/types-union-print-same-origin/tokens/txt
1968−/* tre-547 %txt /tests/golden/types-union-print-same-origin/tree/txt
1969−/* mod-547-1 %jibb /tests/golden/types-union-print-same-origin/modules/ui/shared/jibb
1970−/* typ-547 %txt /tests/golden/types-union-print-same-origin/types/txt
1971−/* mtre-547 %txt /tests/golden/types-union-print-same-origin/module-trees/txt
1972−/* src-548 %jibb /tests/golden/types-union-print-transitive/source/jibb
1973−/* tok-548 %txt /tests/golden/types-union-print-transitive/tokens/txt
1974−/* tre-548 %txt /tests/golden/types-union-print-transitive/tree/txt
1975−/* mod-548-1 %jibb /tests/golden/types-union-print-transitive/modules/ui/mid/jibb
1976−/* mod-548-2 %jibb /tests/golden/types-union-print-transitive/modules/ui/base/jibb
1977−/* typ-548 %txt /tests/golden/types-union-print-transitive/types/txt
1978−/* mtre-548 %txt /tests/golden/types-union-print-transitive/module-trees/txt
1979−/* src-549 %jibb /tests/golden/types-union-singleton/source/jibb
1980−/* tok-549 %txt /tests/golden/types-union-singleton/tokens/txt
1981−/* tre-549 %txt /tests/golden/types-union-singleton/tree/txt
1982−/* typ-549 %txt /tests/golden/types-union-singleton/types/txt
1983−/* src-550 %jibb /tests/golden/types-union-tag-atoms/source/jibb
1984−/* tok-550 %txt /tests/golden/types-union-tag-atoms/tokens/txt
1985−/* tre-550 %txt /tests/golden/types-union-tag-atoms/tree/txt
1986−/* typ-550 %txt /tests/golden/types-union-tag-atoms/types/txt
1987−/* src-551 %jibb /tests/golden/types-union-tags/source/jibb
1988−/* tok-551 %txt /tests/golden/types-union-tags/tokens/txt
1989−/* tre-551 %txt /tests/golden/types-union-tags/tree/txt
1990−/* typ-551 %txt /tests/golden/types-union-tags/types/txt
1991−/* src-552 %jibb /tests/golden/types-union-unresolved/source/jibb
1992−/* tok-552 %txt /tests/golden/types-union-unresolved/tokens/txt
1993−/* tre-552 %txt /tests/golden/types-union-unresolved/tree/txt
1994−/* typ-552 %txt /tests/golden/types-union-unresolved/types/txt
1995−/* src-553 %jibb /tests/golden/types-union-unresolved-flow/source/jibb
1996−/* tok-553 %txt /tests/golden/types-union-unresolved-flow/tokens/txt
1997−/* tre-553 %txt /tests/golden/types-union-unresolved-flow/tree/txt
1998−/* typ-553 %txt /tests/golden/types-union-unresolved-flow/types/txt
1999−/* src-554 %jibb /tests/golden/types-unit-construction/source/jibb
2000−/* tok-554 %txt /tests/golden/types-unit-construction/tokens/txt
2001−/* tre-554 %txt /tests/golden/types-unit-construction/tree/txt
2002−/* typ-554 %txt /tests/golden/types-unit-construction/types/txt
2003−/* src-555 %jibb /tests/golden/types-unit-context/source/jibb
2004−/* tok-555 %txt /tests/golden/types-unit-context/tokens/txt
2005−/* tre-555 %txt /tests/golden/types-unit-context/tree/txt
2006−/* typ-555 %txt /tests/golden/types-unit-context/types/txt
2007−/* src-556 %jibb /tests/golden/types-unit-patterns/source/jibb
2008−/* tok-556 %txt /tests/golden/types-unit-patterns/tokens/txt
2009−/* tre-556 %txt /tests/golden/types-unit-patterns/tree/txt
2010−/* typ-556 %txt /tests/golden/types-unit-patterns/types/txt
1746+/* src-496 %jibb /tests/golden/types-prelude-list-helpers/source/jibb
1747+/* tok-496 %txt /tests/golden/types-prelude-list-helpers/tokens/txt
1748+/* tre-496 %txt /tests/golden/types-prelude-list-helpers/tree/txt
1749+/* typ-496 %txt /tests/golden/types-prelude-list-helpers/types/txt
1750+/* src-497 %jibb /tests/golden/types-prelude-unit-helpers/source/jibb
1751+/* tok-497 %txt /tests/golden/types-prelude-unit-helpers/tokens/txt
1752+/* tre-497 %txt /tests/golden/types-prelude-unit-helpers/tree/txt
1753+/* typ-497 %txt /tests/golden/types-prelude-unit-helpers/types/txt
1754+/* src-498 %jibb /tests/golden/types-record-bound-variable/source/jibb
1755+/* tok-498 %txt /tests/golden/types-record-bound-variable/tokens/txt
1756+/* tre-498 %txt /tests/golden/types-record-bound-variable/tree/txt
1757+/* typ-498 %txt /tests/golden/types-record-bound-variable/types/txt
1758+/* src-499 %jibb /tests/golden/types-record-cast-context/source/jibb
1759+/* tok-499 %txt /tests/golden/types-record-cast-context/tokens/txt
1760+/* tre-499 %txt /tests/golden/types-record-cast-context/tree/txt
1761+/* typ-499 %txt /tests/golden/types-record-cast-context/types/txt
1762+/* src-500 %jibb /tests/golden/types-record-change/source/jibb
1763+/* tok-500 %txt /tests/golden/types-record-change/tokens/txt
1764+/* tre-500 %txt /tests/golden/types-record-change/tree/txt
1765+/* typ-500 %txt /tests/golden/types-record-change/types/txt
1766+/* src-501 %jibb /tests/golden/types-record-change-generic/source/jibb
1767+/* tok-501 %txt /tests/golden/types-record-change-generic/tokens/txt
1768+/* tre-501 %txt /tests/golden/types-record-change-generic/tree/txt
1769+/* typ-501 %txt /tests/golden/types-record-change-generic/types/txt
1770+/* src-502 %jibb /tests/golden/types-record-faces/source/jibb
1771+/* tok-502 %txt /tests/golden/types-record-faces/tokens/txt
1772+/* tre-502 %txt /tests/golden/types-record-faces/tree/txt
1773+/* typ-502 %txt /tests/golden/types-record-faces/types/txt
1774+/* src-503 %jibb /tests/golden/types-record-import/source/jibb
1775+/* tok-503 %txt /tests/golden/types-record-import/tokens/txt
1776+/* tre-503 %txt /tests/golden/types-record-import/tree/txt
1777+/* mod-503-1 %jibb /tests/golden/types-record-import/modules/ui/lib/jibb
1778+/* typ-503 %txt /tests/golden/types-record-import/types/txt
1779+/* mtre-503 %txt /tests/golden/types-record-import/module-trees/txt
1780+/* src-504 %jibb /tests/golden/types-record-local-scheme/source/jibb
1781+/* tok-504 %txt /tests/golden/types-record-local-scheme/tokens/txt
1782+/* tre-504 %txt /tests/golden/types-record-local-scheme/tree/txt
1783+/* typ-504 %txt /tests/golden/types-record-local-scheme/types/txt
1784+/* src-505 %jibb /tests/golden/types-record-nested/source/jibb
1785+/* tok-505 %txt /tests/golden/types-record-nested/tokens/txt
1786+/* tre-505 %txt /tests/golden/types-record-nested/tree/txt
1787+/* typ-505 %txt /tests/golden/types-record-nested/types/txt
1788+/* src-506 %jibb /tests/golden/types-record-to-tuple/source/jibb
1789+/* tok-506 %txt /tests/golden/types-record-to-tuple/tokens/txt
1790+/* tre-506 %txt /tests/golden/types-record-to-tuple/tree/txt
1791+/* typ-506 %txt /tests/golden/types-record-to-tuple/types/txt
1792+/* src-507 %jibb /tests/golden/types-recursion-scc-failures/source/jibb
1793+/* tok-507 %txt /tests/golden/types-recursion-scc-failures/tokens/txt
1794+/* tre-507 %txt /tests/golden/types-recursion-scc-failures/tree/txt
1795+/* typ-507 %txt /tests/golden/types-recursion-scc-failures/types/txt
1796+/* src-508 %jibb /tests/golden/types-recursion-scc-groups/source/jibb
1797+/* tok-508 %txt /tests/golden/types-recursion-scc-groups/tokens/txt
1798+/* tre-508 %txt /tests/golden/types-recursion-scc-groups/tree/txt
1799+/* typ-508 %txt /tests/golden/types-recursion-scc-groups/types/txt
1800+/* src-509 %jibb /tests/golden/types-recursion-scc-import/source/jibb
1801+/* tok-509 %txt /tests/golden/types-recursion-scc-import/tokens/txt
1802+/* tre-509 %txt /tests/golden/types-recursion-scc-import/tree/txt
1803+/* mod-509-1 %jibb /tests/golden/types-recursion-scc-import/modules/ui/lib/jibb
1804+/* typ-509 %txt /tests/golden/types-recursion-scc-import/types/txt
1805+/* mtre-509 %txt /tests/golden/types-recursion-scc-import/module-trees/txt
1806+/* src-510 %jibb /tests/golden/types-recursion-scc-import-bad/source/jibb
1807+/* tok-510 %txt /tests/golden/types-recursion-scc-import-bad/tokens/txt
1808+/* tre-510 %txt /tests/golden/types-recursion-scc-import-bad/tree/txt
1809+/* mod-510-1 %jibb /tests/golden/types-recursion-scc-import-bad/modules/ui/lib/jibb
1810+/* typ-510 %txt /tests/golden/types-recursion-scc-import-bad/types/txt
1811+/* mtre-510 %txt /tests/golden/types-recursion-scc-import-bad/module-trees/txt
1812+/* src-511 %jibb /tests/golden/types-recursion-scc-local/source/jibb
1813+/* tok-511 %txt /tests/golden/types-recursion-scc-local/tokens/txt
1814+/* tre-511 %txt /tests/golden/types-recursion-scc-local/tree/txt
1815+/* typ-511 %txt /tests/golden/types-recursion-scc-local/types/txt
1816+/* src-512 %jibb /tests/golden/types-recursion-scc-order/source/jibb
1817+/* tok-512 %txt /tests/golden/types-recursion-scc-order/tokens/txt
1818+/* tre-512 %txt /tests/golden/types-recursion-scc-order/tree/txt
1819+/* typ-512 %txt /tests/golden/types-recursion-scc-order/types/txt
1820+/* src-513 %jibb /tests/golden/types-recursion-scc-shadow/source/jibb
1821+/* tok-513 %txt /tests/golden/types-recursion-scc-shadow/tokens/txt
1822+/* tre-513 %txt /tests/golden/types-recursion-scc-shadow/tree/txt
1823+/* typ-513 %txt /tests/golden/types-recursion-scc-shadow/types/txt
1824+/* src-514 %jibb /tests/golden/types-recursive-branch/source/jibb
1825+/* tok-514 %txt /tests/golden/types-recursive-branch/tokens/txt
1826+/* tre-514 %txt /tests/golden/types-recursive-branch/tree/txt
1827+/* typ-514 %txt /tests/golden/types-recursive-branch/types/txt
1828+/* src-515 %jibb /tests/golden/types-recursive-gate/source/jibb
1829+/* tok-515 %txt /tests/golden/types-recursive-gate/tokens/txt
1830+/* tre-515 %txt /tests/golden/types-recursive-gate/tree/txt
1831+/* typ-515 %txt /tests/golden/types-recursive-gate/types/txt
1832+/* src-516 %jibb /tests/golden/types-recursive-sample/source/jibb
1833+/* tok-516 %txt /tests/golden/types-recursive-sample/tokens/txt
1834+/* tre-516 %txt /tests/golden/types-recursive-sample/tree/txt
1835+/* typ-516 %txt /tests/golden/types-recursive-sample/types/txt
1836+/* src-517 %jibb /tests/golden/types-scope-library-poke/source/jibb
1837+/* tok-517 %txt /tests/golden/types-scope-library-poke/tokens/txt
1838+/* tre-517 %txt /tests/golden/types-scope-library-poke/tree/txt
1839+/* typ-517 %txt /tests/golden/types-scope-library-poke/types/txt
1840+/* src-518 %jibb /tests/golden/types-scope-root-api/source/jibb
1841+/* tok-518 %txt /tests/golden/types-scope-root-api/tokens/txt
1842+/* tre-518 %txt /tests/golden/types-scope-root-api/tree/txt
1843+/* typ-518 %txt /tests/golden/types-scope-root-api/types/txt
1844+/* src-519 %jibb /tests/golden/types-scope-store-duplicate/source/jibb
1845+/* tok-519 %txt /tests/golden/types-scope-store-duplicate/tokens/txt
1846+/* tre-519 %txt /tests/golden/types-scope-store-duplicate/tree/txt
1847+/* typ-519 %txt /tests/golden/types-scope-store-duplicate/types/txt
1848+/* src-520 %jibb /tests/golden/types-scope-store-shadow/source/jibb
1849+/* tok-520 %txt /tests/golden/types-scope-store-shadow/tokens/txt
1850+/* tre-520 %txt /tests/golden/types-scope-store-shadow/tree/txt
1851+/* typ-520 %txt /tests/golden/types-scope-store-shadow/types/txt
1852+/* src-521 %jibb /tests/golden/types-string-interpolation/source/jibb
1853+/* tok-521 %txt /tests/golden/types-string-interpolation/tokens/txt
1854+/* tre-521 %txt /tests/golden/types-string-interpolation/tree/txt
1855+/* typ-521 %txt /tests/golden/types-string-interpolation/types/txt
1856+/* src-522 %jibb /tests/golden/types-tuple-context/source/jibb
1857+/* tok-522 %txt /tests/golden/types-tuple-context/tokens/txt
1858+/* tre-522 %txt /tests/golden/types-tuple-context/tree/txt
1859+/* typ-522 %txt /tests/golden/types-tuple-context/types/txt
1860+/* src-523 %jibb /tests/golden/types-tuple-context-nested/source/jibb
1861+/* tok-523 %txt /tests/golden/types-tuple-context-nested/tokens/txt
1862+/* tre-523 %txt /tests/golden/types-tuple-context-nested/tree/txt
1863+/* typ-523 %txt /tests/golden/types-tuple-context-nested/types/txt
1864+/* src-524 %jibb /tests/golden/types-union-alias/source/jibb
1865+/* tok-524 %txt /tests/golden/types-union-alias/tokens/txt
1866+/* tre-524 %txt /tests/golden/types-union-alias/tree/txt
1867+/* typ-524 %txt /tests/golden/types-union-alias/types/txt
1868+/* src-525 %jibb /tests/golden/types-union-branch-context/source/jibb
1869+/* tok-525 %txt /tests/golden/types-union-branch-context/tokens/txt
1870+/* tre-525 %txt /tests/golden/types-union-branch-context/tree/txt
1871+/* typ-525 %txt /tests/golden/types-union-branch-context/types/txt
1872+/* src-526 %jibb /tests/golden/types-union-branch-pending/source/jibb
1873+/* tok-526 %txt /tests/golden/types-union-branch-pending/tokens/txt
1874+/* tre-526 %txt /tests/golden/types-union-branch-pending/tree/txt
1875+/* typ-526 %txt /tests/golden/types-union-branch-pending/types/txt
1876+/* src-527 %jibb /tests/golden/types-union-constructor-shape/source/jibb
1877+/* tok-527 %txt /tests/golden/types-union-constructor-shape/tokens/txt
1878+/* tre-527 %txt /tests/golden/types-union-constructor-shape/tree/txt
1879+/* typ-527 %txt /tests/golden/types-union-constructor-shape/types/txt
1880+/* src-528 %jibb /tests/golden/types-union-context-flow/source/jibb
1881+/* tok-528 %txt /tests/golden/types-union-context-flow/tokens/txt
1882+/* tre-528 %txt /tests/golden/types-union-context-flow/tree/txt
1883+/* typ-528 %txt /tests/golden/types-union-context-flow/types/txt
1884+/* src-529 %jibb /tests/golden/types-union-finite/source/jibb
1885+/* tok-529 %txt /tests/golden/types-union-finite/tokens/txt
1886+/* tre-529 %txt /tests/golden/types-union-finite/tree/txt
1887+/* typ-529 %txt /tests/golden/types-union-finite/types/txt
1888+/* src-530 %jibb /tests/golden/types-union-finite-context/source/jibb
1889+/* tok-530 %txt /tests/golden/types-union-finite-context/tokens/txt
1890+/* tre-530 %txt /tests/golden/types-union-finite-context/tree/txt
1891+/* typ-530 %txt /tests/golden/types-union-finite-context/types/txt
1892+/* src-531 %jibb /tests/golden/types-union-finite-generic/source/jibb
1893+/* tok-531 %txt /tests/golden/types-union-finite-generic/tokens/txt
1894+/* tre-531 %txt /tests/golden/types-union-finite-generic/tree/txt
1895+/* typ-531 %txt /tests/golden/types-union-finite-generic/types/txt
1896+/* src-532 %jibb /tests/golden/types-union-finite-limit/source/jibb
1897+/* tok-532 %txt /tests/golden/types-union-finite-limit/tokens/txt
1898+/* tre-532 %txt /tests/golden/types-union-finite-limit/tree/txt
1899+/* typ-532 %txt /tests/golden/types-union-finite-limit/types/txt
1900+/* src-533 %jibb /tests/golden/types-union-import/source/jibb
1901+/* tok-533 %txt /tests/golden/types-union-import/tokens/txt
1902+/* tre-533 %txt /tests/golden/types-union-import/tree/txt
1903+/* mod-533-1 %jibb /tests/golden/types-union-import/modules/ui/lib/jibb
1904+/* typ-533 %txt /tests/golden/types-union-import/types/txt
1905+/* mtre-533 %txt /tests/golden/types-union-import/module-trees/txt
1906+/* src-534 %jibb /tests/golden/types-union-local-pending/source/jibb
1907+/* tok-534 %txt /tests/golden/types-union-local-pending/tokens/txt
1908+/* tre-534 %txt /tests/golden/types-union-local-pending/tree/txt
1909+/* typ-534 %txt /tests/golden/types-union-local-pending/types/txt
1910+/* src-535 %jibb /tests/golden/types-union-overlap/source/jibb
1911+/* tok-535 %txt /tests/golden/types-union-overlap/tokens/txt
1912+/* tre-535 %txt /tests/golden/types-union-overlap/tree/txt
1913+/* typ-535 %txt /tests/golden/types-union-overlap/types/txt
1914+/* src-536 %jibb /tests/golden/types-union-overlap-nested/source/jibb
1915+/* tok-536 %txt /tests/golden/types-union-overlap-nested/tokens/txt
1916+/* tre-536 %txt /tests/golden/types-union-overlap-nested/tree/txt
1917+/* typ-536 %txt /tests/golden/types-union-overlap-nested/types/txt
1918+/* src-537 %jibb /tests/golden/types-union-pattern-result-context/source/jibb
1919+/* tok-537 %txt /tests/golden/types-union-pattern-result-context/tokens/txt
1920+/* tre-537 %txt /tests/golden/types-union-pattern-result-context/tree/txt
1921+/* typ-537 %txt /tests/golden/types-union-pattern-result-context/types/txt
1922+/* src-538 %jibb /tests/golden/types-union-pattern-result-controls/source/jibb
1923+/* tok-538 %txt /tests/golden/types-union-pattern-result-controls/tokens/txt
1924+/* tre-538 %txt /tests/golden/types-union-pattern-result-controls/tree/txt
1925+/* typ-538 %txt /tests/golden/types-union-pattern-result-controls/types/txt
1926+/* src-539 %jibb /tests/golden/types-union-patterns/source/jibb
1927+/* tok-539 %txt /tests/golden/types-union-patterns/tokens/txt
1928+/* tre-539 %txt /tests/golden/types-union-patterns/tree/txt
1929+/* typ-539 %txt /tests/golden/types-union-patterns/types/txt
1930+/* src-540 %jibb /tests/golden/types-union-patterns-generic/source/jibb
1931+/* tok-540 %txt /tests/golden/types-union-patterns-generic/tokens/txt
1932+/* tre-540 %txt /tests/golden/types-union-patterns-generic/tree/txt
1933+/* typ-540 %txt /tests/golden/types-union-patterns-generic/types/txt
1934+/* src-541 %jibb /tests/golden/types-union-patterns-import/source/jibb
1935+/* tok-541 %txt /tests/golden/types-union-patterns-import/tokens/txt
1936+/* tre-541 %txt /tests/golden/types-union-patterns-import/tree/txt
1937+/* mod-541-1 %jibb /tests/golden/types-union-patterns-import/modules/ui/lib/jibb
1938+/* typ-541 %txt /tests/golden/types-union-patterns-import/types/txt
1939+/* mtre-541 %txt /tests/golden/types-union-patterns-import/module-trees/txt
1940+/* src-542 %jibb /tests/golden/types-union-phantom-generic/source/jibb
1941+/* tok-542 %txt /tests/golden/types-union-phantom-generic/tokens/txt
1942+/* tre-542 %txt /tests/golden/types-union-phantom-generic/tree/txt
1943+/* typ-542 %txt /tests/golden/types-union-phantom-generic/types/txt
1944+/* src-543 %jibb /tests/golden/types-union-print-cross-namespace/source/jibb
1945+/* tok-543 %txt /tests/golden/types-union-print-cross-namespace/tokens/txt
1946+/* tre-543 %txt /tests/golden/types-union-print-cross-namespace/tree/txt
1947+/* mod-543-1 %jibb /tests/golden/types-union-print-cross-namespace/modules/ui/lib/jibb
1948+/* typ-543 %txt /tests/golden/types-union-print-cross-namespace/types/txt
1949+/* mtre-543 %txt /tests/golden/types-union-print-cross-namespace/module-trees/txt
1950+/* src-544 %jibb /tests/golden/types-union-print-distinct/source/jibb
1951+/* tok-544 %txt /tests/golden/types-union-print-distinct/tokens/txt
1952+/* tre-544 %txt /tests/golden/types-union-print-distinct/tree/txt
1953+/* mod-544-1 %jibb /tests/golden/types-union-print-distinct/modules/ui/left/jibb
1954+/* mod-544-2 %jibb /tests/golden/types-union-print-distinct/modules/ui/right/jibb
1955+/* mod-544-3 %jibb /tests/golden/types-union-print-distinct/modules/ui/twin/jibb
1956+/* typ-544 %txt /tests/golden/types-union-print-distinct/types/txt
1957+/* mtre-544 %txt /tests/golden/types-union-print-distinct/module-trees/txt
1958+/* src-545 %jibb /tests/golden/types-union-print-escape/source/jibb
1959+/* tok-545 %txt /tests/golden/types-union-print-escape/tokens/txt
1960+/* tre-545 %txt /tests/golden/types-union-print-escape/tree/txt
1961+/* typ-545 %txt /tests/golden/types-union-print-escape/types/txt
1962+/* src-546 %jibb /tests/golden/types-union-print-local/source/jibb
1963+/* tok-546 %txt /tests/golden/types-union-print-local/tokens/txt
1964+/* tre-546 %txt /tests/golden/types-union-print-local/tree/txt
1965+/* typ-546 %txt /tests/golden/types-union-print-local/types/txt
1966+/* src-547 %jibb /tests/golden/types-union-print-nested/source/jibb
1967+/* tok-547 %txt /tests/golden/types-union-print-nested/tokens/txt
1968+/* tre-547 %txt /tests/golden/types-union-print-nested/tree/txt
1969+/* typ-547 %txt /tests/golden/types-union-print-nested/types/txt
1970+/* src-548 %jibb /tests/golden/types-union-print-same-origin/source/jibb
1971+/* tok-548 %txt /tests/golden/types-union-print-same-origin/tokens/txt
1972+/* tre-548 %txt /tests/golden/types-union-print-same-origin/tree/txt
1973+/* mod-548-1 %jibb /tests/golden/types-union-print-same-origin/modules/ui/shared/jibb
1974+/* typ-548 %txt /tests/golden/types-union-print-same-origin/types/txt
1975+/* mtre-548 %txt /tests/golden/types-union-print-same-origin/module-trees/txt
1976+/* src-549 %jibb /tests/golden/types-union-print-transitive/source/jibb
1977+/* tok-549 %txt /tests/golden/types-union-print-transitive/tokens/txt
1978+/* tre-549 %txt /tests/golden/types-union-print-transitive/tree/txt
1979+/* mod-549-1 %jibb /tests/golden/types-union-print-transitive/modules/ui/mid/jibb
1980+/* mod-549-2 %jibb /tests/golden/types-union-print-transitive/modules/ui/base/jibb
1981+/* typ-549 %txt /tests/golden/types-union-print-transitive/types/txt
1982+/* mtre-549 %txt /tests/golden/types-union-print-transitive/module-trees/txt
1983+/* src-550 %jibb /tests/golden/types-union-singleton/source/jibb
1984+/* tok-550 %txt /tests/golden/types-union-singleton/tokens/txt
1985+/* tre-550 %txt /tests/golden/types-union-singleton/tree/txt
1986+/* typ-550 %txt /tests/golden/types-union-singleton/types/txt
1987+/* src-551 %jibb /tests/golden/types-union-tag-atoms/source/jibb
1988+/* tok-551 %txt /tests/golden/types-union-tag-atoms/tokens/txt
1989+/* tre-551 %txt /tests/golden/types-union-tag-atoms/tree/txt
1990+/* typ-551 %txt /tests/golden/types-union-tag-atoms/types/txt
1991+/* src-552 %jibb /tests/golden/types-union-tags/source/jibb
1992+/* tok-552 %txt /tests/golden/types-union-tags/tokens/txt
1993+/* tre-552 %txt /tests/golden/types-union-tags/tree/txt
1994+/* typ-552 %txt /tests/golden/types-union-tags/types/txt
1995+/* src-553 %jibb /tests/golden/types-union-unresolved/source/jibb
1996+/* tok-553 %txt /tests/golden/types-union-unresolved/tokens/txt
1997+/* tre-553 %txt /tests/golden/types-union-unresolved/tree/txt
1998+/* typ-553 %txt /tests/golden/types-union-unresolved/types/txt
1999+/* src-554 %jibb /tests/golden/types-union-unresolved-flow/source/jibb
2000+/* tok-554 %txt /tests/golden/types-union-unresolved-flow/tokens/txt
2001+/* tre-554 %txt /tests/golden/types-union-unresolved-flow/tree/txt
2002+/* typ-554 %txt /tests/golden/types-union-unresolved-flow/types/txt
2003+/* src-555 %jibb /tests/golden/types-unit-construction/source/jibb
2004+/* tok-555 %txt /tests/golden/types-unit-construction/tokens/txt
2005+/* tre-555 %txt /tests/golden/types-unit-construction/tree/txt
2006+/* typ-555 %txt /tests/golden/types-unit-construction/types/txt
2007+/* src-556 %jibb /tests/golden/types-unit-context/source/jibb
2008+/* tok-556 %txt /tests/golden/types-unit-context/tokens/txt
2009+/* tre-556 %txt /tests/golden/types-unit-context/tree/txt
2010+/* typ-556 %txt /tests/golden/types-unit-context/types/txt
2011+/* src-557 %jibb /tests/golden/types-unit-patterns/source/jibb
2012+/* tok-557 %txt /tests/golden/types-unit-patterns/tokens/txt
2013+/* tre-557 %txt /tests/golden/types-unit-patterns/tree/txt
2014+/* typ-557 %txt /tests/golden/types-unit-patterns/types/txt
20112015=/ prepared-prelude (prepare-prelude-with-internal:jibb prelude-source internal-source)
20122016|%
20132017:: one arm per case
@@ -3002,128 +3006,130 @@
30023006 (weld (weld (check ~.types-prelude-interface src-494 `tok-494 `tre-494) (check-module-types ~.types-prelude-interface ~[%tests %golden ~.types-prelude-interface %source %jibb] src-494 `typ-494 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-494-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-494-2]])) (check-module-trees ~.types-prelude-interface `mtre-494 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-494-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-494-2]]))
30033007++ test-types-prelude-list-functions
30043008 (weld (weld (check ~.types-prelude-list-functions src-495 `tok-495 `tre-495) (check-module-types ~.types-prelude-list-functions ~[%tests %golden ~.types-prelude-list-functions %source %jibb] src-495 `typ-495 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-495-1]])) (check-module-trees ~.types-prelude-list-functions `mtre-495 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-495-1]]))
3009+++ test-types-prelude-list-helpers
3010+ (weld (check ~.types-prelude-list-helpers src-496 `tok-496 `tre-496) (check-module-types ~.types-prelude-list-helpers ~[%tests %golden ~.types-prelude-list-helpers %source %jibb] src-496 `typ-496 ~ ~ ~))
30053011++ test-types-prelude-unit-helpers
3006− (weld (check ~.types-prelude-unit-helpers src-496 `tok-496 `tre-496) (check-module-types ~.types-prelude-unit-helpers ~[%tests %golden ~.types-prelude-unit-helpers %source %jibb] src-496 `typ-496 ~ ~ ~))
3012+ (weld (check ~.types-prelude-unit-helpers src-497 `tok-497 `tre-497) (check-module-types ~.types-prelude-unit-helpers ~[%tests %golden ~.types-prelude-unit-helpers %source %jibb] src-497 `typ-497 ~ ~ ~))
30073013++ test-types-record-bound-variable
3008− (weld (check ~.types-record-bound-variable src-497 `tok-497 `tre-497) (check-types ~.types-record-bound-variable ~[%tests %golden ~.types-record-bound-variable %source %jibb] src-497 `typ-497))
3014+ (weld (check ~.types-record-bound-variable src-498 `tok-498 `tre-498) (check-types ~.types-record-bound-variable ~[%tests %golden ~.types-record-bound-variable %source %jibb] src-498 `typ-498))
30093015++ test-types-record-cast-context
3010− (weld (check ~.types-record-cast-context src-498 `tok-498 `tre-498) (check-module-types ~.types-record-cast-context ~[%tests %golden ~.types-record-cast-context %source %jibb] src-498 `typ-498 ~ ~ ~))
3016+ (weld (check ~.types-record-cast-context src-499 `tok-499 `tre-499) (check-module-types ~.types-record-cast-context ~[%tests %golden ~.types-record-cast-context %source %jibb] src-499 `typ-499 ~ ~ ~))
30113017++ test-types-record-change
3012− (weld (check ~.types-record-change src-499 `tok-499 `tre-499) (check-module-types ~.types-record-change ~[%tests %golden ~.types-record-change %source %jibb] src-499 `typ-499 ~ ~ ~))
3018+ (weld (check ~.types-record-change src-500 `tok-500 `tre-500) (check-module-types ~.types-record-change ~[%tests %golden ~.types-record-change %source %jibb] src-500 `typ-500 ~ ~ ~))
30133019++ test-types-record-change-generic
3014− (weld (check ~.types-record-change-generic src-500 `tok-500 `tre-500) (check-module-types ~.types-record-change-generic ~[%tests %golden ~.types-record-change-generic %source %jibb] src-500 `typ-500 ~ ~ ~))
3020+ (weld (check ~.types-record-change-generic src-501 `tok-501 `tre-501) (check-module-types ~.types-record-change-generic ~[%tests %golden ~.types-record-change-generic %source %jibb] src-501 `typ-501 ~ ~ ~))
30153021++ test-types-record-faces
3016− (weld (check ~.types-record-faces src-501 `tok-501 `tre-501) (check-types ~.types-record-faces ~[%tests %golden ~.types-record-faces %source %jibb] src-501 `typ-501))
3022+ (weld (check ~.types-record-faces src-502 `tok-502 `tre-502) (check-types ~.types-record-faces ~[%tests %golden ~.types-record-faces %source %jibb] src-502 `typ-502))
30173023++ test-types-record-import
3018− (weld (weld (check ~.types-record-import src-502 `tok-502 `tre-502) (check-module-types ~.types-record-import ~[%tests %golden ~.types-record-import %source %jibb] src-502 `typ-502 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-502-1]])) (check-module-trees ~.types-record-import `mtre-502 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-502-1]]))
3024+ (weld (weld (check ~.types-record-import src-503 `tok-503 `tre-503) (check-module-types ~.types-record-import ~[%tests %golden ~.types-record-import %source %jibb] src-503 `typ-503 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-503-1]])) (check-module-trees ~.types-record-import `mtre-503 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-503-1]]))
30193025++ test-types-record-local-scheme
3020− (weld (check ~.types-record-local-scheme src-503 `tok-503 `tre-503) (check-types ~.types-record-local-scheme ~[%tests %golden ~.types-record-local-scheme %source %jibb] src-503 `typ-503))
3026+ (weld (check ~.types-record-local-scheme src-504 `tok-504 `tre-504) (check-types ~.types-record-local-scheme ~[%tests %golden ~.types-record-local-scheme %source %jibb] src-504 `typ-504))
30213027++ test-types-record-nested
3022− (weld (check ~.types-record-nested src-504 `tok-504 `tre-504) (check-types ~.types-record-nested ~[%tests %golden ~.types-record-nested %source %jibb] src-504 `typ-504))
3028+ (weld (check ~.types-record-nested src-505 `tok-505 `tre-505) (check-types ~.types-record-nested ~[%tests %golden ~.types-record-nested %source %jibb] src-505 `typ-505))
30233029++ test-types-record-to-tuple
3024− (weld (check ~.types-record-to-tuple src-505 `tok-505 `tre-505) (check-types ~.types-record-to-tuple ~[%tests %golden ~.types-record-to-tuple %source %jibb] src-505 `typ-505))
3030+ (weld (check ~.types-record-to-tuple src-506 `tok-506 `tre-506) (check-types ~.types-record-to-tuple ~[%tests %golden ~.types-record-to-tuple %source %jibb] src-506 `typ-506))
30253031++ test-types-recursion-scc-failures
3026− (weld (check ~.types-recursion-scc-failures src-506 `tok-506 `tre-506) (check-module-types ~.types-recursion-scc-failures ~[%tests %golden ~.types-recursion-scc-failures %source %jibb] src-506 `typ-506 ~ ~ ~))
3032+ (weld (check ~.types-recursion-scc-failures src-507 `tok-507 `tre-507) (check-module-types ~.types-recursion-scc-failures ~[%tests %golden ~.types-recursion-scc-failures %source %jibb] src-507 `typ-507 ~ ~ ~))
30273033++ test-types-recursion-scc-groups
3028− (weld (check ~.types-recursion-scc-groups src-507 `tok-507 `tre-507) (check-module-types ~.types-recursion-scc-groups ~[%tests %golden ~.types-recursion-scc-groups %source %jibb] src-507 `typ-507 ~ ~ ~))
3034+ (weld (check ~.types-recursion-scc-groups src-508 `tok-508 `tre-508) (check-module-types ~.types-recursion-scc-groups ~[%tests %golden ~.types-recursion-scc-groups %source %jibb] src-508 `typ-508 ~ ~ ~))
30293035++ test-types-recursion-scc-import
3030− (weld (weld (check ~.types-recursion-scc-import src-508 `tok-508 `tre-508) (check-module-types ~.types-recursion-scc-import ~[%tests %golden ~.types-recursion-scc-import %source %jibb] src-508 `typ-508 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-508-1]])) (check-module-trees ~.types-recursion-scc-import `mtre-508 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-508-1]]))
3036+ (weld (weld (check ~.types-recursion-scc-import src-509 `tok-509 `tre-509) (check-module-types ~.types-recursion-scc-import ~[%tests %golden ~.types-recursion-scc-import %source %jibb] src-509 `typ-509 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-509-1]])) (check-module-trees ~.types-recursion-scc-import `mtre-509 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-509-1]]))
30313037++ test-types-recursion-scc-import-bad
3032− (weld (weld (check ~.types-recursion-scc-import-bad src-509 `tok-509 `tre-509) (check-module-types ~.types-recursion-scc-import-bad ~[%tests %golden ~.types-recursion-scc-import-bad %source %jibb] src-509 `typ-509 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-509-1]])) (check-module-trees ~.types-recursion-scc-import-bad `mtre-509 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-509-1]]))
3038+ (weld (weld (check ~.types-recursion-scc-import-bad src-510 `tok-510 `tre-510) (check-module-types ~.types-recursion-scc-import-bad ~[%tests %golden ~.types-recursion-scc-import-bad %source %jibb] src-510 `typ-510 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-510-1]])) (check-module-trees ~.types-recursion-scc-import-bad `mtre-510 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-510-1]]))
30333039++ test-types-recursion-scc-local
3034− (weld (check ~.types-recursion-scc-local src-510 `tok-510 `tre-510) (check-module-types ~.types-recursion-scc-local ~[%tests %golden ~.types-recursion-scc-local %source %jibb] src-510 `typ-510 ~ ~ ~))
3040+ (weld (check ~.types-recursion-scc-local src-511 `tok-511 `tre-511) (check-module-types ~.types-recursion-scc-local ~[%tests %golden ~.types-recursion-scc-local %source %jibb] src-511 `typ-511 ~ ~ ~))
30353041++ test-types-recursion-scc-order
3036− (weld (check ~.types-recursion-scc-order src-511 `tok-511 `tre-511) (check-module-types ~.types-recursion-scc-order ~[%tests %golden ~.types-recursion-scc-order %source %jibb] src-511 `typ-511 ~ ~ ~))
3042+ (weld (check ~.types-recursion-scc-order src-512 `tok-512 `tre-512) (check-module-types ~.types-recursion-scc-order ~[%tests %golden ~.types-recursion-scc-order %source %jibb] src-512 `typ-512 ~ ~ ~))
30373043++ test-types-recursion-scc-shadow
3038− (weld (check ~.types-recursion-scc-shadow src-512 `tok-512 `tre-512) (check-module-types ~.types-recursion-scc-shadow ~[%tests %golden ~.types-recursion-scc-shadow %source %jibb] src-512 `typ-512 ~ ~ ~))
3044+ (weld (check ~.types-recursion-scc-shadow src-513 `tok-513 `tre-513) (check-module-types ~.types-recursion-scc-shadow ~[%tests %golden ~.types-recursion-scc-shadow %source %jibb] src-513 `typ-513 ~ ~ ~))
30393045++ test-types-recursive-branch
3040− (weld (check ~.types-recursive-branch src-513 `tok-513 `tre-513) (check-module-types ~.types-recursive-branch ~[%tests %golden ~.types-recursive-branch %source %jibb] src-513 `typ-513 ~ ~ ~))
3046+ (weld (check ~.types-recursive-branch src-514 `tok-514 `tre-514) (check-module-types ~.types-recursive-branch ~[%tests %golden ~.types-recursive-branch %source %jibb] src-514 `typ-514 ~ ~ ~))
30413047++ test-types-recursive-gate
3042− (weld (check ~.types-recursive-gate src-514 `tok-514 `tre-514) (check-types ~.types-recursive-gate ~[%tests %golden ~.types-recursive-gate %source %jibb] src-514 `typ-514))
3048+ (weld (check ~.types-recursive-gate src-515 `tok-515 `tre-515) (check-types ~.types-recursive-gate ~[%tests %golden ~.types-recursive-gate %source %jibb] src-515 `typ-515))
30433049++ test-types-recursive-sample
3044− (weld (check ~.types-recursive-sample src-515 `tok-515 `tre-515) (check-types ~.types-recursive-sample ~[%tests %golden ~.types-recursive-sample %source %jibb] src-515 `typ-515))
3050+ (weld (check ~.types-recursive-sample src-516 `tok-516 `tre-516) (check-types ~.types-recursive-sample ~[%tests %golden ~.types-recursive-sample %source %jibb] src-516 `typ-516))
30453051++ test-types-scope-library-poke
3046− (weld (check-at ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-516 `tok-516 `tre-516) (check-module-types ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-516 `typ-516 ~ ~ ~))
3052+ (weld (check-at ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-517 `tok-517 `tre-517) (check-module-types ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-517 `typ-517 ~ ~ ~))
30473053++ test-types-scope-root-api
3048− (weld (check-at ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-517 `tok-517 `tre-517) (check-module-types ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-517 `typ-517 ~ ~ ~))
3054+ (weld (check-at ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-518 `tok-518 `tre-518) (check-module-types ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-518 `typ-518 ~ ~ ~))
30493055++ test-types-scope-store-duplicate
3050− (weld (check-at ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-518 `tok-518 `tre-518) (check-module-types ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-518 `typ-518 ~ ~ ~))
3056+ (weld (check-at ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-519 `tok-519 `tre-519) (check-module-types ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-519 `typ-519 ~ ~ ~))
30513057++ test-types-scope-store-shadow
3052− (weld (check-at ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-519 `tok-519 `tre-519) (check-module-types ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-519 `typ-519 ~ ~ ~))
3058+ (weld (check-at ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-520 `tok-520 `tre-520) (check-module-types ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-520 `typ-520 ~ ~ ~))
30533059++ test-types-string-interpolation
3054− (weld (check ~.types-string-interpolation src-520 `tok-520 `tre-520) (check-module-types ~.types-string-interpolation ~[%tests %golden ~.types-string-interpolation %source %jibb] src-520 `typ-520 ~ ~ ~))
3060+ (weld (check ~.types-string-interpolation src-521 `tok-521 `tre-521) (check-module-types ~.types-string-interpolation ~[%tests %golden ~.types-string-interpolation %source %jibb] src-521 `typ-521 ~ ~ ~))
30553061++ test-types-tuple-context
3056− (weld (check ~.types-tuple-context src-521 `tok-521 `tre-521) (check-module-types ~.types-tuple-context ~[%tests %golden ~.types-tuple-context %source %jibb] src-521 `typ-521 ~ ~ ~))
3062+ (weld (check ~.types-tuple-context src-522 `tok-522 `tre-522) (check-module-types ~.types-tuple-context ~[%tests %golden ~.types-tuple-context %source %jibb] src-522 `typ-522 ~ ~ ~))
30573063++ test-types-tuple-context-nested
3058− (weld (check ~.types-tuple-context-nested src-522 `tok-522 `tre-522) (check-module-types ~.types-tuple-context-nested ~[%tests %golden ~.types-tuple-context-nested %source %jibb] src-522 `typ-522 ~ ~ ~))
3064+ (weld (check ~.types-tuple-context-nested src-523 `tok-523 `tre-523) (check-module-types ~.types-tuple-context-nested ~[%tests %golden ~.types-tuple-context-nested %source %jibb] src-523 `typ-523 ~ ~ ~))
30593065++ test-types-union-alias
3060− (weld (check ~.types-union-alias src-523 `tok-523 `tre-523) (check-types ~.types-union-alias ~[%tests %golden ~.types-union-alias %source %jibb] src-523 `typ-523))
3066+ (weld (check ~.types-union-alias src-524 `tok-524 `tre-524) (check-types ~.types-union-alias ~[%tests %golden ~.types-union-alias %source %jibb] src-524 `typ-524))
30613067++ test-types-union-branch-context
3062− (weld (check ~.types-union-branch-context src-524 `tok-524 `tre-524) (check-types ~.types-union-branch-context ~[%tests %golden ~.types-union-branch-context %source %jibb] src-524 `typ-524))
3068+ (weld (check ~.types-union-branch-context src-525 `tok-525 `tre-525) (check-types ~.types-union-branch-context ~[%tests %golden ~.types-union-branch-context %source %jibb] src-525 `typ-525))
30633069++ test-types-union-branch-pending
3064− (weld (check ~.types-union-branch-pending src-525 `tok-525 `tre-525) (check-types ~.types-union-branch-pending ~[%tests %golden ~.types-union-branch-pending %source %jibb] src-525 `typ-525))
3070+ (weld (check ~.types-union-branch-pending src-526 `tok-526 `tre-526) (check-types ~.types-union-branch-pending ~[%tests %golden ~.types-union-branch-pending %source %jibb] src-526 `typ-526))
30653071++ test-types-union-constructor-shape
3066− (weld (check ~.types-union-constructor-shape src-526 `tok-526 `tre-526) (check-types ~.types-union-constructor-shape ~[%tests %golden ~.types-union-constructor-shape %source %jibb] src-526 `typ-526))
3072+ (weld (check ~.types-union-constructor-shape src-527 `tok-527 `tre-527) (check-types ~.types-union-constructor-shape ~[%tests %golden ~.types-union-constructor-shape %source %jibb] src-527 `typ-527))
30673073++ test-types-union-context-flow
3068− (weld (check ~.types-union-context-flow src-527 `tok-527 `tre-527) (check-types ~.types-union-context-flow ~[%tests %golden ~.types-union-context-flow %source %jibb] src-527 `typ-527))
3074+ (weld (check ~.types-union-context-flow src-528 `tok-528 `tre-528) (check-types ~.types-union-context-flow ~[%tests %golden ~.types-union-context-flow %source %jibb] src-528 `typ-528))
30693075++ test-types-union-finite
3070− (weld (check ~.types-union-finite src-528 `tok-528 `tre-528) (check-module-types ~.types-union-finite ~[%tests %golden ~.types-union-finite %source %jibb] src-528 `typ-528 ~ ~ ~))
3076+ (weld (check ~.types-union-finite src-529 `tok-529 `tre-529) (check-module-types ~.types-union-finite ~[%tests %golden ~.types-union-finite %source %jibb] src-529 `typ-529 ~ ~ ~))
30713077++ test-types-union-finite-context
3072− (weld (check ~.types-union-finite-context src-529 `tok-529 `tre-529) (check-module-types ~.types-union-finite-context ~[%tests %golden ~.types-union-finite-context %source %jibb] src-529 `typ-529 ~ ~ ~))
3078+ (weld (check ~.types-union-finite-context src-530 `tok-530 `tre-530) (check-module-types ~.types-union-finite-context ~[%tests %golden ~.types-union-finite-context %source %jibb] src-530 `typ-530 ~ ~ ~))
30733079++ test-types-union-finite-generic
3074− (weld (check ~.types-union-finite-generic src-530 `tok-530 `tre-530) (check-module-types ~.types-union-finite-generic ~[%tests %golden ~.types-union-finite-generic %source %jibb] src-530 `typ-530 ~ ~ ~))
3080+ (weld (check ~.types-union-finite-generic src-531 `tok-531 `tre-531) (check-module-types ~.types-union-finite-generic ~[%tests %golden ~.types-union-finite-generic %source %jibb] src-531 `typ-531 ~ ~ ~))
30753081++ test-types-union-finite-limit
3076− (weld (check ~.types-union-finite-limit src-531 `tok-531 `tre-531) (check-module-types ~.types-union-finite-limit ~[%tests %golden ~.types-union-finite-limit %source %jibb] src-531 `typ-531 ~ ~ ~))
3082+ (weld (check ~.types-union-finite-limit src-532 `tok-532 `tre-532) (check-module-types ~.types-union-finite-limit ~[%tests %golden ~.types-union-finite-limit %source %jibb] src-532 `typ-532 ~ ~ ~))
30773083++ test-types-union-import
3078− (weld (weld (check ~.types-union-import src-532 `tok-532 `tre-532) (check-module-types ~.types-union-import ~[%tests %golden ~.types-union-import %source %jibb] src-532 `typ-532 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-532-1]])) (check-module-trees ~.types-union-import `mtre-532 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-532-1]]))
3084+ (weld (weld (check ~.types-union-import src-533 `tok-533 `tre-533) (check-module-types ~.types-union-import ~[%tests %golden ~.types-union-import %source %jibb] src-533 `typ-533 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-533-1]])) (check-module-trees ~.types-union-import `mtre-533 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-533-1]]))
30793085++ test-types-union-local-pending
3080− (weld (check ~.types-union-local-pending src-533 `tok-533 `tre-533) (check-types ~.types-union-local-pending ~[%tests %golden ~.types-union-local-pending %source %jibb] src-533 `typ-533))
3086+ (weld (check ~.types-union-local-pending src-534 `tok-534 `tre-534) (check-types ~.types-union-local-pending ~[%tests %golden ~.types-union-local-pending %source %jibb] src-534 `typ-534))
30813087++ test-types-union-overlap
3082− (weld (check ~.types-union-overlap src-534 `tok-534 `tre-534) (check-types ~.types-union-overlap ~[%tests %golden ~.types-union-overlap %source %jibb] src-534 `typ-534))
3088+ (weld (check ~.types-union-overlap src-535 `tok-535 `tre-535) (check-types ~.types-union-overlap ~[%tests %golden ~.types-union-overlap %source %jibb] src-535 `typ-535))
30833089++ test-types-union-overlap-nested
3084− (weld (check ~.types-union-overlap-nested src-535 `tok-535 `tre-535) (check-types ~.types-union-overlap-nested ~[%tests %golden ~.types-union-overlap-nested %source %jibb] src-535 `typ-535))
3090+ (weld (check ~.types-union-overlap-nested src-536 `tok-536 `tre-536) (check-types ~.types-union-overlap-nested ~[%tests %golden ~.types-union-overlap-nested %source %jibb] src-536 `typ-536))
30853091++ test-types-union-pattern-result-context
3086− (weld (check ~.types-union-pattern-result-context src-536 `tok-536 `tre-536) (check-module-types ~.types-union-pattern-result-context ~[%tests %golden ~.types-union-pattern-result-context %source %jibb] src-536 `typ-536 ~ ~ ~))
3092+ (weld (check ~.types-union-pattern-result-context src-537 `tok-537 `tre-537) (check-module-types ~.types-union-pattern-result-context ~[%tests %golden ~.types-union-pattern-result-context %source %jibb] src-537 `typ-537 ~ ~ ~))
30873093++ test-types-union-pattern-result-controls
3088− (weld (check ~.types-union-pattern-result-controls src-537 `tok-537 `tre-537) (check-module-types ~.types-union-pattern-result-controls ~[%tests %golden ~.types-union-pattern-result-controls %source %jibb] src-537 `typ-537 ~ ~ ~))
3094+ (weld (check ~.types-union-pattern-result-controls src-538 `tok-538 `tre-538) (check-module-types ~.types-union-pattern-result-controls ~[%tests %golden ~.types-union-pattern-result-controls %source %jibb] src-538 `typ-538 ~ ~ ~))
30893095++ test-types-union-patterns
3090− (weld (check ~.types-union-patterns src-538 `tok-538 `tre-538) (check-module-types ~.types-union-patterns ~[%tests %golden ~.types-union-patterns %source %jibb] src-538 `typ-538 ~ ~ ~))
3096+ (weld (check ~.types-union-patterns src-539 `tok-539 `tre-539) (check-module-types ~.types-union-patterns ~[%tests %golden ~.types-union-patterns %source %jibb] src-539 `typ-539 ~ ~ ~))
30913097++ test-types-union-patterns-generic
3092− (weld (check ~.types-union-patterns-generic src-539 `tok-539 `tre-539) (check-module-types ~.types-union-patterns-generic ~[%tests %golden ~.types-union-patterns-generic %source %jibb] src-539 `typ-539 ~ ~ ~))
3098+ (weld (check ~.types-union-patterns-generic src-540 `tok-540 `tre-540) (check-module-types ~.types-union-patterns-generic ~[%tests %golden ~.types-union-patterns-generic %source %jibb] src-540 `typ-540 ~ ~ ~))
30933099++ test-types-union-patterns-import
3094− (weld (weld (check ~.types-union-patterns-import src-540 `tok-540 `tre-540) (check-module-types ~.types-union-patterns-import ~[%tests %golden ~.types-union-patterns-import %source %jibb] src-540 `typ-540 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-540-1]])) (check-module-trees ~.types-union-patterns-import `mtre-540 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-540-1]]))
3100+ (weld (weld (check ~.types-union-patterns-import src-541 `tok-541 `tre-541) (check-module-types ~.types-union-patterns-import ~[%tests %golden ~.types-union-patterns-import %source %jibb] src-541 `typ-541 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-541-1]])) (check-module-trees ~.types-union-patterns-import `mtre-541 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-541-1]]))
30953101++ test-types-union-phantom-generic
3096− (weld (check ~.types-union-phantom-generic src-541 `tok-541 `tre-541) (check-types ~.types-union-phantom-generic ~[%tests %golden ~.types-union-phantom-generic %source %jibb] src-541 `typ-541))
3102+ (weld (check ~.types-union-phantom-generic src-542 `tok-542 `tre-542) (check-types ~.types-union-phantom-generic ~[%tests %golden ~.types-union-phantom-generic %source %jibb] src-542 `typ-542))
30973103++ test-types-union-print-cross-namespace
3098− (weld (weld (check ~.types-union-print-cross-namespace src-542 `tok-542 `tre-542) (check-module-types ~.types-union-print-cross-namespace ~[%tests %golden ~.types-union-print-cross-namespace %source %jibb] src-542 `typ-542 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-542-1]])) (check-module-trees ~.types-union-print-cross-namespace `mtre-542 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-542-1]]))
3104+ (weld (weld (check ~.types-union-print-cross-namespace src-543 `tok-543 `tre-543) (check-module-types ~.types-union-print-cross-namespace ~[%tests %golden ~.types-union-print-cross-namespace %source %jibb] src-543 `typ-543 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-543-1]])) (check-module-trees ~.types-union-print-cross-namespace `mtre-543 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-543-1]]))
30993105++ test-types-union-print-distinct
3100− (weld (weld (check ~.types-union-print-distinct src-543 `tok-543 `tre-543) (check-module-types ~.types-union-print-distinct ~[%tests %golden ~.types-union-print-distinct %source %jibb] src-543 `typ-543 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-543-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-543-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-543-3]])) (check-module-trees ~.types-union-print-distinct `mtre-543 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-543-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-543-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-543-3]]))
3106+ (weld (weld (check ~.types-union-print-distinct src-544 `tok-544 `tre-544) (check-module-types ~.types-union-print-distinct ~[%tests %golden ~.types-union-print-distinct %source %jibb] src-544 `typ-544 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-544-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-544-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-544-3]])) (check-module-trees ~.types-union-print-distinct `mtre-544 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-544-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-544-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-544-3]]))
31013107++ test-types-union-print-escape
3102− (weld (check ~.types-union-print-escape src-544 `tok-544 `tre-544) (check-types ~.types-union-print-escape ~[%tests %golden ~.types-union-print-escape %source %jibb] src-544 `typ-544))
3108+ (weld (check ~.types-union-print-escape src-545 `tok-545 `tre-545) (check-types ~.types-union-print-escape ~[%tests %golden ~.types-union-print-escape %source %jibb] src-545 `typ-545))
31033109++ test-types-union-print-local
3104− (weld (check ~.types-union-print-local src-545 `tok-545 `tre-545) (check-types ~.types-union-print-local ~[%tests %golden ~.types-union-print-local %source %jibb] src-545 `typ-545))
3110+ (weld (check ~.types-union-print-local src-546 `tok-546 `tre-546) (check-types ~.types-union-print-local ~[%tests %golden ~.types-union-print-local %source %jibb] src-546 `typ-546))
31053111++ test-types-union-print-nested
3106− (weld (check ~.types-union-print-nested src-546 `tok-546 `tre-546) (check-types ~.types-union-print-nested ~[%tests %golden ~.types-union-print-nested %source %jibb] src-546 `typ-546))
3112+ (weld (check ~.types-union-print-nested src-547 `tok-547 `tre-547) (check-types ~.types-union-print-nested ~[%tests %golden ~.types-union-print-nested %source %jibb] src-547 `typ-547))
31073113++ test-types-union-print-same-origin
3108− (weld (weld (check ~.types-union-print-same-origin src-547 `tok-547 `tre-547) (check-module-types ~.types-union-print-same-origin ~[%tests %golden ~.types-union-print-same-origin %source %jibb] src-547 `typ-547 ~ ~ ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-547-1]])) (check-module-trees ~.types-union-print-same-origin `mtre-547 ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-547-1]]))
3114+ (weld (weld (check ~.types-union-print-same-origin src-548 `tok-548 `tre-548) (check-module-types ~.types-union-print-same-origin ~[%tests %golden ~.types-union-print-same-origin %source %jibb] src-548 `typ-548 ~ ~ ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-548-1]])) (check-module-trees ~.types-union-print-same-origin `mtre-548 ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-548-1]]))
31093115++ test-types-union-print-transitive
3110− (weld (weld (check ~.types-union-print-transitive src-548 `tok-548 `tre-548) (check-module-types ~.types-union-print-transitive ~[%tests %golden ~.types-union-print-transitive %source %jibb] src-548 `typ-548 ~ ~ ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-548-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-548-2]])) (check-module-trees ~.types-union-print-transitive `mtre-548 ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-548-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-548-2]]))
3116+ (weld (weld (check ~.types-union-print-transitive src-549 `tok-549 `tre-549) (check-module-types ~.types-union-print-transitive ~[%tests %golden ~.types-union-print-transitive %source %jibb] src-549 `typ-549 ~ ~ ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-549-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-549-2]])) (check-module-trees ~.types-union-print-transitive `mtre-549 ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-549-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-549-2]]))
31113117++ test-types-union-singleton
3112− (weld (check ~.types-union-singleton src-549 `tok-549 `tre-549) (check-types ~.types-union-singleton ~[%tests %golden ~.types-union-singleton %source %jibb] src-549 `typ-549))
3118+ (weld (check ~.types-union-singleton src-550 `tok-550 `tre-550) (check-types ~.types-union-singleton ~[%tests %golden ~.types-union-singleton %source %jibb] src-550 `typ-550))
31133119++ test-types-union-tag-atoms
3114− (weld (check ~.types-union-tag-atoms src-550 `tok-550 `tre-550) (check-types ~.types-union-tag-atoms ~[%tests %golden ~.types-union-tag-atoms %source %jibb] src-550 `typ-550))
3120+ (weld (check ~.types-union-tag-atoms src-551 `tok-551 `tre-551) (check-types ~.types-union-tag-atoms ~[%tests %golden ~.types-union-tag-atoms %source %jibb] src-551 `typ-551))
31153121++ test-types-union-tags
3116− (weld (check ~.types-union-tags src-551 `tok-551 `tre-551) (check-types ~.types-union-tags ~[%tests %golden ~.types-union-tags %source %jibb] src-551 `typ-551))
3122+ (weld (check ~.types-union-tags src-552 `tok-552 `tre-552) (check-types ~.types-union-tags ~[%tests %golden ~.types-union-tags %source %jibb] src-552 `typ-552))
31173123++ test-types-union-unresolved
3118− (weld (check ~.types-union-unresolved src-552 `tok-552 `tre-552) (check-types ~.types-union-unresolved ~[%tests %golden ~.types-union-unresolved %source %jibb] src-552 `typ-552))
3124+ (weld (check ~.types-union-unresolved src-553 `tok-553 `tre-553) (check-types ~.types-union-unresolved ~[%tests %golden ~.types-union-unresolved %source %jibb] src-553 `typ-553))
31193125++ test-types-union-unresolved-flow
3120− (weld (check ~.types-union-unresolved-flow src-553 `tok-553 `tre-553) (check-types ~.types-union-unresolved-flow ~[%tests %golden ~.types-union-unresolved-flow %source %jibb] src-553 `typ-553))
3126+ (weld (check ~.types-union-unresolved-flow src-554 `tok-554 `tre-554) (check-types ~.types-union-unresolved-flow ~[%tests %golden ~.types-union-unresolved-flow %source %jibb] src-554 `typ-554))
31213127++ test-types-unit-construction
3122− (weld (check ~.types-unit-construction src-554 `tok-554 `tre-554) (check-module-types ~.types-unit-construction ~[%tests %golden ~.types-unit-construction %source %jibb] src-554 `typ-554 ~ ~ ~))
3128+ (weld (check ~.types-unit-construction src-555 `tok-555 `tre-555) (check-module-types ~.types-unit-construction ~[%tests %golden ~.types-unit-construction %source %jibb] src-555 `typ-555 ~ ~ ~))
31233129++ test-types-unit-context
3124− (weld (check ~.types-unit-context src-555 `tok-555 `tre-555) (check-module-types ~.types-unit-context ~[%tests %golden ~.types-unit-context %source %jibb] src-555 `typ-555 ~ ~ ~))
3130+ (weld (check ~.types-unit-context src-556 `tok-556 `tre-556) (check-module-types ~.types-unit-context ~[%tests %golden ~.types-unit-context %source %jibb] src-556 `typ-556 ~ ~ ~))
31253131++ test-types-unit-patterns
3126− (weld (check ~.types-unit-patterns src-556 `tok-556 `tre-556) (check-types ~.types-unit-patterns ~[%tests %golden ~.types-unit-patterns %source %jibb] src-556 `typ-556))
3132+ (weld (check ~.types-unit-patterns src-557 `tok-557 `tre-557) (check-types ~.types-unit-patterns ~[%tests %golden ~.types-unit-patterns %source %jibb] src-557 `typ-557))
31273133::
31283134:: +check: run golden:jibb on a case and compare both outputs
31293135::