@@ -1660,153 +1660,159 @@
1660/* mod-478-2 %jibb /tests/golden/types-prelude-interface/modules/ui/right/jibb
1660/* mod-478-2 %jibb /tests/golden/types-prelude-interface/modules/ui/right/jibb
1661/* typ-478 %txt /tests/golden/types-prelude-interface/types/txt
1661/* typ-478 %txt /tests/golden/types-prelude-interface/types/txt
1662/* mtre-478 %txt /tests/golden/types-prelude-interface/module-trees/txt
1662/* mtre-478 %txt /tests/golden/types-prelude-interface/module-trees/txt
1663−/* src-479 %jibb /tests/golden/types-record-bound-variable/source/jibb
1663+/* src-479 %jibb /tests/golden/types-prelude-list-functions/source/jibb
1664−/* tok-479 %txt /tests/golden/types-record-bound-variable/tokens/txt
1664+/* tok-479 %txt /tests/golden/types-prelude-list-functions/tokens/txt
1665−/* tre-479 %txt /tests/golden/types-record-bound-variable/tree/txt
1665+/* tre-479 %txt /tests/golden/types-prelude-list-functions/tree/txt
1666−/* typ-479 %txt /tests/golden/types-record-bound-variable/types/txt
1666+/* mod-479-1 %jibb /tests/golden/types-prelude-list-functions/modules/ui/lib/jibb
1667−/* src-480 %jibb /tests/golden/types-record-faces/source/jibb
1667+/* typ-479 %txt /tests/golden/types-prelude-list-functions/types/txt
1668−/* tok-480 %txt /tests/golden/types-record-faces/tokens/txt
1668+/* mtre-479 %txt /tests/golden/types-prelude-list-functions/module-trees/txt
1669−/* tre-480 %txt /tests/golden/types-record-faces/tree/txt
1669+/* src-480 %jibb /tests/golden/types-record-bound-variable/source/jibb
1670−/* typ-480 %txt /tests/golden/types-record-faces/types/txt
1670+/* tok-480 %txt /tests/golden/types-record-bound-variable/tokens/txt
1671−/* src-481 %jibb /tests/golden/types-record-import/source/jibb
1671+/* tre-480 %txt /tests/golden/types-record-bound-variable/tree/txt
1672−/* tok-481 %txt /tests/golden/types-record-import/tokens/txt
1672+/* typ-480 %txt /tests/golden/types-record-bound-variable/types/txt
1673−/* tre-481 %txt /tests/golden/types-record-import/tree/txt
1673+/* src-481 %jibb /tests/golden/types-record-faces/source/jibb
1674−/* mod-481-1 %jibb /tests/golden/types-record-import/modules/ui/lib/jibb
1674+/* tok-481 %txt /tests/golden/types-record-faces/tokens/txt
1675−/* typ-481 %txt /tests/golden/types-record-import/types/txt
1675+/* tre-481 %txt /tests/golden/types-record-faces/tree/txt
1676−/* mtre-481 %txt /tests/golden/types-record-import/module-trees/txt
1676+/* typ-481 %txt /tests/golden/types-record-faces/types/txt
1677−/* src-482 %jibb /tests/golden/types-record-local-scheme/source/jibb
1677+/* src-482 %jibb /tests/golden/types-record-import/source/jibb
1678−/* tok-482 %txt /tests/golden/types-record-local-scheme/tokens/txt
1678+/* tok-482 %txt /tests/golden/types-record-import/tokens/txt
1679−/* tre-482 %txt /tests/golden/types-record-local-scheme/tree/txt
1679+/* tre-482 %txt /tests/golden/types-record-import/tree/txt
1680−/* typ-482 %txt /tests/golden/types-record-local-scheme/types/txt
1680+/* mod-482-1 %jibb /tests/golden/types-record-import/modules/ui/lib/jibb
1681−/* src-483 %jibb /tests/golden/types-record-nested/source/jibb
1681+/* typ-482 %txt /tests/golden/types-record-import/types/txt
1682−/* tok-483 %txt /tests/golden/types-record-nested/tokens/txt
1682+/* mtre-482 %txt /tests/golden/types-record-import/module-trees/txt
1683−/* tre-483 %txt /tests/golden/types-record-nested/tree/txt
1683+/* src-483 %jibb /tests/golden/types-record-local-scheme/source/jibb
1684−/* typ-483 %txt /tests/golden/types-record-nested/types/txt
1684+/* tok-483 %txt /tests/golden/types-record-local-scheme/tokens/txt
1685−/* src-484 %jibb /tests/golden/types-record-to-tuple/source/jibb
1685+/* tre-483 %txt /tests/golden/types-record-local-scheme/tree/txt
1686−/* tok-484 %txt /tests/golden/types-record-to-tuple/tokens/txt
1686+/* typ-483 %txt /tests/golden/types-record-local-scheme/types/txt
1687−/* tre-484 %txt /tests/golden/types-record-to-tuple/tree/txt
1687+/* src-484 %jibb /tests/golden/types-record-nested/source/jibb
1688−/* typ-484 %txt /tests/golden/types-record-to-tuple/types/txt
1688+/* tok-484 %txt /tests/golden/types-record-nested/tokens/txt
1689−/* src-485 %jibb /tests/golden/types-recursive-branch/source/jibb
1689+/* tre-484 %txt /tests/golden/types-record-nested/tree/txt
1690−/* tok-485 %txt /tests/golden/types-recursive-branch/tokens/txt
1690+/* typ-484 %txt /tests/golden/types-record-nested/types/txt
1691−/* tre-485 %txt /tests/golden/types-recursive-branch/tree/txt
1691+/* src-485 %jibb /tests/golden/types-record-to-tuple/source/jibb
1692−/* typ-485 %txt /tests/golden/types-recursive-branch/types/txt
1692+/* tok-485 %txt /tests/golden/types-record-to-tuple/tokens/txt
1693−/* src-486 %jibb /tests/golden/types-recursive-gate/source/jibb
1693+/* tre-485 %txt /tests/golden/types-record-to-tuple/tree/txt
1694−/* tok-486 %txt /tests/golden/types-recursive-gate/tokens/txt
1694+/* typ-485 %txt /tests/golden/types-record-to-tuple/types/txt
1695−/* tre-486 %txt /tests/golden/types-recursive-gate/tree/txt
1695+/* src-486 %jibb /tests/golden/types-recursive-branch/source/jibb
1696−/* typ-486 %txt /tests/golden/types-recursive-gate/types/txt
1696+/* tok-486 %txt /tests/golden/types-recursive-branch/tokens/txt
1697−/* src-487 %jibb /tests/golden/types-recursive-sample/source/jibb
1697+/* tre-486 %txt /tests/golden/types-recursive-branch/tree/txt
1698−/* tok-487 %txt /tests/golden/types-recursive-sample/tokens/txt
1698+/* typ-486 %txt /tests/golden/types-recursive-branch/types/txt
1699−/* tre-487 %txt /tests/golden/types-recursive-sample/tree/txt
1699+/* src-487 %jibb /tests/golden/types-recursive-gate/source/jibb
1700−/* typ-487 %txt /tests/golden/types-recursive-sample/types/txt
1700+/* tok-487 %txt /tests/golden/types-recursive-gate/tokens/txt
1701−/* src-488 %jibb /tests/golden/types-union-alias/source/jibb
1701+/* tre-487 %txt /tests/golden/types-recursive-gate/tree/txt
1702−/* tok-488 %txt /tests/golden/types-union-alias/tokens/txt
1702+/* typ-487 %txt /tests/golden/types-recursive-gate/types/txt
1703−/* tre-488 %txt /tests/golden/types-union-alias/tree/txt
1703+/* src-488 %jibb /tests/golden/types-recursive-sample/source/jibb
1704−/* typ-488 %txt /tests/golden/types-union-alias/types/txt
1704+/* tok-488 %txt /tests/golden/types-recursive-sample/tokens/txt
1705−/* src-489 %jibb /tests/golden/types-union-branch-context/source/jibb
1705+/* tre-488 %txt /tests/golden/types-recursive-sample/tree/txt
1706−/* tok-489 %txt /tests/golden/types-union-branch-context/tokens/txt
1706+/* typ-488 %txt /tests/golden/types-recursive-sample/types/txt
1707−/* tre-489 %txt /tests/golden/types-union-branch-context/tree/txt
1707+/* src-489 %jibb /tests/golden/types-union-alias/source/jibb
1708−/* typ-489 %txt /tests/golden/types-union-branch-context/types/txt
1708+/* tok-489 %txt /tests/golden/types-union-alias/tokens/txt
1709−/* src-490 %jibb /tests/golden/types-union-branch-pending/source/jibb
1709+/* tre-489 %txt /tests/golden/types-union-alias/tree/txt
1710−/* tok-490 %txt /tests/golden/types-union-branch-pending/tokens/txt
1710+/* typ-489 %txt /tests/golden/types-union-alias/types/txt
1711−/* tre-490 %txt /tests/golden/types-union-branch-pending/tree/txt
1711+/* src-490 %jibb /tests/golden/types-union-branch-context/source/jibb
1712−/* typ-490 %txt /tests/golden/types-union-branch-pending/types/txt
1712+/* tok-490 %txt /tests/golden/types-union-branch-context/tokens/txt
1713−/* src-491 %jibb /tests/golden/types-union-constructor-shape/source/jibb
1713+/* tre-490 %txt /tests/golden/types-union-branch-context/tree/txt
1714−/* tok-491 %txt /tests/golden/types-union-constructor-shape/tokens/txt
1714+/* typ-490 %txt /tests/golden/types-union-branch-context/types/txt
1715−/* tre-491 %txt /tests/golden/types-union-constructor-shape/tree/txt
1715+/* src-491 %jibb /tests/golden/types-union-branch-pending/source/jibb
1716−/* typ-491 %txt /tests/golden/types-union-constructor-shape/types/txt
1716+/* tok-491 %txt /tests/golden/types-union-branch-pending/tokens/txt
1717−/* src-492 %jibb /tests/golden/types-union-context-flow/source/jibb
1717+/* tre-491 %txt /tests/golden/types-union-branch-pending/tree/txt
1718−/* tok-492 %txt /tests/golden/types-union-context-flow/tokens/txt
1718+/* typ-491 %txt /tests/golden/types-union-branch-pending/types/txt
1719−/* tre-492 %txt /tests/golden/types-union-context-flow/tree/txt
1719+/* src-492 %jibb /tests/golden/types-union-constructor-shape/source/jibb
1720−/* typ-492 %txt /tests/golden/types-union-context-flow/types/txt
1720+/* tok-492 %txt /tests/golden/types-union-constructor-shape/tokens/txt
1721−/* src-493 %jibb /tests/golden/types-union-import/source/jibb
1721+/* tre-492 %txt /tests/golden/types-union-constructor-shape/tree/txt
1722−/* tok-493 %txt /tests/golden/types-union-import/tokens/txt
1722+/* typ-492 %txt /tests/golden/types-union-constructor-shape/types/txt
1723−/* tre-493 %txt /tests/golden/types-union-import/tree/txt
1723+/* src-493 %jibb /tests/golden/types-union-context-flow/source/jibb
1724−/* mod-493-1 %jibb /tests/golden/types-union-import/modules/ui/lib/jibb
1724+/* tok-493 %txt /tests/golden/types-union-context-flow/tokens/txt
1725−/* typ-493 %txt /tests/golden/types-union-import/types/txt
1725+/* tre-493 %txt /tests/golden/types-union-context-flow/tree/txt
1726−/* mtre-493 %txt /tests/golden/types-union-import/module-trees/txt
1726+/* typ-493 %txt /tests/golden/types-union-context-flow/types/txt
1727−/* src-494 %jibb /tests/golden/types-union-local-pending/source/jibb
1727+/* src-494 %jibb /tests/golden/types-union-import/source/jibb
1728−/* tok-494 %txt /tests/golden/types-union-local-pending/tokens/txt
1728+/* tok-494 %txt /tests/golden/types-union-import/tokens/txt
1729−/* tre-494 %txt /tests/golden/types-union-local-pending/tree/txt
1729+/* tre-494 %txt /tests/golden/types-union-import/tree/txt
1730−/* typ-494 %txt /tests/golden/types-union-local-pending/types/txt
1730+/* mod-494-1 %jibb /tests/golden/types-union-import/modules/ui/lib/jibb
1731−/* src-495 %jibb /tests/golden/types-union-overlap/source/jibb
1731+/* typ-494 %txt /tests/golden/types-union-import/types/txt
1732−/* tok-495 %txt /tests/golden/types-union-overlap/tokens/txt
1732+/* mtre-494 %txt /tests/golden/types-union-import/module-trees/txt
1733−/* tre-495 %txt /tests/golden/types-union-overlap/tree/txt
1733+/* src-495 %jibb /tests/golden/types-union-local-pending/source/jibb
1734−/* typ-495 %txt /tests/golden/types-union-overlap/types/txt
1734+/* tok-495 %txt /tests/golden/types-union-local-pending/tokens/txt
1735−/* src-496 %jibb /tests/golden/types-union-overlap-nested/source/jibb
1735+/* tre-495 %txt /tests/golden/types-union-local-pending/tree/txt
1736−/* tok-496 %txt /tests/golden/types-union-overlap-nested/tokens/txt
1736+/* typ-495 %txt /tests/golden/types-union-local-pending/types/txt
1737−/* tre-496 %txt /tests/golden/types-union-overlap-nested/tree/txt
1737+/* src-496 %jibb /tests/golden/types-union-overlap/source/jibb
1738−/* typ-496 %txt /tests/golden/types-union-overlap-nested/types/txt
1738+/* tok-496 %txt /tests/golden/types-union-overlap/tokens/txt
1739−/* src-497 %jibb /tests/golden/types-union-phantom-generic/source/jibb
1739+/* tre-496 %txt /tests/golden/types-union-overlap/tree/txt
1740−/* tok-497 %txt /tests/golden/types-union-phantom-generic/tokens/txt
1740+/* typ-496 %txt /tests/golden/types-union-overlap/types/txt
1741−/* tre-497 %txt /tests/golden/types-union-phantom-generic/tree/txt
1741+/* src-497 %jibb /tests/golden/types-union-overlap-nested/source/jibb
1742−/* typ-497 %txt /tests/golden/types-union-phantom-generic/types/txt
1742+/* tok-497 %txt /tests/golden/types-union-overlap-nested/tokens/txt
1743−/* src-498 %jibb /tests/golden/types-union-print-cross-namespace/source/jibb
1743+/* tre-497 %txt /tests/golden/types-union-overlap-nested/tree/txt
1744−/* tok-498 %txt /tests/golden/types-union-print-cross-namespace/tokens/txt
1744+/* typ-497 %txt /tests/golden/types-union-overlap-nested/types/txt
1745−/* tre-498 %txt /tests/golden/types-union-print-cross-namespace/tree/txt
1745+/* src-498 %jibb /tests/golden/types-union-phantom-generic/source/jibb
1746−/* mod-498-1 %jibb /tests/golden/types-union-print-cross-namespace/modules/ui/lib/jibb
1746+/* tok-498 %txt /tests/golden/types-union-phantom-generic/tokens/txt
1747−/* typ-498 %txt /tests/golden/types-union-print-cross-namespace/types/txt
1747+/* tre-498 %txt /tests/golden/types-union-phantom-generic/tree/txt
1748−/* mtre-498 %txt /tests/golden/types-union-print-cross-namespace/module-trees/txt
1748+/* typ-498 %txt /tests/golden/types-union-phantom-generic/types/txt
1749−/* src-499 %jibb /tests/golden/types-union-print-distinct/source/jibb
1749+/* src-499 %jibb /tests/golden/types-union-print-cross-namespace/source/jibb
1750−/* tok-499 %txt /tests/golden/types-union-print-distinct/tokens/txt
1750+/* tok-499 %txt /tests/golden/types-union-print-cross-namespace/tokens/txt
1751−/* tre-499 %txt /tests/golden/types-union-print-distinct/tree/txt
1751+/* tre-499 %txt /tests/golden/types-union-print-cross-namespace/tree/txt
1752−/* mod-499-1 %jibb /tests/golden/types-union-print-distinct/modules/ui/left/jibb
1752+/* mod-499-1 %jibb /tests/golden/types-union-print-cross-namespace/modules/ui/lib/jibb
1753−/* mod-499-2 %jibb /tests/golden/types-union-print-distinct/modules/ui/right/jibb
1753+/* typ-499 %txt /tests/golden/types-union-print-cross-namespace/types/txt
1754−/* mod-499-3 %jibb /tests/golden/types-union-print-distinct/modules/ui/twin/jibb
1754+/* mtre-499 %txt /tests/golden/types-union-print-cross-namespace/module-trees/txt
1755−/* typ-499 %txt /tests/golden/types-union-print-distinct/types/txt
1755+/* src-500 %jibb /tests/golden/types-union-print-distinct/source/jibb
1756−/* mtre-499 %txt /tests/golden/types-union-print-distinct/module-trees/txt
1756+/* tok-500 %txt /tests/golden/types-union-print-distinct/tokens/txt
1757−/* src-500 %jibb /tests/golden/types-union-print-escape/source/jibb
1757+/* tre-500 %txt /tests/golden/types-union-print-distinct/tree/txt
1758−/* tok-500 %txt /tests/golden/types-union-print-escape/tokens/txt
1758+/* mod-500-1 %jibb /tests/golden/types-union-print-distinct/modules/ui/left/jibb
1759−/* tre-500 %txt /tests/golden/types-union-print-escape/tree/txt
1759+/* mod-500-2 %jibb /tests/golden/types-union-print-distinct/modules/ui/right/jibb
1760−/* typ-500 %txt /tests/golden/types-union-print-escape/types/txt
1760+/* mod-500-3 %jibb /tests/golden/types-union-print-distinct/modules/ui/twin/jibb
1761−/* src-501 %jibb /tests/golden/types-union-print-local/source/jibb
1761+/* typ-500 %txt /tests/golden/types-union-print-distinct/types/txt
1762−/* tok-501 %txt /tests/golden/types-union-print-local/tokens/txt
1762+/* mtre-500 %txt /tests/golden/types-union-print-distinct/module-trees/txt
1763−/* tre-501 %txt /tests/golden/types-union-print-local/tree/txt
1763+/* src-501 %jibb /tests/golden/types-union-print-escape/source/jibb
1764−/* typ-501 %txt /tests/golden/types-union-print-local/types/txt
1764+/* tok-501 %txt /tests/golden/types-union-print-escape/tokens/txt
1765−/* src-502 %jibb /tests/golden/types-union-print-nested/source/jibb
1765+/* tre-501 %txt /tests/golden/types-union-print-escape/tree/txt
1766−/* tok-502 %txt /tests/golden/types-union-print-nested/tokens/txt
1766+/* typ-501 %txt /tests/golden/types-union-print-escape/types/txt
1767−/* tre-502 %txt /tests/golden/types-union-print-nested/tree/txt
1767+/* src-502 %jibb /tests/golden/types-union-print-local/source/jibb
1768−/* typ-502 %txt /tests/golden/types-union-print-nested/types/txt
1768+/* tok-502 %txt /tests/golden/types-union-print-local/tokens/txt
1769−/* src-503 %jibb /tests/golden/types-union-print-same-origin/source/jibb
1769+/* tre-502 %txt /tests/golden/types-union-print-local/tree/txt
1770−/* tok-503 %txt /tests/golden/types-union-print-same-origin/tokens/txt
1770+/* typ-502 %txt /tests/golden/types-union-print-local/types/txt
1771−/* tre-503 %txt /tests/golden/types-union-print-same-origin/tree/txt
1771+/* src-503 %jibb /tests/golden/types-union-print-nested/source/jibb
1772−/* mod-503-1 %jibb /tests/golden/types-union-print-same-origin/modules/ui/shared/jibb
1772+/* tok-503 %txt /tests/golden/types-union-print-nested/tokens/txt
1773−/* typ-503 %txt /tests/golden/types-union-print-same-origin/types/txt
1773+/* tre-503 %txt /tests/golden/types-union-print-nested/tree/txt
1774−/* mtre-503 %txt /tests/golden/types-union-print-same-origin/module-trees/txt
1774+/* typ-503 %txt /tests/golden/types-union-print-nested/types/txt
1775−/* src-504 %jibb /tests/golden/types-union-print-transitive/source/jibb
1775+/* src-504 %jibb /tests/golden/types-union-print-same-origin/source/jibb
1776−/* tok-504 %txt /tests/golden/types-union-print-transitive/tokens/txt
1776+/* tok-504 %txt /tests/golden/types-union-print-same-origin/tokens/txt
1777−/* tre-504 %txt /tests/golden/types-union-print-transitive/tree/txt
1777+/* tre-504 %txt /tests/golden/types-union-print-same-origin/tree/txt
1778−/* mod-504-1 %jibb /tests/golden/types-union-print-transitive/modules/ui/mid/jibb
1778+/* mod-504-1 %jibb /tests/golden/types-union-print-same-origin/modules/ui/shared/jibb
1779−/* mod-504-2 %jibb /tests/golden/types-union-print-transitive/modules/ui/base/jibb
1779+/* typ-504 %txt /tests/golden/types-union-print-same-origin/types/txt
1780−/* typ-504 %txt /tests/golden/types-union-print-transitive/types/txt
1780+/* mtre-504 %txt /tests/golden/types-union-print-same-origin/module-trees/txt
1781−/* mtre-504 %txt /tests/golden/types-union-print-transitive/module-trees/txt
1781+/* src-505 %jibb /tests/golden/types-union-print-transitive/source/jibb
1782−/* src-505 %jibb /tests/golden/types-union-singleton/source/jibb
1782+/* tok-505 %txt /tests/golden/types-union-print-transitive/tokens/txt
1783−/* tok-505 %txt /tests/golden/types-union-singleton/tokens/txt
1783+/* tre-505 %txt /tests/golden/types-union-print-transitive/tree/txt
1784−/* tre-505 %txt /tests/golden/types-union-singleton/tree/txt
1784+/* mod-505-1 %jibb /tests/golden/types-union-print-transitive/modules/ui/mid/jibb
1785−/* typ-505 %txt /tests/golden/types-union-singleton/types/txt
1785+/* mod-505-2 %jibb /tests/golden/types-union-print-transitive/modules/ui/base/jibb
1786−/* src-506 %jibb /tests/golden/types-union-tag-atoms/source/jibb
1786+/* typ-505 %txt /tests/golden/types-union-print-transitive/types/txt
1787−/* tok-506 %txt /tests/golden/types-union-tag-atoms/tokens/txt
1787+/* mtre-505 %txt /tests/golden/types-union-print-transitive/module-trees/txt
1788−/* tre-506 %txt /tests/golden/types-union-tag-atoms/tree/txt
1788+/* src-506 %jibb /tests/golden/types-union-singleton/source/jibb
1789−/* typ-506 %txt /tests/golden/types-union-tag-atoms/types/txt
1789+/* tok-506 %txt /tests/golden/types-union-singleton/tokens/txt
1790−/* src-507 %jibb /tests/golden/types-union-tags/source/jibb
1790+/* tre-506 %txt /tests/golden/types-union-singleton/tree/txt
1791−/* tok-507 %txt /tests/golden/types-union-tags/tokens/txt
1791+/* typ-506 %txt /tests/golden/types-union-singleton/types/txt
1792−/* tre-507 %txt /tests/golden/types-union-tags/tree/txt
1792+/* src-507 %jibb /tests/golden/types-union-tag-atoms/source/jibb
1793−/* typ-507 %txt /tests/golden/types-union-tags/types/txt
1793+/* tok-507 %txt /tests/golden/types-union-tag-atoms/tokens/txt
1794−/* src-508 %jibb /tests/golden/types-union-unresolved/source/jibb
1794+/* tre-507 %txt /tests/golden/types-union-tag-atoms/tree/txt
1795−/* tok-508 %txt /tests/golden/types-union-unresolved/tokens/txt
1795+/* typ-507 %txt /tests/golden/types-union-tag-atoms/types/txt
1796−/* tre-508 %txt /tests/golden/types-union-unresolved/tree/txt
1796+/* src-508 %jibb /tests/golden/types-union-tags/source/jibb
1797−/* typ-508 %txt /tests/golden/types-union-unresolved/types/txt
1797+/* tok-508 %txt /tests/golden/types-union-tags/tokens/txt
1798−/* src-509 %jibb /tests/golden/types-union-unresolved-flow/source/jibb
1798+/* tre-508 %txt /tests/golden/types-union-tags/tree/txt
1799−/* tok-509 %txt /tests/golden/types-union-unresolved-flow/tokens/txt
1799+/* typ-508 %txt /tests/golden/types-union-tags/types/txt
1800−/* tre-509 %txt /tests/golden/types-union-unresolved-flow/tree/txt
1800+/* src-509 %jibb /tests/golden/types-union-unresolved/source/jibb
1801−/* typ-509 %txt /tests/golden/types-union-unresolved-flow/types/txt
1801+/* tok-509 %txt /tests/golden/types-union-unresolved/tokens/txt
1802−/* src-510 %jibb /tests/golden/types-unit-context/source/jibb
1802+/* tre-509 %txt /tests/golden/types-union-unresolved/tree/txt
1803−/* tok-510 %txt /tests/golden/types-unit-context/tokens/txt
1803+/* typ-509 %txt /tests/golden/types-union-unresolved/types/txt
1804−/* tre-510 %txt /tests/golden/types-unit-context/tree/txt
1804+/* src-510 %jibb /tests/golden/types-union-unresolved-flow/source/jibb
1805−/* typ-510 %txt /tests/golden/types-unit-context/types/txt
1805+/* tok-510 %txt /tests/golden/types-union-unresolved-flow/tokens/txt
1806−/* src-511 %jibb /tests/golden/types-unit-patterns/source/jibb
1806+/* tre-510 %txt /tests/golden/types-union-unresolved-flow/tree/txt
1807−/* tok-511 %txt /tests/golden/types-unit-patterns/tokens/txt
1807+/* typ-510 %txt /tests/golden/types-union-unresolved-flow/types/txt
1808−/* tre-511 %txt /tests/golden/types-unit-patterns/tree/txt
1808+/* src-511 %jibb /tests/golden/types-unit-context/source/jibb
1809−/* typ-511 %txt /tests/golden/types-unit-patterns/types/txt
1809+/* tok-511 %txt /tests/golden/types-unit-context/tokens/txt
1810+/* tre-511 %txt /tests/golden/types-unit-context/tree/txt
1811+/* typ-511 %txt /tests/golden/types-unit-context/types/txt
1812+/* src-512 %jibb /tests/golden/types-unit-patterns/source/jibb
1813+/* tok-512 %txt /tests/golden/types-unit-patterns/tokens/txt
1814+/* tre-512 %txt /tests/golden/types-unit-patterns/tree/txt
1815+/* typ-512 %txt /tests/golden/types-unit-patterns/types/txt
1810=/ prepared-prelude (prepare-prelude:jibb prelude-source)
1816=/ prepared-prelude (prepare-prelude:jibb prelude-source)
1812:: one arm per case
1818:: one arm per case
@@ -2767,72 +2773,74 @@
2767 (weld (check ~.types-prelude-direct src-477 `tok-477 `tre-477) (check-module-types ~.types-prelude-direct ~[%tests %golden ~.types-prelude-direct %source %jibb] src-477 `typ-477 ~ ~ ~))
2773 (weld (check ~.types-prelude-direct src-477 `tok-477 `tre-477) (check-module-types ~.types-prelude-direct ~[%tests %golden ~.types-prelude-direct %source %jibb] src-477 `typ-477 ~ ~ ~))
2768++ test-types-prelude-interface
2774++ test-types-prelude-interface
2769 (weld (weld (check ~.types-prelude-interface src-478 `tok-478 `tre-478) (check-module-types ~.types-prelude-interface ~[%tests %golden ~.types-prelude-interface %source %jibb] src-478 `typ-478 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-478-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-478-2]])) (check-module-trees ~.types-prelude-interface `mtre-478 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-478-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-478-2]]))
2775 (weld (weld (check ~.types-prelude-interface src-478 `tok-478 `tre-478) (check-module-types ~.types-prelude-interface ~[%tests %golden ~.types-prelude-interface %source %jibb] src-478 `typ-478 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-478-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-478-2]])) (check-module-trees ~.types-prelude-interface `mtre-478 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-478-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-478-2]]))
2776+++ test-types-prelude-list-functions
2777+ (weld (weld (check ~.types-prelude-list-functions src-479 `tok-479 `tre-479) (check-module-types ~.types-prelude-list-functions ~[%tests %golden ~.types-prelude-list-functions %source %jibb] src-479 `typ-479 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-479-1]])) (check-module-trees ~.types-prelude-list-functions `mtre-479 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-479-1]]))
2770++ test-types-record-bound-variable
2778++ test-types-record-bound-variable
2771− (weld (check ~.types-record-bound-variable src-479 `tok-479 `tre-479) (check-types ~.types-record-bound-variable ~[%tests %golden ~.types-record-bound-variable %source %jibb] src-479 `typ-479))
2779+ (weld (check ~.types-record-bound-variable src-480 `tok-480 `tre-480) (check-types ~.types-record-bound-variable ~[%tests %golden ~.types-record-bound-variable %source %jibb] src-480 `typ-480))
2772++ test-types-record-faces
2780++ test-types-record-faces
2773− (weld (check ~.types-record-faces src-480 `tok-480 `tre-480) (check-types ~.types-record-faces ~[%tests %golden ~.types-record-faces %source %jibb] src-480 `typ-480))
2781+ (weld (check ~.types-record-faces src-481 `tok-481 `tre-481) (check-types ~.types-record-faces ~[%tests %golden ~.types-record-faces %source %jibb] src-481 `typ-481))
2774++ test-types-record-import
2782++ test-types-record-import
2775− (weld (weld (check ~.types-record-import src-481 `tok-481 `tre-481) (check-module-types ~.types-record-import ~[%tests %golden ~.types-record-import %source %jibb] src-481 `typ-481 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-481-1]])) (check-module-trees ~.types-record-import `mtre-481 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-481-1]]))
2783+ (weld (weld (check ~.types-record-import src-482 `tok-482 `tre-482) (check-module-types ~.types-record-import ~[%tests %golden ~.types-record-import %source %jibb] src-482 `typ-482 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-482-1]])) (check-module-trees ~.types-record-import `mtre-482 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-482-1]]))
2776++ test-types-record-local-scheme
2784++ test-types-record-local-scheme
2777− (weld (check ~.types-record-local-scheme src-482 `tok-482 `tre-482) (check-types ~.types-record-local-scheme ~[%tests %golden ~.types-record-local-scheme %source %jibb] src-482 `typ-482))
2785+ (weld (check ~.types-record-local-scheme src-483 `tok-483 `tre-483) (check-types ~.types-record-local-scheme ~[%tests %golden ~.types-record-local-scheme %source %jibb] src-483 `typ-483))
2778++ test-types-record-nested
2786++ test-types-record-nested
2779− (weld (check ~.types-record-nested src-483 `tok-483 `tre-483) (check-types ~.types-record-nested ~[%tests %golden ~.types-record-nested %source %jibb] src-483 `typ-483))
2787+ (weld (check ~.types-record-nested src-484 `tok-484 `tre-484) (check-types ~.types-record-nested ~[%tests %golden ~.types-record-nested %source %jibb] src-484 `typ-484))
2780++ test-types-record-to-tuple
2788++ test-types-record-to-tuple
2781− (weld (check ~.types-record-to-tuple src-484 `tok-484 `tre-484) (check-types ~.types-record-to-tuple ~[%tests %golden ~.types-record-to-tuple %source %jibb] src-484 `typ-484))
2789+ (weld (check ~.types-record-to-tuple src-485 `tok-485 `tre-485) (check-types ~.types-record-to-tuple ~[%tests %golden ~.types-record-to-tuple %source %jibb] src-485 `typ-485))
2782++ test-types-recursive-branch
2790++ test-types-recursive-branch
2783− (weld (check ~.types-recursive-branch src-485 `tok-485 `tre-485) (check-module-types ~.types-recursive-branch ~[%tests %golden ~.types-recursive-branch %source %jibb] src-485 `typ-485 ~ ~ ~))
2791+ (weld (check ~.types-recursive-branch src-486 `tok-486 `tre-486) (check-module-types ~.types-recursive-branch ~[%tests %golden ~.types-recursive-branch %source %jibb] src-486 `typ-486 ~ ~ ~))
2784++ test-types-recursive-gate
2792++ test-types-recursive-gate
2785− (weld (check ~.types-recursive-gate src-486 `tok-486 `tre-486) (check-types ~.types-recursive-gate ~[%tests %golden ~.types-recursive-gate %source %jibb] src-486 `typ-486))
2793+ (weld (check ~.types-recursive-gate src-487 `tok-487 `tre-487) (check-types ~.types-recursive-gate ~[%tests %golden ~.types-recursive-gate %source %jibb] src-487 `typ-487))
2786++ test-types-recursive-sample
2794++ test-types-recursive-sample
2787− (weld (check ~.types-recursive-sample src-487 `tok-487 `tre-487) (check-types ~.types-recursive-sample ~[%tests %golden ~.types-recursive-sample %source %jibb] src-487 `typ-487))
2795+ (weld (check ~.types-recursive-sample src-488 `tok-488 `tre-488) (check-types ~.types-recursive-sample ~[%tests %golden ~.types-recursive-sample %source %jibb] src-488 `typ-488))
2788++ test-types-union-alias
2796++ test-types-union-alias
2789− (weld (check ~.types-union-alias src-488 `tok-488 `tre-488) (check-types ~.types-union-alias ~[%tests %golden ~.types-union-alias %source %jibb] src-488 `typ-488))
2797+ (weld (check ~.types-union-alias src-489 `tok-489 `tre-489) (check-types ~.types-union-alias ~[%tests %golden ~.types-union-alias %source %jibb] src-489 `typ-489))
2790++ test-types-union-branch-context
2798++ test-types-union-branch-context
2791− (weld (check ~.types-union-branch-context src-489 `tok-489 `tre-489) (check-types ~.types-union-branch-context ~[%tests %golden ~.types-union-branch-context %source %jibb] src-489 `typ-489))
2799+ (weld (check ~.types-union-branch-context src-490 `tok-490 `tre-490) (check-types ~.types-union-branch-context ~[%tests %golden ~.types-union-branch-context %source %jibb] src-490 `typ-490))
2792++ test-types-union-branch-pending
2800++ test-types-union-branch-pending
2793− (weld (check ~.types-union-branch-pending src-490 `tok-490 `tre-490) (check-types ~.types-union-branch-pending ~[%tests %golden ~.types-union-branch-pending %source %jibb] src-490 `typ-490))
2801+ (weld (check ~.types-union-branch-pending src-491 `tok-491 `tre-491) (check-types ~.types-union-branch-pending ~[%tests %golden ~.types-union-branch-pending %source %jibb] src-491 `typ-491))
2794++ test-types-union-constructor-shape
2802++ test-types-union-constructor-shape
2795− (weld (check ~.types-union-constructor-shape src-491 `tok-491 `tre-491) (check-types ~.types-union-constructor-shape ~[%tests %golden ~.types-union-constructor-shape %source %jibb] src-491 `typ-491))
2803+ (weld (check ~.types-union-constructor-shape src-492 `tok-492 `tre-492) (check-types ~.types-union-constructor-shape ~[%tests %golden ~.types-union-constructor-shape %source %jibb] src-492 `typ-492))
2796++ test-types-union-context-flow
2804++ test-types-union-context-flow
2797− (weld (check ~.types-union-context-flow src-492 `tok-492 `tre-492) (check-types ~.types-union-context-flow ~[%tests %golden ~.types-union-context-flow %source %jibb] src-492 `typ-492))
2805+ (weld (check ~.types-union-context-flow src-493 `tok-493 `tre-493) (check-types ~.types-union-context-flow ~[%tests %golden ~.types-union-context-flow %source %jibb] src-493 `typ-493))
2798++ test-types-union-import
2806++ test-types-union-import
2799− (weld (weld (check ~.types-union-import src-493 `tok-493 `tre-493) (check-module-types ~.types-union-import ~[%tests %golden ~.types-union-import %source %jibb] src-493 `typ-493 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-493-1]])) (check-module-trees ~.types-union-import `mtre-493 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-493-1]]))
2807+ (weld (weld (check ~.types-union-import src-494 `tok-494 `tre-494) (check-module-types ~.types-union-import ~[%tests %golden ~.types-union-import %source %jibb] src-494 `typ-494 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-494-1]])) (check-module-trees ~.types-union-import `mtre-494 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-494-1]]))
2800++ test-types-union-local-pending
2808++ test-types-union-local-pending
2801− (weld (check ~.types-union-local-pending src-494 `tok-494 `tre-494) (check-types ~.types-union-local-pending ~[%tests %golden ~.types-union-local-pending %source %jibb] src-494 `typ-494))
2809+ (weld (check ~.types-union-local-pending src-495 `tok-495 `tre-495) (check-types ~.types-union-local-pending ~[%tests %golden ~.types-union-local-pending %source %jibb] src-495 `typ-495))
2802++ test-types-union-overlap
2810++ test-types-union-overlap
2803− (weld (check ~.types-union-overlap src-495 `tok-495 `tre-495) (check-types ~.types-union-overlap ~[%tests %golden ~.types-union-overlap %source %jibb] src-495 `typ-495))
2811+ (weld (check ~.types-union-overlap src-496 `tok-496 `tre-496) (check-types ~.types-union-overlap ~[%tests %golden ~.types-union-overlap %source %jibb] src-496 `typ-496))
2804++ test-types-union-overlap-nested
2812++ test-types-union-overlap-nested
2805− (weld (check ~.types-union-overlap-nested src-496 `tok-496 `tre-496) (check-types ~.types-union-overlap-nested ~[%tests %golden ~.types-union-overlap-nested %source %jibb] src-496 `typ-496))
2813+ (weld (check ~.types-union-overlap-nested src-497 `tok-497 `tre-497) (check-types ~.types-union-overlap-nested ~[%tests %golden ~.types-union-overlap-nested %source %jibb] src-497 `typ-497))
2806++ test-types-union-phantom-generic
2814++ test-types-union-phantom-generic
2807− (weld (check ~.types-union-phantom-generic src-497 `tok-497 `tre-497) (check-types ~.types-union-phantom-generic ~[%tests %golden ~.types-union-phantom-generic %source %jibb] src-497 `typ-497))
2815+ (weld (check ~.types-union-phantom-generic src-498 `tok-498 `tre-498) (check-types ~.types-union-phantom-generic ~[%tests %golden ~.types-union-phantom-generic %source %jibb] src-498 `typ-498))
2808++ test-types-union-print-cross-namespace
2816++ test-types-union-print-cross-namespace
2809− (weld (weld (check ~.types-union-print-cross-namespace src-498 `tok-498 `tre-498) (check-module-types ~.types-union-print-cross-namespace ~[%tests %golden ~.types-union-print-cross-namespace %source %jibb] src-498 `typ-498 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-498-1]])) (check-module-trees ~.types-union-print-cross-namespace `mtre-498 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-498-1]]))
2817+ (weld (weld (check ~.types-union-print-cross-namespace src-499 `tok-499 `tre-499) (check-module-types ~.types-union-print-cross-namespace ~[%tests %golden ~.types-union-print-cross-namespace %source %jibb] src-499 `typ-499 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-499-1]])) (check-module-trees ~.types-union-print-cross-namespace `mtre-499 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-499-1]]))
2810++ test-types-union-print-distinct
2818++ test-types-union-print-distinct
2811− (weld (weld (check ~.types-union-print-distinct src-499 `tok-499 `tre-499) (check-module-types ~.types-union-print-distinct ~[%tests %golden ~.types-union-print-distinct %source %jibb] src-499 `typ-499 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-499-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-499-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-499-3]])) (check-module-trees ~.types-union-print-distinct `mtre-499 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-499-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-499-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-499-3]]))
2819+ (weld (weld (check ~.types-union-print-distinct src-500 `tok-500 `tre-500) (check-module-types ~.types-union-print-distinct ~[%tests %golden ~.types-union-print-distinct %source %jibb] src-500 `typ-500 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-500-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-500-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-500-3]])) (check-module-trees ~.types-union-print-distinct `mtre-500 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-500-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-500-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-500-3]]))
2812++ test-types-union-print-escape
2820++ test-types-union-print-escape
2813− (weld (check ~.types-union-print-escape src-500 `tok-500 `tre-500) (check-types ~.types-union-print-escape ~[%tests %golden ~.types-union-print-escape %source %jibb] src-500 `typ-500))
2821+ (weld (check ~.types-union-print-escape src-501 `tok-501 `tre-501) (check-types ~.types-union-print-escape ~[%tests %golden ~.types-union-print-escape %source %jibb] src-501 `typ-501))
2814++ test-types-union-print-local
2822++ test-types-union-print-local
2815− (weld (check ~.types-union-print-local src-501 `tok-501 `tre-501) (check-types ~.types-union-print-local ~[%tests %golden ~.types-union-print-local %source %jibb] src-501 `typ-501))
2823+ (weld (check ~.types-union-print-local src-502 `tok-502 `tre-502) (check-types ~.types-union-print-local ~[%tests %golden ~.types-union-print-local %source %jibb] src-502 `typ-502))
2816++ test-types-union-print-nested
2824++ test-types-union-print-nested
2817− (weld (check ~.types-union-print-nested src-502 `tok-502 `tre-502) (check-types ~.types-union-print-nested ~[%tests %golden ~.types-union-print-nested %source %jibb] src-502 `typ-502))
2825+ (weld (check ~.types-union-print-nested src-503 `tok-503 `tre-503) (check-types ~.types-union-print-nested ~[%tests %golden ~.types-union-print-nested %source %jibb] src-503 `typ-503))
2818++ test-types-union-print-same-origin
2826++ test-types-union-print-same-origin
2819− (weld (weld (check ~.types-union-print-same-origin src-503 `tok-503 `tre-503) (check-module-types ~.types-union-print-same-origin ~[%tests %golden ~.types-union-print-same-origin %source %jibb] src-503 `typ-503 ~ ~ ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-503-1]])) (check-module-trees ~.types-union-print-same-origin `mtre-503 ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-503-1]]))
2827+ (weld (weld (check ~.types-union-print-same-origin src-504 `tok-504 `tre-504) (check-module-types ~.types-union-print-same-origin ~[%tests %golden ~.types-union-print-same-origin %source %jibb] src-504 `typ-504 ~ ~ ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-504-1]])) (check-module-trees ~.types-union-print-same-origin `mtre-504 ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-504-1]]))
2820++ test-types-union-print-transitive
2828++ test-types-union-print-transitive
2821− (weld (weld (check ~.types-union-print-transitive src-504 `tok-504 `tre-504) (check-module-types ~.types-union-print-transitive ~[%tests %golden ~.types-union-print-transitive %source %jibb] src-504 `typ-504 ~ ~ ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-504-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-504-2]])) (check-module-trees ~.types-union-print-transitive `mtre-504 ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-504-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-504-2]]))
2829+ (weld (weld (check ~.types-union-print-transitive src-505 `tok-505 `tre-505) (check-module-types ~.types-union-print-transitive ~[%tests %golden ~.types-union-print-transitive %source %jibb] src-505 `typ-505 ~ ~ ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-505-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-505-2]])) (check-module-trees ~.types-union-print-transitive `mtre-505 ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-505-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-505-2]]))
2822++ test-types-union-singleton
2830++ test-types-union-singleton
2823− (weld (check ~.types-union-singleton src-505 `tok-505 `tre-505) (check-types ~.types-union-singleton ~[%tests %golden ~.types-union-singleton %source %jibb] src-505 `typ-505))
2831+ (weld (check ~.types-union-singleton src-506 `tok-506 `tre-506) (check-types ~.types-union-singleton ~[%tests %golden ~.types-union-singleton %source %jibb] src-506 `typ-506))
2824++ test-types-union-tag-atoms
2832++ test-types-union-tag-atoms
2825− (weld (check ~.types-union-tag-atoms src-506 `tok-506 `tre-506) (check-types ~.types-union-tag-atoms ~[%tests %golden ~.types-union-tag-atoms %source %jibb] src-506 `typ-506))
2833+ (weld (check ~.types-union-tag-atoms src-507 `tok-507 `tre-507) (check-types ~.types-union-tag-atoms ~[%tests %golden ~.types-union-tag-atoms %source %jibb] src-507 `typ-507))
2826++ test-types-union-tags
2834++ test-types-union-tags
2827− (weld (check ~.types-union-tags src-507 `tok-507 `tre-507) (check-types ~.types-union-tags ~[%tests %golden ~.types-union-tags %source %jibb] src-507 `typ-507))
2835+ (weld (check ~.types-union-tags src-508 `tok-508 `tre-508) (check-types ~.types-union-tags ~[%tests %golden ~.types-union-tags %source %jibb] src-508 `typ-508))
2828++ test-types-union-unresolved
2836++ test-types-union-unresolved
2829− (weld (check ~.types-union-unresolved src-508 `tok-508 `tre-508) (check-types ~.types-union-unresolved ~[%tests %golden ~.types-union-unresolved %source %jibb] src-508 `typ-508))
2837+ (weld (check ~.types-union-unresolved src-509 `tok-509 `tre-509) (check-types ~.types-union-unresolved ~[%tests %golden ~.types-union-unresolved %source %jibb] src-509 `typ-509))
2830++ test-types-union-unresolved-flow
2838++ test-types-union-unresolved-flow
2831− (weld (check ~.types-union-unresolved-flow src-509 `tok-509 `tre-509) (check-types ~.types-union-unresolved-flow ~[%tests %golden ~.types-union-unresolved-flow %source %jibb] src-509 `typ-509))
2839+ (weld (check ~.types-union-unresolved-flow src-510 `tok-510 `tre-510) (check-types ~.types-union-unresolved-flow ~[%tests %golden ~.types-union-unresolved-flow %source %jibb] src-510 `typ-510))
2832++ test-types-unit-context
2840++ test-types-unit-context
2833− (weld (check ~.types-unit-context src-510 `tok-510 `tre-510) (check-types ~.types-unit-context ~[%tests %golden ~.types-unit-context %source %jibb] src-510 `typ-510))
2841+ (weld (check ~.types-unit-context src-511 `tok-511 `tre-511) (check-types ~.types-unit-context ~[%tests %golden ~.types-unit-context %source %jibb] src-511 `typ-511))
2834++ test-types-unit-patterns
2842++ test-types-unit-patterns
2835− (weld (check ~.types-unit-patterns src-511 `tok-511 `tre-511) (check-types ~.types-unit-patterns ~[%tests %golden ~.types-unit-patterns %source %jibb] src-511 `typ-511))
2843+ (weld (check ~.types-unit-patterns src-512 `tok-512 `tre-512) (check-types ~.types-unit-patterns ~[%tests %golden ~.types-unit-patterns %source %jibb] src-512 `typ-512))
2837:: +check: run golden:jibb on a case and compare both outputs
2845:: +check: run golden:jibb on a case and compare both outputs