git.iko.soy/jibb
on master help sign in
Add source-backed text conversion wrappers

Define trip and tuba in Jibb over private primitive interfaces, matching the target ship's cord, tape, and UTF-32 list types. Keep the private tuba wrapper independent of the public list bootstrap. Add inference and mismatch goldens and advance the unchanged todo report to its remaining branch-context limitation. Execution and jet recognition remain backend work.

commitab6fdc164aa17099f3151b79c736213f2c03349d authoriko <mail@iko.soy> dateSat 31 Oct 2026, 19:49 (1 day ago) parentb5cdc80
14 files changed+735−573
compare with master
unifiedsplit
docs/compiler.md+1−1 docs/prelude-inventory.md+2 docs/status.md+8−5 jibb-dev/lib/jibb.hoon+6−1 jibb-dev/lib/jibb/internal.jibb+2 jibb-dev/lib/jibb/prelude.jibb+3 tests/golden/types-prelude-text/about.txt+4 tests/golden/types-prelude-text/modules.txt+1 tests/golden/types-prelude-text/source.jibb+8 tests/golden/types-prelude-text/tokens.txt+66 tests/golden/types-prelude-text/tree.txt+36 tests/golden/types-prelude-text/types.txt+26 tests/lib/jibb.hoon+571−565 tests/type-todo-partial/expected.txt+1−1
docs/compiler.md+1−1
@@ -132,7 +132,7 @@ Each case's canonical API identity and source-derived schema travel across impor
132132
133133`+golden-types-with-prelude` accepts case-local Jibb module sources alongside `/sur` and mark results and the vendored prelude source. It resolves reachable ordinary library modules in dependency order, caching completed interfaces per invocation and exporting supported closed value schemes, direct generic unions, and simple or nonrecursive generic mold aliases whose bodies the fragment supports. It detects missing sources and cycles and rejects a dependency if its interface cannot be inferred by the fragment. Qualified wings can also read nested fields of an imported value, instantiating that value’s scheme independently at each use; missing, ambiguous and non-record fields remain unsupported.
134134
135−The supplied prelude is parsed into a **partial interface**: all names actually declared in the source are reserved, while only the molds and values this fragment can infer are available. These include the validated standard `list` mold, `unit`, the doc-exact generic `cmd` union, `same`, `fall`, `need`, `bond`, `lure`, `weld`, `snoc`, `turn`, `lent`, `zing`, `flop`, `rear`, `drop`, `skim`, `skip`, `murn`, `join`, `snip`, `levy`, `lien`, `cork`, `corl`, `cury`, `curr`, `lead` and `late`; unsupported entries remain unavailable. The validated `list` is injected while the prelude’s gates are inferred; `weld` and `turn` use ordinary explicit result casts. An absent or altered `list` is not injected, and an altered declaration cannot leak through a direct or transitive mold alias. The same validated template is available when prelude mold aliases are prepared, so supported direct and transitive aliases can use it. A named prelude union keeps the fixed `/lib/jibb/prelude/jibb` origin in every module, and its name remains unqualified when a library exports a type containing it. The prelude inventory is incomplete, so reserving the names in this source does not establish complete shadowing coverage. The source-backed internal prelude defines `poke`, which the public prelude re-exports as an ordinary transparent type. A dedicated trusted internal-prelude preparation path also supplies private comparison and arithmetic schemes for the Jibb-written `gth`, `add` and `dec` wrappers. Ordinary module resolution rejects that primitive path even if a caller supplies a spoofed root or bundle. The low-level prepared interface is still trusted host input; the host must select the vendored sources and canonicalize paths. Primitive execution and shape-based jet recognition are not implemented. The Jibb-written `lth`, `gte` and `lte` gates compose the source-backed `gth` and `not` gates; supported calls infer a shared atom constraint and return `?`. Their execution and jet recognition await the backend. The source-backed `add` and `dec` wrappers use private arithmetic interfaces whose shared atom variable excludes loobeans; the partial checker preserves that constraint through supported inference and prints `where A is an atom other than ?`. The partial checker resolves the supported `poke` source shape, preserves its public name, and rejects ordinary imports of the private internal path. The Jibb-written `lent` recursively counts a list using `add`; the partial checker infers its generic list argument and `@ud` result. Its execution and jet recognition remain unverified until the backend exists. The Jibb-written `zing` concatenates homogeneous lists in order using `weld`; the checker infers `(list (list A))` to `(list A)`, including for gate elements. Hoon `zing` also accepts heterogeneous noun lists, which this type does not express. `tools/hoon --raw -f tools/testdata/zing-hoon-reference.hoon` compares an equivalent Hoon recursion with Hoon `zing` on selected finite inputs; it does not execute Jibb or verify lowering or jet recognition. The Jibb-written `lead` and `late` are curried pair constructors: `((lead a) b)` returns `[a b]`, while `((late a) b)` returns `[b a]`. The checker infers independent argument types and accepts gates as ordinary values; neither helper invokes an input gate. A Hoon translation is compared with Hoon’s helpers by `tools/hoon --raw -f tools/testdata/lead-late-hoon-reference.hoon`. This does not execute Jibb or verify lowering or jet recognition. An imported API with one mark and a matching direct `+$ poke` declaration can export a derived constructor and retain agent/mark metadata when the source representation has the supported agent case. Other API shapes, complete private module checking, root API and kind checking, stores, complete `ask` and `pure` checking, lowering and runtime effects remain unfinished. A possible store or root API declaring `+$ poke` reports that kind or scope needs unsupported inference; definite duplicate declarations and unrelated shadowing still report conflicts. Prepared interfaces and caches are trusted caller inputs; the future host and linker must ensure the private source validated during preparation is the same version used to lower derived constructors. A `*` payload may contain gates, so the fragment treats it conservatively; full gate-free checks are unfinished. The shared module-scope fixture compares the prepared and source-taking paths against the real prelude and a two-module golden under eval and on the ship.
135+The supplied prelude is parsed into a **partial interface**: all names actually declared in the source are reserved, while only the molds and values this fragment can infer are available. These include the validated standard `list` mold, `unit`, the doc-exact generic `cmd` union, `same`, `fall`, `need`, `bond`, `lure`, `weld`, `snoc`, `turn`, `lent`, `zing`, `flop`, `rear`, `drop`, `skim`, `skip`, `murn`, `join`, `snip`, `levy`, `lien`, `cork`, `corl`, `cury`, `curr`, `lead`, `late`, `trip` and `tuba`; unsupported entries remain unavailable. The validated `list` is injected while the prelude’s gates are inferred; `weld` and `turn` use ordinary explicit result casts. An absent or altered `list` is not injected, and an altered declaration cannot leak through a direct or transitive mold alias. The same validated template is available when prelude mold aliases are prepared, so supported direct and transitive aliases can use it. A named prelude union keeps the fixed `/lib/jibb/prelude/jibb` origin in every module, and its name remains unqualified when a library exports a type containing it. The prelude inventory is incomplete, so reserving the names in this source does not establish complete shadowing coverage. The source-backed internal prelude defines `poke`, which the public prelude re-exports as an ordinary transparent type. A dedicated trusted internal-prelude preparation path also supplies private comparison, arithmetic and text-conversion schemes for the Jibb-written `gth`, `add`, `dec`, `trip` and `tuba` wrappers. Ordinary module resolution rejects that primitive path even if a caller supplies a spoofed root or bundle. The low-level prepared interface is still trusted host input; the host must select the vendored sources and canonicalize paths. Primitive execution and shape-based jet recognition are not implemented. The Jibb-written `lth`, `gte` and `lte` gates compose the source-backed `gth` and `not` gates; supported calls infer a shared atom constraint and return `?`. Their execution and jet recognition await the backend. The source-backed `add` and `dec` wrappers use private arithmetic interfaces whose shared atom variable excludes loobeans; the partial checker preserves that constraint through supported inference and prints `where A is an atom other than ?`. The partial checker resolves the supported `poke` source shape, preserves its public name, and rejects ordinary imports of the private internal path. The Jibb-written `lent` recursively counts a list using `add`; the partial checker infers its generic list argument and `@ud` result. Its execution and jet recognition remain unverified until the backend exists. The Jibb-written `zing` concatenates homogeneous lists in order using `weld`; the checker infers `(list (list A))` to `(list A)`, including for gate elements. Hoon `zing` also accepts heterogeneous noun lists, which this type does not express. `tools/hoon --raw -f tools/testdata/zing-hoon-reference.hoon` compares an equivalent Hoon recursion with Hoon `zing` on selected finite inputs; it does not execute Jibb or verify lowering or jet recognition. The Jibb-written `lead` and `late` are curried pair constructors: `((lead a) b)` returns `[a b]`, while `((late a) b)` returns `[b a]`. The checker infers independent argument types and accepts gates as ordinary values; neither helper invokes an input gate. A Hoon translation is compared with Hoon’s helpers by `tools/hoon --raw -f tools/testdata/lead-late-hoon-reference.hoon`. This does not execute Jibb or verify lowering or jet recognition. An imported API with one mark and a matching direct `+$ poke` declaration can export a derived constructor and retain agent/mark metadata when the source representation has the supported agent case. Other API shapes, complete private module checking, root API and kind checking, stores, complete `ask` and `pure` checking, lowering and runtime effects remain unfinished. A possible store or root API declaring `+$ poke` reports that kind or scope needs unsupported inference; definite duplicate declarations and unrelated shadowing still report conflicts. Prepared interfaces and caches are trusted caller inputs; the future host and linker must ensure the private source validated during preparation is the same version used to lower derived constructors. A `*` payload may contain gates, so the fragment treats it conservatively; full gate-free checks are unfinished. The shared module-scope fixture compares the prepared and source-taking paths against the real prelude and a two-module golden under eval and on the ship.
136136
137137`+prepare-prelude` derives the interface and declared-name inventory from the trusted vendored source. Hosts can reuse its result with `+golden-types-with-prepared-prelude`; they must pass the unchanged result of preparation, not an independently constructed value. Empty, malformed and duplicate-name prelude sources fail closed. The source-taking `+prepare-prelude` and `+golden-types-with-prelude` do not supply the internal module; their `-and-internal` or `-with-internal` variants accept its source for the supported private import. API files, modules with `main`, unsupported definitions and many other features remain outside this subset. The older `+golden-types-with-modules` entry point fails closed for imports because it has no prelude scope. None of these partial reports claims the module has been checked.
138138
docs/prelude-inventory.md+2
@@ -162,6 +162,8 @@ The compiler-result `tone.hoon` has the three cases listed above; the qualified
162162
163163`at`, `cass`, `cuss`, `crip`, `mesc`, `runt`, `sand`, `sane`, `ruth`, `trim`, `trip`, `teff`, `taft`, `tuba`, `tufa`, `tuft`, `wack`, `wick`, `woad`, `wood`.
164164
165+The prelude writes `trip` and `tuba` over private primitives. Their inferred types are `$-(@t (list @tD))` and `$-((list @tD) (list @c))`, matching the target ship's Hoon 135 definitions. Composition with `lent` and invalid argument controls pass in the partial checker; primitive lowering, execution and jet recognition remain unfinished.
166+
165167## 4k
166168
167169`co`.
docs/status.md+8−5
@@ -69,6 +69,8 @@ An eval and ship fixture now reports partial inference for the unchanged todo is
6969
7070The prelude now writes `lth`, `gte` and `lte` in Jibb using `gth` and `not`. Supported generic and concrete calls infer, including loobeans; mismatched explicit auras fail. Execution, jet recognition and complete import checking remain unfinished.
7171
72+The prelude also writes `trip` and `tuba` over private primitives, with inferred cord, tape and UTF-32 list types matching the target ship's Hoon 135 definitions. Their composition with `lent` and invalid argument controls pass under eval and on the ship; primitive lowering, execution and jet recognition remain unfinished. In the unchanged todo report, `update` now reaches its remaining branch-context limitation instead of failing on missing text names.
73+
7274The Hoon reader can prove overlaps among supported original `$?` source cases, including nested cells and unions with more than two cases, and report them at a Jibb use site. It evaluates each case independently and compares runtime noun values. Other overlaps, Hoon case locations and mark-reader overlap diagnostics remain unfinished. The source screen allows at most 128 cases and 4,096 source noun nodes; dependency checking and pairwise witness analysis each have a separate 4,096-node budget. These budgets do not bound chapter lookup, Hoon evaluation or graph walks.
7375
7476Restricted-number promotion now skips an environment scan when a definition has no written capitals. In a single startup-inclusive pair on 2,000 independent gates, output was identical and user CPU fell from 71.67 to 38.26 seconds; wall time was 72.80 versus 51.66 seconds with other checks running. This is a partial-inference measurement, not a complete checker or a bound on dependent modules.
@@ -89,8 +91,8 @@ What the plan asks for, and where it is:
8991
9092Besides the plan's list:
9193
92−- 658 golden cases: 438 that parse and 220 that fail, each failure at a stated line and column. One failing case has an unclear expectation (corpus question 3). The newer type-output cases exercise only the partial inference fragment. Each case's `about.txt` quotes the doc's words it tests.
93−- The 658-case corpus passed under `urbit eval` in 116.7 s while other checks were running. The fake ship passed all 704 tests, including the source-overlap, structural-overlap, generic-union source and alias-overlap, full-module overlap, deferred-context, generic-recursion, generic-construction, generic-pattern, deferred-inference, empty-mold and cell-branch fixtures, importer, importer/checker and mark/checker bridges, module scope, unification, hole, qath, ask, default-wrapper importer, projection, arithmetic, generic-alias, positional-face, API-evidence, request, closed-gate, todo API, constructor, sub, nested-union, gate-free and direct-gate guards and the unchanged todo report. Desk sync took 107.6 s while other checks were running. The importer golden compares 221 projections; `tools/clay-fixtures` builds the example Hoon fixtures through Clay, checks a recursive Ford import's origin, and passes Clay-built types through the Clay-built importer and partial checker.
94+- 659 golden cases: 439 that parse and 220 that fail, each failure at a stated line and column. One failing case has an unclear expectation (corpus question 3). The newer type-output cases exercise only the partial inference fragment. Each case's `about.txt` quotes the doc's words it tests.
95+- The 659-case corpus passed under `urbit eval` in 103.2 s while other checks were running. The fake ship passed all 705 tests, including the source-overlap, structural-overlap, generic-union source and alias-overlap, full-module overlap, deferred-context, generic-recursion, generic-construction, generic-pattern, deferred-inference, empty-mold and cell-branch fixtures, importer, importer/checker and mark/checker bridges, module scope, unification, hole, qath, ask, default-wrapper importer, projection, arithmetic, generic-alias, positional-face, API-evidence, request, closed-gate, todo API, constructor, sub, nested-union, gate-free and direct-gate guards and the unchanged todo report. Desk sync took 99.8 s while other checks were running. The importer golden compares 221 projections; `tools/clay-fixtures` builds the example Hoon fixtures through Clay, checks a recursive Ford import's origin, and passes Clay-built types through the Clay-built importer and partial checker.
9496- `tools/testdata/selftest` (22 checks), `tools/testdata/ship-selftest` and `tools/testdata/clay-fixtures-selftest` test the tools themselves; the last checks temporary Clay fixture cleanup and signal handling without a ship.
9597- Two independent audits before 7c739b7, one of which compared the library with a reference parser written in Python from the doc over about 19,000 generated programs. Before ab797a9, a second Python parser, written from the decisions, agreed with the library on 8,000 generated programs and 900 hand-written probes.
9698- Speed: starting `urbit eval` and building the library takes about 8 s. After that, a 2,000-line module of 400 definitions parses in about a second. Loops over definitions, arms, lines and items grow no stack; nesting costs a few stack frames a level, and 100,000 nested brackets still parse (library section 3).
@@ -202,14 +204,15 @@ Besides the plan's list:
202204| 341bcb4 | 2026-10-31 | Keep deferred fits stable under later substitutions |
203205| b93a94b | 2026-10-31 | Prove local generic-alias union tags and add successor |
204206| 2826c93 | 2026-10-31 | Report generic-alias overlaps and retain deferred branch contexts |
205−| This change | 2026-10-31 | Preserve full-module overlap source evidence |
207+| b5cdc80 | 2026-10-31 | Preserve full-module overlap source evidence |
208+| This change | 2026-10-31 | Add source-backed text conversion wrappers |
206209
207210## Checking it
208211
209212On a machine set up as [development.md](development.md) says:
210213
211214```
212−tools/golden # 658 cases under urbit eval
215+tools/golden # 659 cases under urbit eval
213216tools/importer-test # the Hoon importer fixture projection
214217tools/type-import-default-test # default-wrapped source proof golden
215218tools/type-import-test # the importer/checker bridge fixture
@@ -244,7 +247,7 @@ tools/testdata/selftest # the tools themselves
244247tools/doc-blocks docs/spec # the doc's examples are golden cases
245248tools/ship start
246249tools/ship gen-tests --check # tests/lib/jibb.hoon is up to date
247−tools/ship test # the same 658 cases as -test arms on the ship
250+tools/ship test # the same 659 cases as -test arms on the ship
248251tools/testdata/ship-selftest
249252tools/testdata/clay-fixtures-selftest # scratch fixture cleanup without a ship
250253tools/ship check-commit # |commit stores .jibb files
jibb-dev/lib/jibb.hoon+6−1
@@ -11419,7 +11419,12 @@
1141911419 =/ plus=ischeme [[%fn [%cell b b] b] ~[0]]
1142011420 =/ minus=ischeme [[%fn b b] ~[0]]
1142111421 =/ greater=ischeme [[%fn pair [%flag ~]] ~[0]]
11422− [~[[%raw-add plus] [%raw-dec minus] [%raw-gth greater]] ~ /lib/jibb/primitives/jibb ~ ~ ~ ~ ~]
11422+ =/ utf8=itype [%atom 'tD']
11423+ =/ tape=itype [%collection %list ~[utf8]]
11424+ =/ codepoints=itype [%collection %list ~[[%atom %c]]]
11425+ =/ text-trip=ischeme [[%fn [%atom %t] tape] ~]
11426+ =/ text-tuba=ischeme [[%fn tape codepoints] ~]
11427+ [~[[%raw-add plus] [%raw-dec minus] [%raw-gth greater] [%raw-trip text-trip] [%raw-tuba text-tuba]] ~ /lib/jibb/primitives/jibb ~ ~ ~ ~ ~]
1142311428::
1142411429++ infer-private-internal
1142511430 |= [src=@t public-source=@t]
jibb-dev/lib/jibb/internal.jibb+2
@@ -18,6 +18,8 @@
1818:: Private compiler primitive wrappers; execution is a later milestone.
1919++ add-atom |= args=[A A] (raw-add.core args)
2020++ dec-atom |= atom=A (raw-dec.core atom)
21+++ trip-text |= value=@t (raw-trip.core value)
22+++ tuba-text |= values (raw-tuba.core values)
2123
2224:: Transparent request data. Identity and path fields are writable and do not
2325:: prove a schema or watchability. A future executor must bind them to checked
jibb-dev/lib/jibb/prelude.jibb+3
@@ -373,3 +373,6 @@
373373++ late |= second=B |= first=A [first second]
374374
375375++ succ |= x=A (add x 1)
376+
377+++ trip |= value=@t (trip-text.internal value)
378+++ tuba |= values=(list @tD) (tuba-text.internal values)
tests/golden/types-prelude-text/about.txtnew file+4
@@ -0,0 +1,4 @@
1+source: docs/spec/overview.md, Prelude: "Text ... crip, trip, cass, cuss, trim, tufa, tuba"; the target ship's Hoon 135 definitions give trip and tuba their tape and UTF-32 types.
2+tests: Source-backed trip and tuba wrappers preserve cord, tape and UTF-32 list types through composition and generic list length. Empty input infers; non-cord and non-tape arguments fail. Primitive lowering and execution remain unfinished. The module report is partial.
3+expect: parses
4+expect-types: a partial inference report
tests/golden/types-prelude-text/modules.txtnew file+1
@@ -0,0 +1 @@
1+# no module fixtures
tests/golden/types-prelude-text/source.jibbnew file+8
@@ -0,0 +1,8 @@
1+++ to-tape (trip "abc")
2+++ to-codepoints (tuba (trip "abc"))
3+++ empty-codepoints (tuba ~)
4+++ count-codepoints |= value=@t
5+ (lent (tuba (trip value)))
6+++ bad-trip (trip ~zod)
7+++ bad-tuba (tuba "abc")
8+++ bad-tuba-items (tuba ~[~zod])
tests/golden/types-prelude-text/tokens.txtnew file+66
@@ -0,0 +1,66 @@
1+1:1 glyph ++
2+1:4 name to-tape
3+1:12 glyph (
4+1:13 tight name trip
5+1:18 str "abc"
6+1:23 tight glyph )
7+2:1 NEWLINE
8+2:1 glyph ++
9+2:4 name to-codepoints
10+2:18 glyph (
11+2:19 tight name tuba
12+2:24 glyph (
13+2:25 tight name trip
14+2:30 str "abc"
15+2:35 tight glyph )
16+2:36 tight glyph )
17+3:1 NEWLINE
18+3:1 glyph ++
19+3:4 name empty-codepoints
20+3:21 glyph (
21+3:22 tight name tuba
22+3:27 lit ~
23+3:28 tight glyph )
24+4:1 NEWLINE
25+4:1 glyph ++
26+4:4 name count-codepoints
27+4:21 glyph |=
28+4:24 name value
29+4:29 tight glyph =
30+4:30 tight aura @t
31+5:3 INDENT
32+5:3 glyph (
33+5:4 tight name lent
34+5:9 glyph (
35+5:10 tight name tuba
36+5:15 glyph (
37+5:16 tight name trip
38+5:21 name value
39+5:26 tight glyph )
40+5:27 tight glyph )
41+5:28 tight glyph )
42+6:1 DEDENT
43+6:1 NEWLINE
44+6:1 glyph ++
45+6:4 name bad-trip
46+6:13 glyph (
47+6:14 tight name trip
48+6:19 lit ~zod
49+6:23 tight glyph )
50+7:1 NEWLINE
51+7:1 glyph ++
52+7:4 name bad-tuba
53+7:13 glyph (
54+7:14 tight name tuba
55+7:19 str "abc"
56+7:24 tight glyph )
57+8:1 NEWLINE
58+8:1 glyph ++
59+8:4 name bad-tuba-items
60+8:19 glyph (
61+8:20 tight name tuba
62+8:25 glyph ~[
63+8:27 tight lit ~zod
64+8:31 tight glyph ]
65+8:32 tight glyph )
66+8:33 NEWLINE
tests/golden/types-prelude-text/tree.txtnew file+36
@@ -0,0 +1,36 @@
1+(module
2+ (value 1:1 to-tape
3+ (group 1:12
4+ (call 1:13 (wing 1:13 trip) (str 1:18 "abc"))))
5+ (value 2:1 to-codepoints
6+ (group 2:18
7+ (call 2:19
8+ (wing 2:19 tuba)
9+ (group 2:24
10+ (call 2:25 (wing 2:25 trip) (str 2:30 "abc"))))))
11+ (value 3:1 empty-codepoints
12+ (group 3:21
13+ (call 3:22 (wing 3:22 tuba) (lit 3:27 ~))))
14+ (value 4:1 count-codepoints
15+ (gate 4:21
16+ (face 4:24 value (aura 4:30 @t))
17+ (body 5:3
18+ (group 5:3
19+ (call 5:4
20+ (wing 5:4 lent)
21+ (group 5:9
22+ (call 5:10
23+ (wing 5:10 tuba)
24+ (group 5:15
25+ (call 5:16 (wing 5:16 trip) (wing 5:21 value))))))))))
26+ (value 6:1 bad-trip
27+ (group 6:13
28+ (call 6:14 (wing 6:14 trip) (lit 6:19 ~zod))))
29+ (value 7:1 bad-tuba
30+ (group 7:13
31+ (call 7:14 (wing 7:14 tuba) (str 7:19 "abc"))))
32+ (value 8:1 bad-tuba-items
33+ (group 8:19
34+ (call 8:20
35+ (wing 8:20 tuba)
36+ (list 8:25 (lit 8:27 ~zod))))))
tests/golden/types-prelude-text/types.txtnew file+26
@@ -0,0 +1,26 @@
1+partial inference; module not checked
2+++ to-tape: (list @tD)
3+++ to-codepoints: (list @c)
4+++ empty-codepoints: (list @c)
5+++ count-codepoints: $-(@t @ud)
6+++ bad-trip: call's sample and argument types do not unify
7+/tests/golden/types-prelude-text/source.jibb:6:14: called gate has type $-(@t (list @tD))
8+++ bad-trip (trip ~zod)
9+ ^
10+/tests/golden/types-prelude-text/source.jibb:6:19: argument has type @p
11+++ bad-trip (trip ~zod)
12+ ^
13+++ bad-tuba: call's sample and argument types do not unify
14+/tests/golden/types-prelude-text/source.jibb:7:14: called gate has type $-((list @tD) (list @c))
15+++ bad-tuba (tuba "abc")
16+ ^
17+/tests/golden/types-prelude-text/source.jibb:7:19: argument has type @t
18+++ bad-tuba (tuba "abc")
19+ ^
20+++ bad-tuba-items: list item does not fit its expected type
21+/tests/golden/types-prelude-text/source.jibb:8:20: expected item has type @tD
22+++ bad-tuba-items (tuba ~[~zod])
23+ ^
24+/tests/golden/types-prelude-text/source.jibb:8:27: list item has type @p
25+++ bad-tuba-items (tuba ~[~zod])
26+ ^
tests/lib/jibb.hoon+571−565
@@ -1990,466 +1990,470 @@
19901990/* tok-553 %txt /tests/golden/types-prelude-succ/tokens/txt
19911991/* tre-553 %txt /tests/golden/types-prelude-succ/tree/txt
19921992/* typ-553 %txt /tests/golden/types-prelude-succ/types/txt
1993−/* src-554 %jibb /tests/golden/types-prelude-unit-helpers/source/jibb
1994−/* tok-554 %txt /tests/golden/types-prelude-unit-helpers/tokens/txt
1995−/* tre-554 %txt /tests/golden/types-prelude-unit-helpers/tree/txt
1996−/* typ-554 %txt /tests/golden/types-prelude-unit-helpers/types/txt
1997−/* src-555 %jibb /tests/golden/types-prelude-zing/source/jibb
1998−/* tok-555 %txt /tests/golden/types-prelude-zing/tokens/txt
1999−/* tre-555 %txt /tests/golden/types-prelude-zing/tree/txt
2000−/* typ-555 %txt /tests/golden/types-prelude-zing/types/txt
2001−/* src-556 %jibb /tests/golden/types-proj-explicit-context/source/jibb
2002−/* tok-556 %txt /tests/golden/types-proj-explicit-context/tokens/txt
2003−/* tre-556 %txt /tests/golden/types-proj-explicit-context/tree/txt
2004−/* typ-556 %txt /tests/golden/types-proj-explicit-context/types/txt
2005−/* src-557 %jibb /tests/golden/types-proj-nested-no-implicit/source/jibb
2006−/* tok-557 %txt /tests/golden/types-proj-nested-no-implicit/tokens/txt
2007−/* tre-557 %txt /tests/golden/types-proj-nested-no-implicit/tree/txt
2008−/* typ-557 %txt /tests/golden/types-proj-nested-no-implicit/types/txt
2009−/* src-558 %jibb /tests/golden/types-proj-reserved-imported-definition/source/jibb
2010−/* tok-558 %txt /tests/golden/types-proj-reserved-imported-definition/tokens/txt
2011−/* tre-558 %txt /tests/golden/types-proj-reserved-imported-definition/tree/txt
2012−/* mod-558-1 %jibb /tests/golden/types-proj-reserved-imported-definition/modules/ui/lib/jibb
2013−/* typ-558 %txt /tests/golden/types-proj-reserved-imported-definition/types/txt
2014−/* mtre-558 %txt /tests/golden/types-proj-reserved-imported-definition/module-trees/txt
2015−/* src-559 %jibb /tests/golden/types-proj-reserved-jibb-import/source/jibb
2016−/* tok-559 %txt /tests/golden/types-proj-reserved-jibb-import/tokens/txt
2017−/* tre-559 %txt /tests/golden/types-proj-reserved-jibb-import/tree/txt
2018−/* mod-559-1 %jibb /tests/golden/types-proj-reserved-jibb-import/modules/ui/lib/jibb
2019−/* typ-559 %txt /tests/golden/types-proj-reserved-jibb-import/types/txt
2020−/* mtre-559 %txt /tests/golden/types-proj-reserved-jibb-import/module-trees/txt
2021−/* src-560 %jibb /tests/golden/types-proj-reserved-local/source/jibb
2022−/* tok-560 %txt /tests/golden/types-proj-reserved-local/tokens/txt
2023−/* tre-560 %txt /tests/golden/types-proj-reserved-local/tree/txt
2024−/* typ-560 %txt /tests/golden/types-proj-reserved-local/types/txt
2025−/* src-561 %jibb /tests/golden/types-proj-reserved-local-mold/source/jibb
2026−/* tok-561 %txt /tests/golden/types-proj-reserved-local-mold/tokens/txt
2027−/* tre-561 %txt /tests/golden/types-proj-reserved-local-mold/tree/txt
2028−/* typ-561 %txt /tests/golden/types-proj-reserved-local-mold/types/txt
2029−/* src-562 %jibb /tests/golden/types-proj-reserved-mark-import/source/jibb
2030−/* tok-562 %txt /tests/golden/types-proj-reserved-mark-import/tokens/txt
2031−/* tre-562 %txt /tests/golden/types-proj-reserved-mark-import/tree/txt
2032−/* typ-562 %txt /tests/golden/types-proj-reserved-mark-import/types/txt
2033−/* src-563 %jibb /tests/golden/types-proj-reserved-mold/source/jibb
2034−/* tok-563 %txt /tests/golden/types-proj-reserved-mold/tokens/txt
2035−/* tre-563 %txt /tests/golden/types-proj-reserved-mold/tree/txt
2036−/* typ-563 %txt /tests/golden/types-proj-reserved-mold/types/txt
2037−/* src-564 %jibb /tests/golden/types-proj-reserved-pattern/source/jibb
2038−/* tok-564 %txt /tests/golden/types-proj-reserved-pattern/tokens/txt
2039−/* tre-564 %txt /tests/golden/types-proj-reserved-pattern/tree/txt
2040−/* typ-564 %txt /tests/golden/types-proj-reserved-pattern/types/txt
2041−/* src-565 %jibb /tests/golden/types-proj-reserved-positive/source/jibb
2042−/* tok-565 %txt /tests/golden/types-proj-reserved-positive/tokens/txt
2043−/* tre-565 %txt /tests/golden/types-proj-reserved-positive/tree/txt
2044−/* typ-565 %txt /tests/golden/types-proj-reserved-positive/types/txt
2045−/* src-566 %jibb /tests/golden/types-proj-reserved-sample/source/jibb
2046−/* tok-566 %txt /tests/golden/types-proj-reserved-sample/tokens/txt
2047−/* tre-566 %txt /tests/golden/types-proj-reserved-sample/tree/txt
2048−/* typ-566 %txt /tests/golden/types-proj-reserved-sample/types/txt
2049−/* src-567 %jibb /tests/golden/types-proj-reserved-sur-import/source/jibb
2050−/* tok-567 %txt /tests/golden/types-proj-reserved-sur-import/tokens/txt
2051−/* tre-567 %txt /tests/golden/types-proj-reserved-sur-import/tree/txt
2052−/* typ-567 %txt /tests/golden/types-proj-reserved-sur-import/types/txt
2053−/* src-568 %jibb /tests/golden/types-proj-reserved-unused-pattern/source/jibb
2054−/* tok-568 %txt /tests/golden/types-proj-reserved-unused-pattern/tokens/txt
2055−/* tre-568 %txt /tests/golden/types-proj-reserved-unused-pattern/tree/txt
2056−/* typ-568 %txt /tests/golden/types-proj-reserved-unused-pattern/types/txt
2057−/* src-569 %jibb /tests/golden/types-proj-reserved-unused-sample/source/jibb
2058−/* tok-569 %txt /tests/golden/types-proj-reserved-unused-sample/tokens/txt
2059−/* tre-569 %txt /tests/golden/types-proj-reserved-unused-sample/tree/txt
2060−/* typ-569 %txt /tests/golden/types-proj-reserved-unused-sample/types/txt
2061−/* src-570 %jibb /tests/golden/types-proj-reserved-unused-value/source/jibb
2062−/* tok-570 %txt /tests/golden/types-proj-reserved-unused-value/tokens/txt
2063−/* tre-570 %txt /tests/golden/types-proj-reserved-unused-value/tree/txt
2064−/* typ-570 %txt /tests/golden/types-proj-reserved-unused-value/types/txt
2065−/* src-571 %jibb /tests/golden/types-proj-reserved-value/source/jibb
2066−/* tok-571 %txt /tests/golden/types-proj-reserved-value/tokens/txt
2067−/* tre-571 %txt /tests/golden/types-proj-reserved-value/tree/txt
2068−/* typ-571 %txt /tests/golden/types-proj-reserved-value/types/txt
2069−/* src-572 %jibb /tests/golden/types-proj-single-duplicate/source/jibb
2070−/* tok-572 %txt /tests/golden/types-proj-single-duplicate/tokens/txt
2071−/* tre-572 %txt /tests/golden/types-proj-single-duplicate/tree/txt
2072−/* typ-572 %txt /tests/golden/types-proj-single-duplicate/types/txt
2073−/* src-573 %jibb /tests/golden/types-proj-single-field/source/jibb
2074−/* tok-573 %txt /tests/golden/types-proj-single-field/tokens/txt
2075−/* tre-573 %txt /tests/golden/types-proj-single-field/tree/txt
2076−/* typ-573 %txt /tests/golden/types-proj-single-field/types/txt
2077−/* src-574 %jibb /tests/golden/types-proj-single-sample-face/source/jibb
2078−/* tok-574 %txt /tests/golden/types-proj-single-sample-face/tokens/txt
2079−/* tre-574 %txt /tests/golden/types-proj-single-sample-face/tree/txt
2080−/* typ-574 %txt /tests/golden/types-proj-single-sample-face/types/txt
2081−/* src-575 %jibb /tests/golden/types-proj-single-wrapped/source/jibb
2082−/* tok-575 %txt /tests/golden/types-proj-single-wrapped/tokens/txt
2083−/* tre-575 %txt /tests/golden/types-proj-single-wrapped/tree/txt
2084−/* typ-575 %txt /tests/golden/types-proj-single-wrapped/types/txt
2085−/* src-576 %jibb /tests/golden/types-qath-faces/source/jibb
2086−/* tok-576 %txt /tests/golden/types-qath-faces/tokens/txt
2087−/* tre-576 %txt /tests/golden/types-qath-faces/tree/txt
2088−/* typ-576 %txt /tests/golden/types-qath-faces/types/txt
2089−/* src-577 %jibb /tests/golden/types-qath-holes/source/jibb
2090−/* tok-577 %txt /tests/golden/types-qath-holes/tokens/txt
2091−/* tre-577 %txt /tests/golden/types-qath-holes/tree/txt
2092−/* typ-577 %txt /tests/golden/types-qath-holes/types/txt
2093−/* src-578 %jibb /tests/golden/types-qath-module-identity/source/jibb
2094−/* tok-578 %txt /tests/golden/types-qath-module-identity/tokens/txt
2095−/* tre-578 %txt /tests/golden/types-qath-module-identity/tree/txt
2096−/* mod-578-1 %jibb /tests/golden/types-qath-module-identity/modules/ui/one/jibb
2097−/* mod-578-2 %jibb /tests/golden/types-qath-module-identity/modules/ui/two/jibb
2098−/* mod-578-3 %jibb /tests/golden/types-qath-module-identity/modules/ui/mid/jibb
2099−/* typ-578 %txt /tests/golden/types-qath-module-identity/types/txt
2100−/* mtre-578 %txt /tests/golden/types-qath-module-identity/module-trees/txt
2101−/* src-579 %jibb /tests/golden/types-qath-recursive/source/jibb
2102−/* tok-579 %txt /tests/golden/types-qath-recursive/tokens/txt
2103−/* tre-579 %txt /tests/golden/types-qath-recursive/tree/txt
2104−/* typ-579 %txt /tests/golden/types-qath-recursive/types/txt
2105−/* src-580 %jibb /tests/golden/types-record-bound-variable/source/jibb
2106−/* tok-580 %txt /tests/golden/types-record-bound-variable/tokens/txt
2107−/* tre-580 %txt /tests/golden/types-record-bound-variable/tree/txt
2108−/* typ-580 %txt /tests/golden/types-record-bound-variable/types/txt
2109−/* src-581 %jibb /tests/golden/types-record-cast-context/source/jibb
2110−/* tok-581 %txt /tests/golden/types-record-cast-context/tokens/txt
2111−/* tre-581 %txt /tests/golden/types-record-cast-context/tree/txt
2112−/* typ-581 %txt /tests/golden/types-record-cast-context/types/txt
2113−/* src-582 %jibb /tests/golden/types-record-change/source/jibb
2114−/* tok-582 %txt /tests/golden/types-record-change/tokens/txt
2115−/* tre-582 %txt /tests/golden/types-record-change/tree/txt
2116−/* typ-582 %txt /tests/golden/types-record-change/types/txt
2117−/* src-583 %jibb /tests/golden/types-record-change-generic/source/jibb
2118−/* tok-583 %txt /tests/golden/types-record-change-generic/tokens/txt
2119−/* tre-583 %txt /tests/golden/types-record-change-generic/tree/txt
2120−/* typ-583 %txt /tests/golden/types-record-change-generic/types/txt
2121−/* src-584 %jibb /tests/golden/types-record-faces/source/jibb
2122−/* tok-584 %txt /tests/golden/types-record-faces/tokens/txt
2123−/* tre-584 %txt /tests/golden/types-record-faces/tree/txt
2124−/* typ-584 %txt /tests/golden/types-record-faces/types/txt
2125−/* src-585 %jibb /tests/golden/types-record-field-edit-separate/source/jibb
2126−/* tok-585 %txt /tests/golden/types-record-field-edit-separate/tokens/txt
2127−/* tre-585 %txt /tests/golden/types-record-field-edit-separate/tree/txt
2128−/* typ-585 %txt /tests/golden/types-record-field-edit-separate/types/txt
2129−/* src-586 %jibb /tests/golden/types-record-field-expr-duplicate/source/jibb
2130−/* tok-586 %txt /tests/golden/types-record-field-expr-duplicate/tokens/txt
2131−/* tre-586 %txt /tests/golden/types-record-field-expr-duplicate/tree/txt
2132−/* typ-586 %txt /tests/golden/types-record-field-expr-duplicate/types/txt
2133−/* src-587 %jibb /tests/golden/types-record-field-expr-separate/source/jibb
2134−/* tok-587 %txt /tests/golden/types-record-field-expr-separate/tokens/txt
2135−/* tre-587 %txt /tests/golden/types-record-field-expr-separate/tree/txt
2136−/* typ-587 %txt /tests/golden/types-record-field-expr-separate/types/txt
2137−/* src-588 %jibb /tests/golden/types-record-field-module-reachable/source/jibb
2138−/* tok-588 %txt /tests/golden/types-record-field-module-reachable/tokens/txt
2139−/* tre-588 %txt /tests/golden/types-record-field-module-reachable/tree/txt
2140−/* mod-588-1 %jibb /tests/golden/types-record-field-module-reachable/modules/ui/lib/jibb
2141−/* typ-588 %txt /tests/golden/types-record-field-module-reachable/types/txt
2142−/* mtre-588 %txt /tests/golden/types-record-field-module-reachable/module-trees/txt
2143−/* src-589 %jibb /tests/golden/types-record-field-module-unused/source/jibb
2144−/* tok-589 %txt /tests/golden/types-record-field-module-unused/tokens/txt
2145−/* tre-589 %txt /tests/golden/types-record-field-module-unused/tree/txt
2146−/* mod-589-1 %jibb /tests/golden/types-record-field-module-unused/modules/ui/good/jibb
2147−/* mod-589-2 %jibb /tests/golden/types-record-field-module-unused/modules/ui/unused/jibb
2148−/* typ-589 %txt /tests/golden/types-record-field-module-unused/types/txt
2149−/* mtre-589 %txt /tests/golden/types-record-field-module-unused/module-trees/txt
2150−/* src-590 %jibb /tests/golden/types-record-field-nested-mold/source/jibb
2151−/* tok-590 %txt /tests/golden/types-record-field-nested-mold/tokens/txt
2152−/* tre-590 %txt /tests/golden/types-record-field-nested-mold/tree/txt
2153−/* typ-590 %txt /tests/golden/types-record-field-nested-mold/types/txt
2154−/* src-591 %jibb /tests/golden/types-record-field-outer-inner/source/jibb
2155−/* tok-591 %txt /tests/golden/types-record-field-outer-inner/tokens/txt
2156−/* tre-591 %txt /tests/golden/types-record-field-outer-inner/tree/txt
2157−/* typ-591 %txt /tests/golden/types-record-field-outer-inner/types/txt
2158−/* src-592 %jibb /tests/golden/types-record-field-sample-duplicate/source/jibb
2159−/* tok-592 %txt /tests/golden/types-record-field-sample-duplicate/tokens/txt
2160−/* tre-592 %txt /tests/golden/types-record-field-sample-duplicate/tree/txt
2161−/* typ-592 %txt /tests/golden/types-record-field-sample-duplicate/types/txt
2162−/* src-593 %jibb /tests/golden/types-record-field-separate-molds/source/jibb
2163−/* tok-593 %txt /tests/golden/types-record-field-separate-molds/tokens/txt
2164−/* tre-593 %txt /tests/golden/types-record-field-separate-molds/tree/txt
2165−/* typ-593 %txt /tests/golden/types-record-field-separate-molds/types/txt
2166−/* src-594 %jibb /tests/golden/types-record-field-unused-mold/source/jibb
2167−/* tok-594 %txt /tests/golden/types-record-field-unused-mold/tokens/txt
2168−/* tre-594 %txt /tests/golden/types-record-field-unused-mold/tree/txt
2169−/* typ-594 %txt /tests/golden/types-record-field-unused-mold/types/txt
2170−/* src-595 %jibb /tests/golden/types-record-import/source/jibb
2171−/* tok-595 %txt /tests/golden/types-record-import/tokens/txt
2172−/* tre-595 %txt /tests/golden/types-record-import/tree/txt
2173−/* mod-595-1 %jibb /tests/golden/types-record-import/modules/ui/lib/jibb
2174−/* typ-595 %txt /tests/golden/types-record-import/types/txt
2175−/* mtre-595 %txt /tests/golden/types-record-import/module-trees/txt
2176−/* src-596 %jibb /tests/golden/types-record-local-scheme/source/jibb
2177−/* tok-596 %txt /tests/golden/types-record-local-scheme/tokens/txt
2178−/* tre-596 %txt /tests/golden/types-record-local-scheme/tree/txt
2179−/* typ-596 %txt /tests/golden/types-record-local-scheme/types/txt
2180−/* src-597 %jibb /tests/golden/types-record-nested/source/jibb
2181−/* tok-597 %txt /tests/golden/types-record-nested/tokens/txt
2182−/* tre-597 %txt /tests/golden/types-record-nested/tree/txt
2183−/* typ-597 %txt /tests/golden/types-record-nested/types/txt
2184−/* src-598 %jibb /tests/golden/types-record-to-tuple/source/jibb
2185−/* tok-598 %txt /tests/golden/types-record-to-tuple/tokens/txt
2186−/* tre-598 %txt /tests/golden/types-record-to-tuple/tree/txt
2187−/* typ-598 %txt /tests/golden/types-record-to-tuple/types/txt
2188−/* src-599 %jibb /tests/golden/types-recursion-scc-failures/source/jibb
2189−/* tok-599 %txt /tests/golden/types-recursion-scc-failures/tokens/txt
2190−/* tre-599 %txt /tests/golden/types-recursion-scc-failures/tree/txt
2191−/* typ-599 %txt /tests/golden/types-recursion-scc-failures/types/txt
2192−/* src-600 %jibb /tests/golden/types-recursion-scc-groups/source/jibb
2193−/* tok-600 %txt /tests/golden/types-recursion-scc-groups/tokens/txt
2194−/* tre-600 %txt /tests/golden/types-recursion-scc-groups/tree/txt
2195−/* typ-600 %txt /tests/golden/types-recursion-scc-groups/types/txt
2196−/* src-601 %jibb /tests/golden/types-recursion-scc-import/source/jibb
2197−/* tok-601 %txt /tests/golden/types-recursion-scc-import/tokens/txt
2198−/* tre-601 %txt /tests/golden/types-recursion-scc-import/tree/txt
2199−/* mod-601-1 %jibb /tests/golden/types-recursion-scc-import/modules/ui/lib/jibb
2200−/* typ-601 %txt /tests/golden/types-recursion-scc-import/types/txt
2201−/* mtre-601 %txt /tests/golden/types-recursion-scc-import/module-trees/txt
2202−/* src-602 %jibb /tests/golden/types-recursion-scc-import-bad/source/jibb
2203−/* tok-602 %txt /tests/golden/types-recursion-scc-import-bad/tokens/txt
2204−/* tre-602 %txt /tests/golden/types-recursion-scc-import-bad/tree/txt
2205−/* mod-602-1 %jibb /tests/golden/types-recursion-scc-import-bad/modules/ui/lib/jibb
2206−/* typ-602 %txt /tests/golden/types-recursion-scc-import-bad/types/txt
2207−/* mtre-602 %txt /tests/golden/types-recursion-scc-import-bad/module-trees/txt
2208−/* src-603 %jibb /tests/golden/types-recursion-scc-local/source/jibb
2209−/* tok-603 %txt /tests/golden/types-recursion-scc-local/tokens/txt
2210−/* tre-603 %txt /tests/golden/types-recursion-scc-local/tree/txt
2211−/* typ-603 %txt /tests/golden/types-recursion-scc-local/types/txt
2212−/* src-604 %jibb /tests/golden/types-recursion-scc-order/source/jibb
2213−/* tok-604 %txt /tests/golden/types-recursion-scc-order/tokens/txt
2214−/* tre-604 %txt /tests/golden/types-recursion-scc-order/tree/txt
2215−/* typ-604 %txt /tests/golden/types-recursion-scc-order/types/txt
2216−/* src-605 %jibb /tests/golden/types-recursion-scc-shadow/source/jibb
2217−/* tok-605 %txt /tests/golden/types-recursion-scc-shadow/tokens/txt
2218−/* tre-605 %txt /tests/golden/types-recursion-scc-shadow/tree/txt
2219−/* typ-605 %txt /tests/golden/types-recursion-scc-shadow/types/txt
2220−/* src-606 %jibb /tests/golden/types-recursive-branch/source/jibb
2221−/* tok-606 %txt /tests/golden/types-recursive-branch/tokens/txt
2222−/* tre-606 %txt /tests/golden/types-recursive-branch/tree/txt
2223−/* typ-606 %txt /tests/golden/types-recursive-branch/types/txt
2224−/* src-607 %jibb /tests/golden/types-recursive-gate/source/jibb
2225−/* tok-607 %txt /tests/golden/types-recursive-gate/tokens/txt
2226−/* tre-607 %txt /tests/golden/types-recursive-gate/tree/txt
2227−/* typ-607 %txt /tests/golden/types-recursive-gate/types/txt
2228−/* src-608 %jibb /tests/golden/types-recursive-sample/source/jibb
2229−/* tok-608 %txt /tests/golden/types-recursive-sample/tokens/txt
2230−/* tre-608 %txt /tests/golden/types-recursive-sample/tree/txt
2231−/* typ-608 %txt /tests/golden/types-recursive-sample/types/txt
2232−/* src-609 %jibb /tests/golden/types-request-normal/source/jibb
2233−/* tok-609 %txt /tests/golden/types-request-normal/tokens/txt
2234−/* tre-609 %txt /tests/golden/types-request-normal/tree/txt
2235−/* mod-609-1 %jibb /tests/golden/types-request-normal/modules/ui/api/demo/jibb
2236−/* typ-609 %txt /tests/golden/types-request-normal/types/txt
2237−/* mark-609-1 %txt /tests/golden/types-request-normal/mar/full/txt
2238−/* mtre-609 %txt /tests/golden/types-request-normal/module-trees/txt
2239−/* src-610 %jibb /tests/golden/types-scope-library-poke/source/jibb
2240−/* tok-610 %txt /tests/golden/types-scope-library-poke/tokens/txt
2241−/* tre-610 %txt /tests/golden/types-scope-library-poke/tree/txt
2242−/* typ-610 %txt /tests/golden/types-scope-library-poke/types/txt
2243−/* src-611 %jibb /tests/golden/types-scope-root-api/source/jibb
2244−/* tok-611 %txt /tests/golden/types-scope-root-api/tokens/txt
2245−/* tre-611 %txt /tests/golden/types-scope-root-api/tree/txt
2246−/* typ-611 %txt /tests/golden/types-scope-root-api/types/txt
2247−/* src-612 %jibb /tests/golden/types-scope-store-duplicate/source/jibb
2248−/* tok-612 %txt /tests/golden/types-scope-store-duplicate/tokens/txt
2249−/* tre-612 %txt /tests/golden/types-scope-store-duplicate/tree/txt
2250−/* typ-612 %txt /tests/golden/types-scope-store-duplicate/types/txt
2251−/* src-613 %jibb /tests/golden/types-scope-store-shadow/source/jibb
2252−/* tok-613 %txt /tests/golden/types-scope-store-shadow/tokens/txt
2253−/* tre-613 %txt /tests/golden/types-scope-store-shadow/tree/txt
2254−/* typ-613 %txt /tests/golden/types-scope-store-shadow/types/txt
2255−/* src-614 %jibb /tests/golden/types-single-case-pattern/source/jibb
2256−/* tok-614 %txt /tests/golden/types-single-case-pattern/tokens/txt
2257−/* tre-614 %txt /tests/golden/types-single-case-pattern/tree/txt
2258−/* typ-614 %txt /tests/golden/types-single-case-pattern/types/txt
2259−/* src-615 %jibb /tests/golden/types-string-interpolation/source/jibb
2260−/* tok-615 %txt /tests/golden/types-string-interpolation/tokens/txt
2261−/* tre-615 %txt /tests/golden/types-string-interpolation/tree/txt
2262−/* typ-615 %txt /tests/golden/types-string-interpolation/types/txt
2263−/* src-616 %jibb /tests/golden/types-tuple-context/source/jibb
2264−/* tok-616 %txt /tests/golden/types-tuple-context/tokens/txt
2265−/* tre-616 %txt /tests/golden/types-tuple-context/tree/txt
2266−/* typ-616 %txt /tests/golden/types-tuple-context/types/txt
2267−/* src-617 %jibb /tests/golden/types-tuple-context-nested/source/jibb
2268−/* tok-617 %txt /tests/golden/types-tuple-context-nested/tokens/txt
2269−/* tre-617 %txt /tests/golden/types-tuple-context-nested/tree/txt
2270−/* typ-617 %txt /tests/golden/types-tuple-context-nested/types/txt
2271−/* src-618 %jibb /tests/golden/types-union-alias/source/jibb
2272−/* tok-618 %txt /tests/golden/types-union-alias/tokens/txt
2273−/* tre-618 %txt /tests/golden/types-union-alias/tree/txt
2274−/* typ-618 %txt /tests/golden/types-union-alias/types/txt
2275−/* src-619 %jibb /tests/golden/types-union-branch-context/source/jibb
2276−/* tok-619 %txt /tests/golden/types-union-branch-context/tokens/txt
2277−/* tre-619 %txt /tests/golden/types-union-branch-context/tree/txt
2278−/* typ-619 %txt /tests/golden/types-union-branch-context/types/txt
2279−/* src-620 %jibb /tests/golden/types-union-branch-pending/source/jibb
2280−/* tok-620 %txt /tests/golden/types-union-branch-pending/tokens/txt
2281−/* tre-620 %txt /tests/golden/types-union-branch-pending/tree/txt
2282−/* typ-620 %txt /tests/golden/types-union-branch-pending/types/txt
2283−/* src-621 %jibb /tests/golden/types-union-constructor-shape/source/jibb
2284−/* tok-621 %txt /tests/golden/types-union-constructor-shape/tokens/txt
2285−/* tre-621 %txt /tests/golden/types-union-constructor-shape/tree/txt
2286−/* typ-621 %txt /tests/golden/types-union-constructor-shape/types/txt
2287−/* src-622 %jibb /tests/golden/types-union-context-flow/source/jibb
2288−/* tok-622 %txt /tests/golden/types-union-context-flow/tokens/txt
2289−/* tre-622 %txt /tests/golden/types-union-context-flow/tree/txt
2290−/* typ-622 %txt /tests/golden/types-union-context-flow/types/txt
2291−/* src-623 %jibb /tests/golden/types-union-finite/source/jibb
2292−/* tok-623 %txt /tests/golden/types-union-finite/tokens/txt
2293−/* tre-623 %txt /tests/golden/types-union-finite/tree/txt
2294−/* typ-623 %txt /tests/golden/types-union-finite/types/txt
2295−/* src-624 %jibb /tests/golden/types-union-finite-context/source/jibb
2296−/* tok-624 %txt /tests/golden/types-union-finite-context/tokens/txt
2297−/* tre-624 %txt /tests/golden/types-union-finite-context/tree/txt
2298−/* typ-624 %txt /tests/golden/types-union-finite-context/types/txt
2299−/* src-625 %jibb /tests/golden/types-union-finite-generic/source/jibb
2300−/* tok-625 %txt /tests/golden/types-union-finite-generic/tokens/txt
2301−/* tre-625 %txt /tests/golden/types-union-finite-generic/tree/txt
2302−/* typ-625 %txt /tests/golden/types-union-finite-generic/types/txt
2303−/* src-626 %jibb /tests/golden/types-union-finite-limit/source/jibb
2304−/* tok-626 %txt /tests/golden/types-union-finite-limit/tokens/txt
2305−/* tre-626 %txt /tests/golden/types-union-finite-limit/tree/txt
2306−/* typ-626 %txt /tests/golden/types-union-finite-limit/types/txt
2307−/* src-627 %jibb /tests/golden/types-union-import/source/jibb
2308−/* tok-627 %txt /tests/golden/types-union-import/tokens/txt
2309−/* tre-627 %txt /tests/golden/types-union-import/tree/txt
2310−/* mod-627-1 %jibb /tests/golden/types-union-import/modules/ui/lib/jibb
2311−/* typ-627 %txt /tests/golden/types-union-import/types/txt
2312−/* mtre-627 %txt /tests/golden/types-union-import/module-trees/txt
2313−/* src-628 %jibb /tests/golden/types-union-local-pending/source/jibb
2314−/* tok-628 %txt /tests/golden/types-union-local-pending/tokens/txt
2315−/* tre-628 %txt /tests/golden/types-union-local-pending/tree/txt
2316−/* typ-628 %txt /tests/golden/types-union-local-pending/types/txt
2317−/* src-629 %jibb /tests/golden/types-union-nonwing-subject/source/jibb
2318−/* tok-629 %txt /tests/golden/types-union-nonwing-subject/tokens/txt
2319−/* tre-629 %txt /tests/golden/types-union-nonwing-subject/tree/txt
2320−/* typ-629 %txt /tests/golden/types-union-nonwing-subject/types/txt
2321−/* src-630 %jibb /tests/golden/types-union-overlap/source/jibb
2322−/* tok-630 %txt /tests/golden/types-union-overlap/tokens/txt
2323−/* tre-630 %txt /tests/golden/types-union-overlap/tree/txt
2324−/* typ-630 %txt /tests/golden/types-union-overlap/types/txt
2325−/* src-631 %jibb /tests/golden/types-union-overlap-nested/source/jibb
2326−/* tok-631 %txt /tests/golden/types-union-overlap-nested/tokens/txt
2327−/* tre-631 %txt /tests/golden/types-union-overlap-nested/tree/txt
2328−/* typ-631 %txt /tests/golden/types-union-overlap-nested/types/txt
2329−/* src-632 %jibb /tests/golden/types-union-pattern-result-context/source/jibb
2330−/* tok-632 %txt /tests/golden/types-union-pattern-result-context/tokens/txt
2331−/* tre-632 %txt /tests/golden/types-union-pattern-result-context/tree/txt
2332−/* typ-632 %txt /tests/golden/types-union-pattern-result-context/types/txt
2333−/* src-633 %jibb /tests/golden/types-union-pattern-result-controls/source/jibb
2334−/* tok-633 %txt /tests/golden/types-union-pattern-result-controls/tokens/txt
2335−/* tre-633 %txt /tests/golden/types-union-pattern-result-controls/tree/txt
2336−/* typ-633 %txt /tests/golden/types-union-pattern-result-controls/types/txt
2337−/* src-634 %jibb /tests/golden/types-union-patterns/source/jibb
2338−/* tok-634 %txt /tests/golden/types-union-patterns/tokens/txt
2339−/* tre-634 %txt /tests/golden/types-union-patterns/tree/txt
2340−/* typ-634 %txt /tests/golden/types-union-patterns/types/txt
2341−/* src-635 %jibb /tests/golden/types-union-patterns-generic/source/jibb
2342−/* tok-635 %txt /tests/golden/types-union-patterns-generic/tokens/txt
2343−/* tre-635 %txt /tests/golden/types-union-patterns-generic/tree/txt
2344−/* typ-635 %txt /tests/golden/types-union-patterns-generic/types/txt
2345−/* src-636 %jibb /tests/golden/types-union-patterns-import/source/jibb
2346−/* tok-636 %txt /tests/golden/types-union-patterns-import/tokens/txt
2347−/* tre-636 %txt /tests/golden/types-union-patterns-import/tree/txt
2348−/* mod-636-1 %jibb /tests/golden/types-union-patterns-import/modules/ui/lib/jibb
2349−/* typ-636 %txt /tests/golden/types-union-patterns-import/types/txt
2350−/* mtre-636 %txt /tests/golden/types-union-patterns-import/module-trees/txt
2351−/* src-637 %jibb /tests/golden/types-union-phantom-generic/source/jibb
2352−/* tok-637 %txt /tests/golden/types-union-phantom-generic/tokens/txt
2353−/* tre-637 %txt /tests/golden/types-union-phantom-generic/tree/txt
2354−/* typ-637 %txt /tests/golden/types-union-phantom-generic/types/txt
2355−/* src-638 %jibb /tests/golden/types-union-polymorphic-identity/source/jibb
2356−/* tok-638 %txt /tests/golden/types-union-polymorphic-identity/tokens/txt
2357−/* tre-638 %txt /tests/golden/types-union-polymorphic-identity/tree/txt
2358−/* mod-638-1 %jibb /tests/golden/types-union-polymorphic-identity/modules/ui/one/jibb
2359−/* mod-638-2 %jibb /tests/golden/types-union-polymorphic-identity/modules/ui/two/jibb
2360−/* typ-638 %txt /tests/golden/types-union-polymorphic-identity/types/txt
2361−/* mtre-638 %txt /tests/golden/types-union-polymorphic-identity/module-trees/txt
2362−/* src-639 %jibb /tests/golden/types-union-print-cross-namespace/source/jibb
2363−/* tok-639 %txt /tests/golden/types-union-print-cross-namespace/tokens/txt
2364−/* tre-639 %txt /tests/golden/types-union-print-cross-namespace/tree/txt
2365−/* mod-639-1 %jibb /tests/golden/types-union-print-cross-namespace/modules/ui/lib/jibb
2366−/* typ-639 %txt /tests/golden/types-union-print-cross-namespace/types/txt
2367−/* mtre-639 %txt /tests/golden/types-union-print-cross-namespace/module-trees/txt
2368−/* src-640 %jibb /tests/golden/types-union-print-distinct/source/jibb
2369−/* tok-640 %txt /tests/golden/types-union-print-distinct/tokens/txt
2370−/* tre-640 %txt /tests/golden/types-union-print-distinct/tree/txt
2371−/* mod-640-1 %jibb /tests/golden/types-union-print-distinct/modules/ui/left/jibb
2372−/* mod-640-2 %jibb /tests/golden/types-union-print-distinct/modules/ui/right/jibb
2373−/* mod-640-3 %jibb /tests/golden/types-union-print-distinct/modules/ui/twin/jibb
2374−/* typ-640 %txt /tests/golden/types-union-print-distinct/types/txt
2375−/* mtre-640 %txt /tests/golden/types-union-print-distinct/module-trees/txt
2376−/* src-641 %jibb /tests/golden/types-union-print-escape/source/jibb
2377−/* tok-641 %txt /tests/golden/types-union-print-escape/tokens/txt
2378−/* tre-641 %txt /tests/golden/types-union-print-escape/tree/txt
2379−/* typ-641 %txt /tests/golden/types-union-print-escape/types/txt
2380−/* src-642 %jibb /tests/golden/types-union-print-local/source/jibb
2381−/* tok-642 %txt /tests/golden/types-union-print-local/tokens/txt
2382−/* tre-642 %txt /tests/golden/types-union-print-local/tree/txt
2383−/* typ-642 %txt /tests/golden/types-union-print-local/types/txt
2384−/* src-643 %jibb /tests/golden/types-union-print-nested/source/jibb
2385−/* tok-643 %txt /tests/golden/types-union-print-nested/tokens/txt
2386−/* tre-643 %txt /tests/golden/types-union-print-nested/tree/txt
2387−/* typ-643 %txt /tests/golden/types-union-print-nested/types/txt
2388−/* src-644 %jibb /tests/golden/types-union-print-same-origin/source/jibb
2389−/* tok-644 %txt /tests/golden/types-union-print-same-origin/tokens/txt
2390−/* tre-644 %txt /tests/golden/types-union-print-same-origin/tree/txt
2391−/* mod-644-1 %jibb /tests/golden/types-union-print-same-origin/modules/ui/shared/jibb
2392−/* typ-644 %txt /tests/golden/types-union-print-same-origin/types/txt
2393−/* mtre-644 %txt /tests/golden/types-union-print-same-origin/module-trees/txt
2394−/* src-645 %jibb /tests/golden/types-union-print-transitive/source/jibb
2395−/* tok-645 %txt /tests/golden/types-union-print-transitive/tokens/txt
2396−/* tre-645 %txt /tests/golden/types-union-print-transitive/tree/txt
2397−/* mod-645-1 %jibb /tests/golden/types-union-print-transitive/modules/ui/mid/jibb
2398−/* mod-645-2 %jibb /tests/golden/types-union-print-transitive/modules/ui/base/jibb
2399−/* typ-645 %txt /tests/golden/types-union-print-transitive/types/txt
2400−/* mtre-645 %txt /tests/golden/types-union-print-transitive/module-trees/txt
2401−/* src-646 %jibb /tests/golden/types-union-runtime-equality/source/jibb
2402−/* tok-646 %txt /tests/golden/types-union-runtime-equality/tokens/txt
2403−/* tre-646 %txt /tests/golden/types-union-runtime-equality/tree/txt
2404−/* typ-646 %txt /tests/golden/types-union-runtime-equality/types/txt
2405−/* src-647 %jibb /tests/golden/types-union-singleton/source/jibb
2406−/* tok-647 %txt /tests/golden/types-union-singleton/tokens/txt
2407−/* tre-647 %txt /tests/golden/types-union-singleton/tree/txt
2408−/* typ-647 %txt /tests/golden/types-union-singleton/types/txt
2409−/* src-648 %jibb /tests/golden/types-union-source-alias/source/jibb
2410−/* tok-648 %txt /tests/golden/types-union-source-alias/tokens/txt
2411−/* tre-648 %txt /tests/golden/types-union-source-alias/tree/txt
2412−/* typ-648 %txt /tests/golden/types-union-source-alias/types/txt
2413−/* src-649 %jibb /tests/golden/types-union-tag-atoms/source/jibb
2414−/* tok-649 %txt /tests/golden/types-union-tag-atoms/tokens/txt
2415−/* tre-649 %txt /tests/golden/types-union-tag-atoms/tree/txt
2416−/* typ-649 %txt /tests/golden/types-union-tag-atoms/types/txt
2417−/* src-650 %jibb /tests/golden/types-union-tags/source/jibb
2418−/* tok-650 %txt /tests/golden/types-union-tags/tokens/txt
2419−/* tre-650 %txt /tests/golden/types-union-tags/tree/txt
2420−/* typ-650 %txt /tests/golden/types-union-tags/types/txt
2421−/* src-651 %jibb /tests/golden/types-union-unresolved/source/jibb
2422−/* tok-651 %txt /tests/golden/types-union-unresolved/tokens/txt
2423−/* tre-651 %txt /tests/golden/types-union-unresolved/tree/txt
2424−/* typ-651 %txt /tests/golden/types-union-unresolved/types/txt
2425−/* src-652 %jibb /tests/golden/types-union-unresolved-flow/source/jibb
2426−/* tok-652 %txt /tests/golden/types-union-unresolved-flow/tokens/txt
2427−/* tre-652 %txt /tests/golden/types-union-unresolved-flow/tree/txt
2428−/* typ-652 %txt /tests/golden/types-union-unresolved-flow/types/txt
2429−/* src-653 %jibb /tests/golden/types-unit-construction/source/jibb
2430−/* tok-653 %txt /tests/golden/types-unit-construction/tokens/txt
2431−/* tre-653 %txt /tests/golden/types-unit-construction/tree/txt
2432−/* typ-653 %txt /tests/golden/types-unit-construction/types/txt
2433−/* src-654 %jibb /tests/golden/types-unit-context/source/jibb
2434−/* tok-654 %txt /tests/golden/types-unit-context/tokens/txt
2435−/* tre-654 %txt /tests/golden/types-unit-context/tree/txt
2436−/* typ-654 %txt /tests/golden/types-unit-context/types/txt
2437−/* src-655 %jibb /tests/golden/types-unit-patterns/source/jibb
2438−/* tok-655 %txt /tests/golden/types-unit-patterns/tokens/txt
2439−/* tre-655 %txt /tests/golden/types-unit-patterns/tree/txt
2440−/* typ-655 %txt /tests/golden/types-unit-patterns/types/txt
2441−/* src-656 %jibb /tests/golden/types-value-cycle-shadow/source/jibb
2442−/* tok-656 %txt /tests/golden/types-value-cycle-shadow/tokens/txt
2443−/* tre-656 %txt /tests/golden/types-value-cycle-shadow/tree/txt
2444−/* typ-656 %txt /tests/golden/types-value-cycle-shadow/types/txt
2445−/* src-657 %jibb /tests/golden/types-value-cycle-unsupported/source/jibb
2446−/* tok-657 %txt /tests/golden/types-value-cycle-unsupported/tokens/txt
2447−/* tre-657 %txt /tests/golden/types-value-cycle-unsupported/tree/txt
2448−/* typ-657 %txt /tests/golden/types-value-cycle-unsupported/types/txt
2449−/* src-658 %jibb /tests/golden/types-value-cycles/source/jibb
2450−/* tok-658 %txt /tests/golden/types-value-cycles/tokens/txt
2451−/* tre-658 %txt /tests/golden/types-value-cycles/tree/txt
2452−/* typ-658 %txt /tests/golden/types-value-cycles/types/txt
1993+/* src-554 %jibb /tests/golden/types-prelude-text/source/jibb
1994+/* tok-554 %txt /tests/golden/types-prelude-text/tokens/txt
1995+/* tre-554 %txt /tests/golden/types-prelude-text/tree/txt
1996+/* typ-554 %txt /tests/golden/types-prelude-text/types/txt
1997+/* src-555 %jibb /tests/golden/types-prelude-unit-helpers/source/jibb
1998+/* tok-555 %txt /tests/golden/types-prelude-unit-helpers/tokens/txt
1999+/* tre-555 %txt /tests/golden/types-prelude-unit-helpers/tree/txt
2000+/* typ-555 %txt /tests/golden/types-prelude-unit-helpers/types/txt
2001+/* src-556 %jibb /tests/golden/types-prelude-zing/source/jibb
2002+/* tok-556 %txt /tests/golden/types-prelude-zing/tokens/txt
2003+/* tre-556 %txt /tests/golden/types-prelude-zing/tree/txt
2004+/* typ-556 %txt /tests/golden/types-prelude-zing/types/txt
2005+/* src-557 %jibb /tests/golden/types-proj-explicit-context/source/jibb
2006+/* tok-557 %txt /tests/golden/types-proj-explicit-context/tokens/txt
2007+/* tre-557 %txt /tests/golden/types-proj-explicit-context/tree/txt
2008+/* typ-557 %txt /tests/golden/types-proj-explicit-context/types/txt
2009+/* src-558 %jibb /tests/golden/types-proj-nested-no-implicit/source/jibb
2010+/* tok-558 %txt /tests/golden/types-proj-nested-no-implicit/tokens/txt
2011+/* tre-558 %txt /tests/golden/types-proj-nested-no-implicit/tree/txt
2012+/* typ-558 %txt /tests/golden/types-proj-nested-no-implicit/types/txt
2013+/* src-559 %jibb /tests/golden/types-proj-reserved-imported-definition/source/jibb
2014+/* tok-559 %txt /tests/golden/types-proj-reserved-imported-definition/tokens/txt
2015+/* tre-559 %txt /tests/golden/types-proj-reserved-imported-definition/tree/txt
2016+/* mod-559-1 %jibb /tests/golden/types-proj-reserved-imported-definition/modules/ui/lib/jibb
2017+/* typ-559 %txt /tests/golden/types-proj-reserved-imported-definition/types/txt
2018+/* mtre-559 %txt /tests/golden/types-proj-reserved-imported-definition/module-trees/txt
2019+/* src-560 %jibb /tests/golden/types-proj-reserved-jibb-import/source/jibb
2020+/* tok-560 %txt /tests/golden/types-proj-reserved-jibb-import/tokens/txt
2021+/* tre-560 %txt /tests/golden/types-proj-reserved-jibb-import/tree/txt
2022+/* mod-560-1 %jibb /tests/golden/types-proj-reserved-jibb-import/modules/ui/lib/jibb
2023+/* typ-560 %txt /tests/golden/types-proj-reserved-jibb-import/types/txt
2024+/* mtre-560 %txt /tests/golden/types-proj-reserved-jibb-import/module-trees/txt
2025+/* src-561 %jibb /tests/golden/types-proj-reserved-local/source/jibb
2026+/* tok-561 %txt /tests/golden/types-proj-reserved-local/tokens/txt
2027+/* tre-561 %txt /tests/golden/types-proj-reserved-local/tree/txt
2028+/* typ-561 %txt /tests/golden/types-proj-reserved-local/types/txt
2029+/* src-562 %jibb /tests/golden/types-proj-reserved-local-mold/source/jibb
2030+/* tok-562 %txt /tests/golden/types-proj-reserved-local-mold/tokens/txt
2031+/* tre-562 %txt /tests/golden/types-proj-reserved-local-mold/tree/txt
2032+/* typ-562 %txt /tests/golden/types-proj-reserved-local-mold/types/txt
2033+/* src-563 %jibb /tests/golden/types-proj-reserved-mark-import/source/jibb
2034+/* tok-563 %txt /tests/golden/types-proj-reserved-mark-import/tokens/txt
2035+/* tre-563 %txt /tests/golden/types-proj-reserved-mark-import/tree/txt
2036+/* typ-563 %txt /tests/golden/types-proj-reserved-mark-import/types/txt
2037+/* src-564 %jibb /tests/golden/types-proj-reserved-mold/source/jibb
2038+/* tok-564 %txt /tests/golden/types-proj-reserved-mold/tokens/txt
2039+/* tre-564 %txt /tests/golden/types-proj-reserved-mold/tree/txt
2040+/* typ-564 %txt /tests/golden/types-proj-reserved-mold/types/txt
2041+/* src-565 %jibb /tests/golden/types-proj-reserved-pattern/source/jibb
2042+/* tok-565 %txt /tests/golden/types-proj-reserved-pattern/tokens/txt
2043+/* tre-565 %txt /tests/golden/types-proj-reserved-pattern/tree/txt
2044+/* typ-565 %txt /tests/golden/types-proj-reserved-pattern/types/txt
2045+/* src-566 %jibb /tests/golden/types-proj-reserved-positive/source/jibb
2046+/* tok-566 %txt /tests/golden/types-proj-reserved-positive/tokens/txt
2047+/* tre-566 %txt /tests/golden/types-proj-reserved-positive/tree/txt
2048+/* typ-566 %txt /tests/golden/types-proj-reserved-positive/types/txt
2049+/* src-567 %jibb /tests/golden/types-proj-reserved-sample/source/jibb
2050+/* tok-567 %txt /tests/golden/types-proj-reserved-sample/tokens/txt
2051+/* tre-567 %txt /tests/golden/types-proj-reserved-sample/tree/txt
2052+/* typ-567 %txt /tests/golden/types-proj-reserved-sample/types/txt
2053+/* src-568 %jibb /tests/golden/types-proj-reserved-sur-import/source/jibb
2054+/* tok-568 %txt /tests/golden/types-proj-reserved-sur-import/tokens/txt
2055+/* tre-568 %txt /tests/golden/types-proj-reserved-sur-import/tree/txt
2056+/* typ-568 %txt /tests/golden/types-proj-reserved-sur-import/types/txt
2057+/* src-569 %jibb /tests/golden/types-proj-reserved-unused-pattern/source/jibb
2058+/* tok-569 %txt /tests/golden/types-proj-reserved-unused-pattern/tokens/txt
2059+/* tre-569 %txt /tests/golden/types-proj-reserved-unused-pattern/tree/txt
2060+/* typ-569 %txt /tests/golden/types-proj-reserved-unused-pattern/types/txt
2061+/* src-570 %jibb /tests/golden/types-proj-reserved-unused-sample/source/jibb
2062+/* tok-570 %txt /tests/golden/types-proj-reserved-unused-sample/tokens/txt
2063+/* tre-570 %txt /tests/golden/types-proj-reserved-unused-sample/tree/txt
2064+/* typ-570 %txt /tests/golden/types-proj-reserved-unused-sample/types/txt
2065+/* src-571 %jibb /tests/golden/types-proj-reserved-unused-value/source/jibb
2066+/* tok-571 %txt /tests/golden/types-proj-reserved-unused-value/tokens/txt
2067+/* tre-571 %txt /tests/golden/types-proj-reserved-unused-value/tree/txt
2068+/* typ-571 %txt /tests/golden/types-proj-reserved-unused-value/types/txt
2069+/* src-572 %jibb /tests/golden/types-proj-reserved-value/source/jibb
2070+/* tok-572 %txt /tests/golden/types-proj-reserved-value/tokens/txt
2071+/* tre-572 %txt /tests/golden/types-proj-reserved-value/tree/txt
2072+/* typ-572 %txt /tests/golden/types-proj-reserved-value/types/txt
2073+/* src-573 %jibb /tests/golden/types-proj-single-duplicate/source/jibb
2074+/* tok-573 %txt /tests/golden/types-proj-single-duplicate/tokens/txt
2075+/* tre-573 %txt /tests/golden/types-proj-single-duplicate/tree/txt
2076+/* typ-573 %txt /tests/golden/types-proj-single-duplicate/types/txt
2077+/* src-574 %jibb /tests/golden/types-proj-single-field/source/jibb
2078+/* tok-574 %txt /tests/golden/types-proj-single-field/tokens/txt
2079+/* tre-574 %txt /tests/golden/types-proj-single-field/tree/txt
2080+/* typ-574 %txt /tests/golden/types-proj-single-field/types/txt
2081+/* src-575 %jibb /tests/golden/types-proj-single-sample-face/source/jibb
2082+/* tok-575 %txt /tests/golden/types-proj-single-sample-face/tokens/txt
2083+/* tre-575 %txt /tests/golden/types-proj-single-sample-face/tree/txt
2084+/* typ-575 %txt /tests/golden/types-proj-single-sample-face/types/txt
2085+/* src-576 %jibb /tests/golden/types-proj-single-wrapped/source/jibb
2086+/* tok-576 %txt /tests/golden/types-proj-single-wrapped/tokens/txt
2087+/* tre-576 %txt /tests/golden/types-proj-single-wrapped/tree/txt
2088+/* typ-576 %txt /tests/golden/types-proj-single-wrapped/types/txt
2089+/* src-577 %jibb /tests/golden/types-qath-faces/source/jibb
2090+/* tok-577 %txt /tests/golden/types-qath-faces/tokens/txt
2091+/* tre-577 %txt /tests/golden/types-qath-faces/tree/txt
2092+/* typ-577 %txt /tests/golden/types-qath-faces/types/txt
2093+/* src-578 %jibb /tests/golden/types-qath-holes/source/jibb
2094+/* tok-578 %txt /tests/golden/types-qath-holes/tokens/txt
2095+/* tre-578 %txt /tests/golden/types-qath-holes/tree/txt
2096+/* typ-578 %txt /tests/golden/types-qath-holes/types/txt
2097+/* src-579 %jibb /tests/golden/types-qath-module-identity/source/jibb
2098+/* tok-579 %txt /tests/golden/types-qath-module-identity/tokens/txt
2099+/* tre-579 %txt /tests/golden/types-qath-module-identity/tree/txt
2100+/* mod-579-1 %jibb /tests/golden/types-qath-module-identity/modules/ui/one/jibb
2101+/* mod-579-2 %jibb /tests/golden/types-qath-module-identity/modules/ui/two/jibb
2102+/* mod-579-3 %jibb /tests/golden/types-qath-module-identity/modules/ui/mid/jibb
2103+/* typ-579 %txt /tests/golden/types-qath-module-identity/types/txt
2104+/* mtre-579 %txt /tests/golden/types-qath-module-identity/module-trees/txt
2105+/* src-580 %jibb /tests/golden/types-qath-recursive/source/jibb
2106+/* tok-580 %txt /tests/golden/types-qath-recursive/tokens/txt
2107+/* tre-580 %txt /tests/golden/types-qath-recursive/tree/txt
2108+/* typ-580 %txt /tests/golden/types-qath-recursive/types/txt
2109+/* src-581 %jibb /tests/golden/types-record-bound-variable/source/jibb
2110+/* tok-581 %txt /tests/golden/types-record-bound-variable/tokens/txt
2111+/* tre-581 %txt /tests/golden/types-record-bound-variable/tree/txt
2112+/* typ-581 %txt /tests/golden/types-record-bound-variable/types/txt
2113+/* src-582 %jibb /tests/golden/types-record-cast-context/source/jibb
2114+/* tok-582 %txt /tests/golden/types-record-cast-context/tokens/txt
2115+/* tre-582 %txt /tests/golden/types-record-cast-context/tree/txt
2116+/* typ-582 %txt /tests/golden/types-record-cast-context/types/txt
2117+/* src-583 %jibb /tests/golden/types-record-change/source/jibb
2118+/* tok-583 %txt /tests/golden/types-record-change/tokens/txt
2119+/* tre-583 %txt /tests/golden/types-record-change/tree/txt
2120+/* typ-583 %txt /tests/golden/types-record-change/types/txt
2121+/* src-584 %jibb /tests/golden/types-record-change-generic/source/jibb
2122+/* tok-584 %txt /tests/golden/types-record-change-generic/tokens/txt
2123+/* tre-584 %txt /tests/golden/types-record-change-generic/tree/txt
2124+/* typ-584 %txt /tests/golden/types-record-change-generic/types/txt
2125+/* src-585 %jibb /tests/golden/types-record-faces/source/jibb
2126+/* tok-585 %txt /tests/golden/types-record-faces/tokens/txt
2127+/* tre-585 %txt /tests/golden/types-record-faces/tree/txt
2128+/* typ-585 %txt /tests/golden/types-record-faces/types/txt
2129+/* src-586 %jibb /tests/golden/types-record-field-edit-separate/source/jibb
2130+/* tok-586 %txt /tests/golden/types-record-field-edit-separate/tokens/txt
2131+/* tre-586 %txt /tests/golden/types-record-field-edit-separate/tree/txt
2132+/* typ-586 %txt /tests/golden/types-record-field-edit-separate/types/txt
2133+/* src-587 %jibb /tests/golden/types-record-field-expr-duplicate/source/jibb
2134+/* tok-587 %txt /tests/golden/types-record-field-expr-duplicate/tokens/txt
2135+/* tre-587 %txt /tests/golden/types-record-field-expr-duplicate/tree/txt
2136+/* typ-587 %txt /tests/golden/types-record-field-expr-duplicate/types/txt
2137+/* src-588 %jibb /tests/golden/types-record-field-expr-separate/source/jibb
2138+/* tok-588 %txt /tests/golden/types-record-field-expr-separate/tokens/txt
2139+/* tre-588 %txt /tests/golden/types-record-field-expr-separate/tree/txt
2140+/* typ-588 %txt /tests/golden/types-record-field-expr-separate/types/txt
2141+/* src-589 %jibb /tests/golden/types-record-field-module-reachable/source/jibb
2142+/* tok-589 %txt /tests/golden/types-record-field-module-reachable/tokens/txt
2143+/* tre-589 %txt /tests/golden/types-record-field-module-reachable/tree/txt
2144+/* mod-589-1 %jibb /tests/golden/types-record-field-module-reachable/modules/ui/lib/jibb
2145+/* typ-589 %txt /tests/golden/types-record-field-module-reachable/types/txt
2146+/* mtre-589 %txt /tests/golden/types-record-field-module-reachable/module-trees/txt
2147+/* src-590 %jibb /tests/golden/types-record-field-module-unused/source/jibb
2148+/* tok-590 %txt /tests/golden/types-record-field-module-unused/tokens/txt
2149+/* tre-590 %txt /tests/golden/types-record-field-module-unused/tree/txt
2150+/* mod-590-1 %jibb /tests/golden/types-record-field-module-unused/modules/ui/good/jibb
2151+/* mod-590-2 %jibb /tests/golden/types-record-field-module-unused/modules/ui/unused/jibb
2152+/* typ-590 %txt /tests/golden/types-record-field-module-unused/types/txt
2153+/* mtre-590 %txt /tests/golden/types-record-field-module-unused/module-trees/txt
2154+/* src-591 %jibb /tests/golden/types-record-field-nested-mold/source/jibb
2155+/* tok-591 %txt /tests/golden/types-record-field-nested-mold/tokens/txt
2156+/* tre-591 %txt /tests/golden/types-record-field-nested-mold/tree/txt
2157+/* typ-591 %txt /tests/golden/types-record-field-nested-mold/types/txt
2158+/* src-592 %jibb /tests/golden/types-record-field-outer-inner/source/jibb
2159+/* tok-592 %txt /tests/golden/types-record-field-outer-inner/tokens/txt
2160+/* tre-592 %txt /tests/golden/types-record-field-outer-inner/tree/txt
2161+/* typ-592 %txt /tests/golden/types-record-field-outer-inner/types/txt
2162+/* src-593 %jibb /tests/golden/types-record-field-sample-duplicate/source/jibb
2163+/* tok-593 %txt /tests/golden/types-record-field-sample-duplicate/tokens/txt
2164+/* tre-593 %txt /tests/golden/types-record-field-sample-duplicate/tree/txt
2165+/* typ-593 %txt /tests/golden/types-record-field-sample-duplicate/types/txt
2166+/* src-594 %jibb /tests/golden/types-record-field-separate-molds/source/jibb
2167+/* tok-594 %txt /tests/golden/types-record-field-separate-molds/tokens/txt
2168+/* tre-594 %txt /tests/golden/types-record-field-separate-molds/tree/txt
2169+/* typ-594 %txt /tests/golden/types-record-field-separate-molds/types/txt
2170+/* src-595 %jibb /tests/golden/types-record-field-unused-mold/source/jibb
2171+/* tok-595 %txt /tests/golden/types-record-field-unused-mold/tokens/txt
2172+/* tre-595 %txt /tests/golden/types-record-field-unused-mold/tree/txt
2173+/* typ-595 %txt /tests/golden/types-record-field-unused-mold/types/txt
2174+/* src-596 %jibb /tests/golden/types-record-import/source/jibb
2175+/* tok-596 %txt /tests/golden/types-record-import/tokens/txt
2176+/* tre-596 %txt /tests/golden/types-record-import/tree/txt
2177+/* mod-596-1 %jibb /tests/golden/types-record-import/modules/ui/lib/jibb
2178+/* typ-596 %txt /tests/golden/types-record-import/types/txt
2179+/* mtre-596 %txt /tests/golden/types-record-import/module-trees/txt
2180+/* src-597 %jibb /tests/golden/types-record-local-scheme/source/jibb
2181+/* tok-597 %txt /tests/golden/types-record-local-scheme/tokens/txt
2182+/* tre-597 %txt /tests/golden/types-record-local-scheme/tree/txt
2183+/* typ-597 %txt /tests/golden/types-record-local-scheme/types/txt
2184+/* src-598 %jibb /tests/golden/types-record-nested/source/jibb
2185+/* tok-598 %txt /tests/golden/types-record-nested/tokens/txt
2186+/* tre-598 %txt /tests/golden/types-record-nested/tree/txt
2187+/* typ-598 %txt /tests/golden/types-record-nested/types/txt
2188+/* src-599 %jibb /tests/golden/types-record-to-tuple/source/jibb
2189+/* tok-599 %txt /tests/golden/types-record-to-tuple/tokens/txt
2190+/* tre-599 %txt /tests/golden/types-record-to-tuple/tree/txt
2191+/* typ-599 %txt /tests/golden/types-record-to-tuple/types/txt
2192+/* src-600 %jibb /tests/golden/types-recursion-scc-failures/source/jibb
2193+/* tok-600 %txt /tests/golden/types-recursion-scc-failures/tokens/txt
2194+/* tre-600 %txt /tests/golden/types-recursion-scc-failures/tree/txt
2195+/* typ-600 %txt /tests/golden/types-recursion-scc-failures/types/txt
2196+/* src-601 %jibb /tests/golden/types-recursion-scc-groups/source/jibb
2197+/* tok-601 %txt /tests/golden/types-recursion-scc-groups/tokens/txt
2198+/* tre-601 %txt /tests/golden/types-recursion-scc-groups/tree/txt
2199+/* typ-601 %txt /tests/golden/types-recursion-scc-groups/types/txt
2200+/* src-602 %jibb /tests/golden/types-recursion-scc-import/source/jibb
2201+/* tok-602 %txt /tests/golden/types-recursion-scc-import/tokens/txt
2202+/* tre-602 %txt /tests/golden/types-recursion-scc-import/tree/txt
2203+/* mod-602-1 %jibb /tests/golden/types-recursion-scc-import/modules/ui/lib/jibb
2204+/* typ-602 %txt /tests/golden/types-recursion-scc-import/types/txt
2205+/* mtre-602 %txt /tests/golden/types-recursion-scc-import/module-trees/txt
2206+/* src-603 %jibb /tests/golden/types-recursion-scc-import-bad/source/jibb
2207+/* tok-603 %txt /tests/golden/types-recursion-scc-import-bad/tokens/txt
2208+/* tre-603 %txt /tests/golden/types-recursion-scc-import-bad/tree/txt
2209+/* mod-603-1 %jibb /tests/golden/types-recursion-scc-import-bad/modules/ui/lib/jibb
2210+/* typ-603 %txt /tests/golden/types-recursion-scc-import-bad/types/txt
2211+/* mtre-603 %txt /tests/golden/types-recursion-scc-import-bad/module-trees/txt
2212+/* src-604 %jibb /tests/golden/types-recursion-scc-local/source/jibb
2213+/* tok-604 %txt /tests/golden/types-recursion-scc-local/tokens/txt
2214+/* tre-604 %txt /tests/golden/types-recursion-scc-local/tree/txt
2215+/* typ-604 %txt /tests/golden/types-recursion-scc-local/types/txt
2216+/* src-605 %jibb /tests/golden/types-recursion-scc-order/source/jibb
2217+/* tok-605 %txt /tests/golden/types-recursion-scc-order/tokens/txt
2218+/* tre-605 %txt /tests/golden/types-recursion-scc-order/tree/txt
2219+/* typ-605 %txt /tests/golden/types-recursion-scc-order/types/txt
2220+/* src-606 %jibb /tests/golden/types-recursion-scc-shadow/source/jibb
2221+/* tok-606 %txt /tests/golden/types-recursion-scc-shadow/tokens/txt
2222+/* tre-606 %txt /tests/golden/types-recursion-scc-shadow/tree/txt
2223+/* typ-606 %txt /tests/golden/types-recursion-scc-shadow/types/txt
2224+/* src-607 %jibb /tests/golden/types-recursive-branch/source/jibb
2225+/* tok-607 %txt /tests/golden/types-recursive-branch/tokens/txt
2226+/* tre-607 %txt /tests/golden/types-recursive-branch/tree/txt
2227+/* typ-607 %txt /tests/golden/types-recursive-branch/types/txt
2228+/* src-608 %jibb /tests/golden/types-recursive-gate/source/jibb
2229+/* tok-608 %txt /tests/golden/types-recursive-gate/tokens/txt
2230+/* tre-608 %txt /tests/golden/types-recursive-gate/tree/txt
2231+/* typ-608 %txt /tests/golden/types-recursive-gate/types/txt
2232+/* src-609 %jibb /tests/golden/types-recursive-sample/source/jibb
2233+/* tok-609 %txt /tests/golden/types-recursive-sample/tokens/txt
2234+/* tre-609 %txt /tests/golden/types-recursive-sample/tree/txt
2235+/* typ-609 %txt /tests/golden/types-recursive-sample/types/txt
2236+/* src-610 %jibb /tests/golden/types-request-normal/source/jibb
2237+/* tok-610 %txt /tests/golden/types-request-normal/tokens/txt
2238+/* tre-610 %txt /tests/golden/types-request-normal/tree/txt
2239+/* mod-610-1 %jibb /tests/golden/types-request-normal/modules/ui/api/demo/jibb
2240+/* typ-610 %txt /tests/golden/types-request-normal/types/txt
2241+/* mark-610-1 %txt /tests/golden/types-request-normal/mar/full/txt
2242+/* mtre-610 %txt /tests/golden/types-request-normal/module-trees/txt
2243+/* src-611 %jibb /tests/golden/types-scope-library-poke/source/jibb
2244+/* tok-611 %txt /tests/golden/types-scope-library-poke/tokens/txt
2245+/* tre-611 %txt /tests/golden/types-scope-library-poke/tree/txt
2246+/* typ-611 %txt /tests/golden/types-scope-library-poke/types/txt
2247+/* src-612 %jibb /tests/golden/types-scope-root-api/source/jibb
2248+/* tok-612 %txt /tests/golden/types-scope-root-api/tokens/txt
2249+/* tre-612 %txt /tests/golden/types-scope-root-api/tree/txt
2250+/* typ-612 %txt /tests/golden/types-scope-root-api/types/txt
2251+/* src-613 %jibb /tests/golden/types-scope-store-duplicate/source/jibb
2252+/* tok-613 %txt /tests/golden/types-scope-store-duplicate/tokens/txt
2253+/* tre-613 %txt /tests/golden/types-scope-store-duplicate/tree/txt
2254+/* typ-613 %txt /tests/golden/types-scope-store-duplicate/types/txt
2255+/* src-614 %jibb /tests/golden/types-scope-store-shadow/source/jibb
2256+/* tok-614 %txt /tests/golden/types-scope-store-shadow/tokens/txt
2257+/* tre-614 %txt /tests/golden/types-scope-store-shadow/tree/txt
2258+/* typ-614 %txt /tests/golden/types-scope-store-shadow/types/txt
2259+/* src-615 %jibb /tests/golden/types-single-case-pattern/source/jibb
2260+/* tok-615 %txt /tests/golden/types-single-case-pattern/tokens/txt
2261+/* tre-615 %txt /tests/golden/types-single-case-pattern/tree/txt
2262+/* typ-615 %txt /tests/golden/types-single-case-pattern/types/txt
2263+/* src-616 %jibb /tests/golden/types-string-interpolation/source/jibb
2264+/* tok-616 %txt /tests/golden/types-string-interpolation/tokens/txt
2265+/* tre-616 %txt /tests/golden/types-string-interpolation/tree/txt
2266+/* typ-616 %txt /tests/golden/types-string-interpolation/types/txt
2267+/* src-617 %jibb /tests/golden/types-tuple-context/source/jibb
2268+/* tok-617 %txt /tests/golden/types-tuple-context/tokens/txt
2269+/* tre-617 %txt /tests/golden/types-tuple-context/tree/txt
2270+/* typ-617 %txt /tests/golden/types-tuple-context/types/txt
2271+/* src-618 %jibb /tests/golden/types-tuple-context-nested/source/jibb
2272+/* tok-618 %txt /tests/golden/types-tuple-context-nested/tokens/txt
2273+/* tre-618 %txt /tests/golden/types-tuple-context-nested/tree/txt
2274+/* typ-618 %txt /tests/golden/types-tuple-context-nested/types/txt
2275+/* src-619 %jibb /tests/golden/types-union-alias/source/jibb
2276+/* tok-619 %txt /tests/golden/types-union-alias/tokens/txt
2277+/* tre-619 %txt /tests/golden/types-union-alias/tree/txt
2278+/* typ-619 %txt /tests/golden/types-union-alias/types/txt
2279+/* src-620 %jibb /tests/golden/types-union-branch-context/source/jibb
2280+/* tok-620 %txt /tests/golden/types-union-branch-context/tokens/txt
2281+/* tre-620 %txt /tests/golden/types-union-branch-context/tree/txt
2282+/* typ-620 %txt /tests/golden/types-union-branch-context/types/txt
2283+/* src-621 %jibb /tests/golden/types-union-branch-pending/source/jibb
2284+/* tok-621 %txt /tests/golden/types-union-branch-pending/tokens/txt
2285+/* tre-621 %txt /tests/golden/types-union-branch-pending/tree/txt
2286+/* typ-621 %txt /tests/golden/types-union-branch-pending/types/txt
2287+/* src-622 %jibb /tests/golden/types-union-constructor-shape/source/jibb
2288+/* tok-622 %txt /tests/golden/types-union-constructor-shape/tokens/txt
2289+/* tre-622 %txt /tests/golden/types-union-constructor-shape/tree/txt
2290+/* typ-622 %txt /tests/golden/types-union-constructor-shape/types/txt
2291+/* src-623 %jibb /tests/golden/types-union-context-flow/source/jibb
2292+/* tok-623 %txt /tests/golden/types-union-context-flow/tokens/txt
2293+/* tre-623 %txt /tests/golden/types-union-context-flow/tree/txt
2294+/* typ-623 %txt /tests/golden/types-union-context-flow/types/txt
2295+/* src-624 %jibb /tests/golden/types-union-finite/source/jibb
2296+/* tok-624 %txt /tests/golden/types-union-finite/tokens/txt
2297+/* tre-624 %txt /tests/golden/types-union-finite/tree/txt
2298+/* typ-624 %txt /tests/golden/types-union-finite/types/txt
2299+/* src-625 %jibb /tests/golden/types-union-finite-context/source/jibb
2300+/* tok-625 %txt /tests/golden/types-union-finite-context/tokens/txt
2301+/* tre-625 %txt /tests/golden/types-union-finite-context/tree/txt
2302+/* typ-625 %txt /tests/golden/types-union-finite-context/types/txt
2303+/* src-626 %jibb /tests/golden/types-union-finite-generic/source/jibb
2304+/* tok-626 %txt /tests/golden/types-union-finite-generic/tokens/txt
2305+/* tre-626 %txt /tests/golden/types-union-finite-generic/tree/txt
2306+/* typ-626 %txt /tests/golden/types-union-finite-generic/types/txt
2307+/* src-627 %jibb /tests/golden/types-union-finite-limit/source/jibb
2308+/* tok-627 %txt /tests/golden/types-union-finite-limit/tokens/txt
2309+/* tre-627 %txt /tests/golden/types-union-finite-limit/tree/txt
2310+/* typ-627 %txt /tests/golden/types-union-finite-limit/types/txt
2311+/* src-628 %jibb /tests/golden/types-union-import/source/jibb
2312+/* tok-628 %txt /tests/golden/types-union-import/tokens/txt
2313+/* tre-628 %txt /tests/golden/types-union-import/tree/txt
2314+/* mod-628-1 %jibb /tests/golden/types-union-import/modules/ui/lib/jibb
2315+/* typ-628 %txt /tests/golden/types-union-import/types/txt
2316+/* mtre-628 %txt /tests/golden/types-union-import/module-trees/txt
2317+/* src-629 %jibb /tests/golden/types-union-local-pending/source/jibb
2318+/* tok-629 %txt /tests/golden/types-union-local-pending/tokens/txt
2319+/* tre-629 %txt /tests/golden/types-union-local-pending/tree/txt
2320+/* typ-629 %txt /tests/golden/types-union-local-pending/types/txt
2321+/* src-630 %jibb /tests/golden/types-union-nonwing-subject/source/jibb
2322+/* tok-630 %txt /tests/golden/types-union-nonwing-subject/tokens/txt
2323+/* tre-630 %txt /tests/golden/types-union-nonwing-subject/tree/txt
2324+/* typ-630 %txt /tests/golden/types-union-nonwing-subject/types/txt
2325+/* src-631 %jibb /tests/golden/types-union-overlap/source/jibb
2326+/* tok-631 %txt /tests/golden/types-union-overlap/tokens/txt
2327+/* tre-631 %txt /tests/golden/types-union-overlap/tree/txt
2328+/* typ-631 %txt /tests/golden/types-union-overlap/types/txt
2329+/* src-632 %jibb /tests/golden/types-union-overlap-nested/source/jibb
2330+/* tok-632 %txt /tests/golden/types-union-overlap-nested/tokens/txt
2331+/* tre-632 %txt /tests/golden/types-union-overlap-nested/tree/txt
2332+/* typ-632 %txt /tests/golden/types-union-overlap-nested/types/txt
2333+/* src-633 %jibb /tests/golden/types-union-pattern-result-context/source/jibb
2334+/* tok-633 %txt /tests/golden/types-union-pattern-result-context/tokens/txt
2335+/* tre-633 %txt /tests/golden/types-union-pattern-result-context/tree/txt
2336+/* typ-633 %txt /tests/golden/types-union-pattern-result-context/types/txt
2337+/* src-634 %jibb /tests/golden/types-union-pattern-result-controls/source/jibb
2338+/* tok-634 %txt /tests/golden/types-union-pattern-result-controls/tokens/txt
2339+/* tre-634 %txt /tests/golden/types-union-pattern-result-controls/tree/txt
2340+/* typ-634 %txt /tests/golden/types-union-pattern-result-controls/types/txt
2341+/* src-635 %jibb /tests/golden/types-union-patterns/source/jibb
2342+/* tok-635 %txt /tests/golden/types-union-patterns/tokens/txt
2343+/* tre-635 %txt /tests/golden/types-union-patterns/tree/txt
2344+/* typ-635 %txt /tests/golden/types-union-patterns/types/txt
2345+/* src-636 %jibb /tests/golden/types-union-patterns-generic/source/jibb
2346+/* tok-636 %txt /tests/golden/types-union-patterns-generic/tokens/txt
2347+/* tre-636 %txt /tests/golden/types-union-patterns-generic/tree/txt
2348+/* typ-636 %txt /tests/golden/types-union-patterns-generic/types/txt
2349+/* src-637 %jibb /tests/golden/types-union-patterns-import/source/jibb
2350+/* tok-637 %txt /tests/golden/types-union-patterns-import/tokens/txt
2351+/* tre-637 %txt /tests/golden/types-union-patterns-import/tree/txt
2352+/* mod-637-1 %jibb /tests/golden/types-union-patterns-import/modules/ui/lib/jibb
2353+/* typ-637 %txt /tests/golden/types-union-patterns-import/types/txt
2354+/* mtre-637 %txt /tests/golden/types-union-patterns-import/module-trees/txt
2355+/* src-638 %jibb /tests/golden/types-union-phantom-generic/source/jibb
2356+/* tok-638 %txt /tests/golden/types-union-phantom-generic/tokens/txt
2357+/* tre-638 %txt /tests/golden/types-union-phantom-generic/tree/txt
2358+/* typ-638 %txt /tests/golden/types-union-phantom-generic/types/txt
2359+/* src-639 %jibb /tests/golden/types-union-polymorphic-identity/source/jibb
2360+/* tok-639 %txt /tests/golden/types-union-polymorphic-identity/tokens/txt
2361+/* tre-639 %txt /tests/golden/types-union-polymorphic-identity/tree/txt
2362+/* mod-639-1 %jibb /tests/golden/types-union-polymorphic-identity/modules/ui/one/jibb
2363+/* mod-639-2 %jibb /tests/golden/types-union-polymorphic-identity/modules/ui/two/jibb
2364+/* typ-639 %txt /tests/golden/types-union-polymorphic-identity/types/txt
2365+/* mtre-639 %txt /tests/golden/types-union-polymorphic-identity/module-trees/txt
2366+/* src-640 %jibb /tests/golden/types-union-print-cross-namespace/source/jibb
2367+/* tok-640 %txt /tests/golden/types-union-print-cross-namespace/tokens/txt
2368+/* tre-640 %txt /tests/golden/types-union-print-cross-namespace/tree/txt
2369+/* mod-640-1 %jibb /tests/golden/types-union-print-cross-namespace/modules/ui/lib/jibb
2370+/* typ-640 %txt /tests/golden/types-union-print-cross-namespace/types/txt
2371+/* mtre-640 %txt /tests/golden/types-union-print-cross-namespace/module-trees/txt
2372+/* src-641 %jibb /tests/golden/types-union-print-distinct/source/jibb
2373+/* tok-641 %txt /tests/golden/types-union-print-distinct/tokens/txt
2374+/* tre-641 %txt /tests/golden/types-union-print-distinct/tree/txt
2375+/* mod-641-1 %jibb /tests/golden/types-union-print-distinct/modules/ui/left/jibb
2376+/* mod-641-2 %jibb /tests/golden/types-union-print-distinct/modules/ui/right/jibb
2377+/* mod-641-3 %jibb /tests/golden/types-union-print-distinct/modules/ui/twin/jibb
2378+/* typ-641 %txt /tests/golden/types-union-print-distinct/types/txt
2379+/* mtre-641 %txt /tests/golden/types-union-print-distinct/module-trees/txt
2380+/* src-642 %jibb /tests/golden/types-union-print-escape/source/jibb
2381+/* tok-642 %txt /tests/golden/types-union-print-escape/tokens/txt
2382+/* tre-642 %txt /tests/golden/types-union-print-escape/tree/txt
2383+/* typ-642 %txt /tests/golden/types-union-print-escape/types/txt
2384+/* src-643 %jibb /tests/golden/types-union-print-local/source/jibb
2385+/* tok-643 %txt /tests/golden/types-union-print-local/tokens/txt
2386+/* tre-643 %txt /tests/golden/types-union-print-local/tree/txt
2387+/* typ-643 %txt /tests/golden/types-union-print-local/types/txt
2388+/* src-644 %jibb /tests/golden/types-union-print-nested/source/jibb
2389+/* tok-644 %txt /tests/golden/types-union-print-nested/tokens/txt
2390+/* tre-644 %txt /tests/golden/types-union-print-nested/tree/txt
2391+/* typ-644 %txt /tests/golden/types-union-print-nested/types/txt
2392+/* src-645 %jibb /tests/golden/types-union-print-same-origin/source/jibb
2393+/* tok-645 %txt /tests/golden/types-union-print-same-origin/tokens/txt
2394+/* tre-645 %txt /tests/golden/types-union-print-same-origin/tree/txt
2395+/* mod-645-1 %jibb /tests/golden/types-union-print-same-origin/modules/ui/shared/jibb
2396+/* typ-645 %txt /tests/golden/types-union-print-same-origin/types/txt
2397+/* mtre-645 %txt /tests/golden/types-union-print-same-origin/module-trees/txt
2398+/* src-646 %jibb /tests/golden/types-union-print-transitive/source/jibb
2399+/* tok-646 %txt /tests/golden/types-union-print-transitive/tokens/txt
2400+/* tre-646 %txt /tests/golden/types-union-print-transitive/tree/txt
2401+/* mod-646-1 %jibb /tests/golden/types-union-print-transitive/modules/ui/mid/jibb
2402+/* mod-646-2 %jibb /tests/golden/types-union-print-transitive/modules/ui/base/jibb
2403+/* typ-646 %txt /tests/golden/types-union-print-transitive/types/txt
2404+/* mtre-646 %txt /tests/golden/types-union-print-transitive/module-trees/txt
2405+/* src-647 %jibb /tests/golden/types-union-runtime-equality/source/jibb
2406+/* tok-647 %txt /tests/golden/types-union-runtime-equality/tokens/txt
2407+/* tre-647 %txt /tests/golden/types-union-runtime-equality/tree/txt
2408+/* typ-647 %txt /tests/golden/types-union-runtime-equality/types/txt
2409+/* src-648 %jibb /tests/golden/types-union-singleton/source/jibb
2410+/* tok-648 %txt /tests/golden/types-union-singleton/tokens/txt
2411+/* tre-648 %txt /tests/golden/types-union-singleton/tree/txt
2412+/* typ-648 %txt /tests/golden/types-union-singleton/types/txt
2413+/* src-649 %jibb /tests/golden/types-union-source-alias/source/jibb
2414+/* tok-649 %txt /tests/golden/types-union-source-alias/tokens/txt
2415+/* tre-649 %txt /tests/golden/types-union-source-alias/tree/txt
2416+/* typ-649 %txt /tests/golden/types-union-source-alias/types/txt
2417+/* src-650 %jibb /tests/golden/types-union-tag-atoms/source/jibb
2418+/* tok-650 %txt /tests/golden/types-union-tag-atoms/tokens/txt
2419+/* tre-650 %txt /tests/golden/types-union-tag-atoms/tree/txt
2420+/* typ-650 %txt /tests/golden/types-union-tag-atoms/types/txt
2421+/* src-651 %jibb /tests/golden/types-union-tags/source/jibb
2422+/* tok-651 %txt /tests/golden/types-union-tags/tokens/txt
2423+/* tre-651 %txt /tests/golden/types-union-tags/tree/txt
2424+/* typ-651 %txt /tests/golden/types-union-tags/types/txt
2425+/* src-652 %jibb /tests/golden/types-union-unresolved/source/jibb
2426+/* tok-652 %txt /tests/golden/types-union-unresolved/tokens/txt
2427+/* tre-652 %txt /tests/golden/types-union-unresolved/tree/txt
2428+/* typ-652 %txt /tests/golden/types-union-unresolved/types/txt
2429+/* src-653 %jibb /tests/golden/types-union-unresolved-flow/source/jibb
2430+/* tok-653 %txt /tests/golden/types-union-unresolved-flow/tokens/txt
2431+/* tre-653 %txt /tests/golden/types-union-unresolved-flow/tree/txt
2432+/* typ-653 %txt /tests/golden/types-union-unresolved-flow/types/txt
2433+/* src-654 %jibb /tests/golden/types-unit-construction/source/jibb
2434+/* tok-654 %txt /tests/golden/types-unit-construction/tokens/txt
2435+/* tre-654 %txt /tests/golden/types-unit-construction/tree/txt
2436+/* typ-654 %txt /tests/golden/types-unit-construction/types/txt
2437+/* src-655 %jibb /tests/golden/types-unit-context/source/jibb
2438+/* tok-655 %txt /tests/golden/types-unit-context/tokens/txt
2439+/* tre-655 %txt /tests/golden/types-unit-context/tree/txt
2440+/* typ-655 %txt /tests/golden/types-unit-context/types/txt
2441+/* src-656 %jibb /tests/golden/types-unit-patterns/source/jibb
2442+/* tok-656 %txt /tests/golden/types-unit-patterns/tokens/txt
2443+/* tre-656 %txt /tests/golden/types-unit-patterns/tree/txt
2444+/* typ-656 %txt /tests/golden/types-unit-patterns/types/txt
2445+/* src-657 %jibb /tests/golden/types-value-cycle-shadow/source/jibb
2446+/* tok-657 %txt /tests/golden/types-value-cycle-shadow/tokens/txt
2447+/* tre-657 %txt /tests/golden/types-value-cycle-shadow/tree/txt
2448+/* typ-657 %txt /tests/golden/types-value-cycle-shadow/types/txt
2449+/* src-658 %jibb /tests/golden/types-value-cycle-unsupported/source/jibb
2450+/* tok-658 %txt /tests/golden/types-value-cycle-unsupported/tokens/txt
2451+/* tre-658 %txt /tests/golden/types-value-cycle-unsupported/tree/txt
2452+/* typ-658 %txt /tests/golden/types-value-cycle-unsupported/types/txt
2453+/* src-659 %jibb /tests/golden/types-value-cycles/source/jibb
2454+/* tok-659 %txt /tests/golden/types-value-cycles/tokens/txt
2455+/* tre-659 %txt /tests/golden/types-value-cycles/tree/txt
2456+/* typ-659 %txt /tests/golden/types-value-cycles/types/txt
24532457=/ prepared-prelude (prepare-prelude-with-internal:jibb prelude-source internal-source)
24542458|%
24552459:: one arm per case
@@ -3560,216 +3564,218 @@
35603564 (weld (check ~.types-prelude-sub-nested src-552 `tok-552 `tre-552) (check-module-types ~.types-prelude-sub-nested ~[%tests %golden ~.types-prelude-sub-nested %source %jibb] src-552 `typ-552 ~ ~ ~))
35613565++ test-types-prelude-succ
35623566 (weld (check ~.types-prelude-succ src-553 `tok-553 `tre-553) (check-module-types ~.types-prelude-succ ~[%tests %golden ~.types-prelude-succ %source %jibb] src-553 `typ-553 ~ ~ ~))
3567+++ test-types-prelude-text
3568+ (weld (check ~.types-prelude-text src-554 `tok-554 `tre-554) (check-module-types ~.types-prelude-text ~[%tests %golden ~.types-prelude-text %source %jibb] src-554 `typ-554 ~ ~ ~))
35633569++ test-types-prelude-unit-helpers
3564− (weld (check ~.types-prelude-unit-helpers src-554 `tok-554 `tre-554) (check-module-types ~.types-prelude-unit-helpers ~[%tests %golden ~.types-prelude-unit-helpers %source %jibb] src-554 `typ-554 ~ ~ ~))
3570+ (weld (check ~.types-prelude-unit-helpers src-555 `tok-555 `tre-555) (check-module-types ~.types-prelude-unit-helpers ~[%tests %golden ~.types-prelude-unit-helpers %source %jibb] src-555 `typ-555 ~ ~ ~))
35653571++ test-types-prelude-zing
3566− (weld (check ~.types-prelude-zing src-555 `tok-555 `tre-555) (check-module-types ~.types-prelude-zing ~[%tests %golden ~.types-prelude-zing %source %jibb] src-555 `typ-555 ~ ~ ~))
3572+ (weld (check ~.types-prelude-zing src-556 `tok-556 `tre-556) (check-module-types ~.types-prelude-zing ~[%tests %golden ~.types-prelude-zing %source %jibb] src-556 `typ-556 ~ ~ ~))
35673573++ test-types-proj-explicit-context
3568− (weld (check ~.types-proj-explicit-context src-556 `tok-556 `tre-556) (check-module-types ~.types-proj-explicit-context ~[%tests %golden ~.types-proj-explicit-context %source %jibb] src-556 `typ-556 ~ ~ ~))
3574+ (weld (check ~.types-proj-explicit-context src-557 `tok-557 `tre-557) (check-module-types ~.types-proj-explicit-context ~[%tests %golden ~.types-proj-explicit-context %source %jibb] src-557 `typ-557 ~ ~ ~))
35693575++ test-types-proj-nested-no-implicit
3570− (weld (check ~.types-proj-nested-no-implicit src-557 `tok-557 `tre-557) (check-module-types ~.types-proj-nested-no-implicit ~[%tests %golden ~.types-proj-nested-no-implicit %source %jibb] src-557 `typ-557 ~ ~ ~))
3576+ (weld (check ~.types-proj-nested-no-implicit src-558 `tok-558 `tre-558) (check-module-types ~.types-proj-nested-no-implicit ~[%tests %golden ~.types-proj-nested-no-implicit %source %jibb] src-558 `typ-558 ~ ~ ~))
35713577++ test-types-proj-reserved-imported-definition
3572− (weld (weld (check ~.types-proj-reserved-imported-definition src-558 `tok-558 `tre-558) (check-module-types ~.types-proj-reserved-imported-definition ~[%tests %golden ~.types-proj-reserved-imported-definition %source %jibb] src-558 `typ-558 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-558-1]])) (check-module-trees ~.types-proj-reserved-imported-definition `mtre-558 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-558-1]]))
3578+ (weld (weld (check ~.types-proj-reserved-imported-definition src-559 `tok-559 `tre-559) (check-module-types ~.types-proj-reserved-imported-definition ~[%tests %golden ~.types-proj-reserved-imported-definition %source %jibb] src-559 `typ-559 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-559-1]])) (check-module-trees ~.types-proj-reserved-imported-definition `mtre-559 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-559-1]]))
35733579++ test-types-proj-reserved-jibb-import
3574− (weld (weld (check ~.types-proj-reserved-jibb-import src-559 `tok-559 `tre-559) (check-module-types ~.types-proj-reserved-jibb-import ~[%tests %golden ~.types-proj-reserved-jibb-import %source %jibb] src-559 `typ-559 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-559-1]])) (check-module-trees ~.types-proj-reserved-jibb-import `mtre-559 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-559-1]]))
3580+ (weld (weld (check ~.types-proj-reserved-jibb-import src-560 `tok-560 `tre-560) (check-module-types ~.types-proj-reserved-jibb-import ~[%tests %golden ~.types-proj-reserved-jibb-import %source %jibb] src-560 `typ-560 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-560-1]])) (check-module-trees ~.types-proj-reserved-jibb-import `mtre-560 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-560-1]]))
35753581++ test-types-proj-reserved-local
3576− (weld (check ~.types-proj-reserved-local src-560 `tok-560 `tre-560) (check-module-types ~.types-proj-reserved-local ~[%tests %golden ~.types-proj-reserved-local %source %jibb] src-560 `typ-560 ~ ~ ~))
3582+ (weld (check ~.types-proj-reserved-local src-561 `tok-561 `tre-561) (check-module-types ~.types-proj-reserved-local ~[%tests %golden ~.types-proj-reserved-local %source %jibb] src-561 `typ-561 ~ ~ ~))
35773583++ test-types-proj-reserved-local-mold
3578− (weld (check ~.types-proj-reserved-local-mold src-561 `tok-561 `tre-561) (check-module-types ~.types-proj-reserved-local-mold ~[%tests %golden ~.types-proj-reserved-local-mold %source %jibb] src-561 `typ-561 ~ ~ ~))
3584+ (weld (check ~.types-proj-reserved-local-mold src-562 `tok-562 `tre-562) (check-module-types ~.types-proj-reserved-local-mold ~[%tests %golden ~.types-proj-reserved-local-mold %source %jibb] src-562 `typ-562 ~ ~ ~))
35793585++ test-types-proj-reserved-mark-import
3580− (weld (check ~.types-proj-reserved-mark-import src-562 `tok-562 `tre-562) (check-module-types ~.types-proj-reserved-mark-import ~[%tests %golden ~.types-proj-reserved-mark-import %source %jibb] src-562 `typ-562 ~ ~ ~))
3586+ (weld (check ~.types-proj-reserved-mark-import src-563 `tok-563 `tre-563) (check-module-types ~.types-proj-reserved-mark-import ~[%tests %golden ~.types-proj-reserved-mark-import %source %jibb] src-563 `typ-563 ~ ~ ~))
35813587++ test-types-proj-reserved-mold
3582− (weld (check ~.types-proj-reserved-mold src-563 `tok-563 `tre-563) (check-module-types ~.types-proj-reserved-mold ~[%tests %golden ~.types-proj-reserved-mold %source %jibb] src-563 `typ-563 ~ ~ ~))
3588+ (weld (check ~.types-proj-reserved-mold src-564 `tok-564 `tre-564) (check-module-types ~.types-proj-reserved-mold ~[%tests %golden ~.types-proj-reserved-mold %source %jibb] src-564 `typ-564 ~ ~ ~))
35833589++ test-types-proj-reserved-pattern
3584− (weld (check ~.types-proj-reserved-pattern src-564 `tok-564 `tre-564) (check-module-types ~.types-proj-reserved-pattern ~[%tests %golden ~.types-proj-reserved-pattern %source %jibb] src-564 `typ-564 ~ ~ ~))
3590+ (weld (check ~.types-proj-reserved-pattern src-565 `tok-565 `tre-565) (check-module-types ~.types-proj-reserved-pattern ~[%tests %golden ~.types-proj-reserved-pattern %source %jibb] src-565 `typ-565 ~ ~ ~))
35853591++ test-types-proj-reserved-positive
3586− (weld (check ~.types-proj-reserved-positive src-565 `tok-565 `tre-565) (check-module-types ~.types-proj-reserved-positive ~[%tests %golden ~.types-proj-reserved-positive %source %jibb] src-565 `typ-565 ~ ~ ~))
3592+ (weld (check ~.types-proj-reserved-positive src-566 `tok-566 `tre-566) (check-module-types ~.types-proj-reserved-positive ~[%tests %golden ~.types-proj-reserved-positive %source %jibb] src-566 `typ-566 ~ ~ ~))
35873593++ test-types-proj-reserved-sample
3588− (weld (check ~.types-proj-reserved-sample src-566 `tok-566 `tre-566) (check-module-types ~.types-proj-reserved-sample ~[%tests %golden ~.types-proj-reserved-sample %source %jibb] src-566 `typ-566 ~ ~ ~))
3594+ (weld (check ~.types-proj-reserved-sample src-567 `tok-567 `tre-567) (check-module-types ~.types-proj-reserved-sample ~[%tests %golden ~.types-proj-reserved-sample %source %jibb] src-567 `typ-567 ~ ~ ~))
35893595++ test-types-proj-reserved-sur-import
3590− (weld (check ~.types-proj-reserved-sur-import src-567 `tok-567 `tre-567) (check-module-types ~.types-proj-reserved-sur-import ~[%tests %golden ~.types-proj-reserved-sur-import %source %jibb] src-567 `typ-567 ~ ~ ~))
3596+ (weld (check ~.types-proj-reserved-sur-import src-568 `tok-568 `tre-568) (check-module-types ~.types-proj-reserved-sur-import ~[%tests %golden ~.types-proj-reserved-sur-import %source %jibb] src-568 `typ-568 ~ ~ ~))
35913597++ test-types-proj-reserved-unused-pattern
3592− (weld (check ~.types-proj-reserved-unused-pattern src-568 `tok-568 `tre-568) (check-module-types ~.types-proj-reserved-unused-pattern ~[%tests %golden ~.types-proj-reserved-unused-pattern %source %jibb] src-568 `typ-568 ~ ~ ~))
3598+ (weld (check ~.types-proj-reserved-unused-pattern src-569 `tok-569 `tre-569) (check-module-types ~.types-proj-reserved-unused-pattern ~[%tests %golden ~.types-proj-reserved-unused-pattern %source %jibb] src-569 `typ-569 ~ ~ ~))
35933599++ test-types-proj-reserved-unused-sample
3594− (weld (check ~.types-proj-reserved-unused-sample src-569 `tok-569 `tre-569) (check-module-types ~.types-proj-reserved-unused-sample ~[%tests %golden ~.types-proj-reserved-unused-sample %source %jibb] src-569 `typ-569 ~ ~ ~))
3600+ (weld (check ~.types-proj-reserved-unused-sample src-570 `tok-570 `tre-570) (check-module-types ~.types-proj-reserved-unused-sample ~[%tests %golden ~.types-proj-reserved-unused-sample %source %jibb] src-570 `typ-570 ~ ~ ~))
35953601++ test-types-proj-reserved-unused-value
3596− (weld (check ~.types-proj-reserved-unused-value src-570 `tok-570 `tre-570) (check-module-types ~.types-proj-reserved-unused-value ~[%tests %golden ~.types-proj-reserved-unused-value %source %jibb] src-570 `typ-570 ~ ~ ~))
3602+ (weld (check ~.types-proj-reserved-unused-value src-571 `tok-571 `tre-571) (check-module-types ~.types-proj-reserved-unused-value ~[%tests %golden ~.types-proj-reserved-unused-value %source %jibb] src-571 `typ-571 ~ ~ ~))
35973603++ test-types-proj-reserved-value
3598− (weld (check ~.types-proj-reserved-value src-571 `tok-571 `tre-571) (check-module-types ~.types-proj-reserved-value ~[%tests %golden ~.types-proj-reserved-value %source %jibb] src-571 `typ-571 ~ ~ ~))
3604+ (weld (check ~.types-proj-reserved-value src-572 `tok-572 `tre-572) (check-module-types ~.types-proj-reserved-value ~[%tests %golden ~.types-proj-reserved-value %source %jibb] src-572 `typ-572 ~ ~ ~))
35993605++ test-types-proj-single-duplicate
3600− (weld (check ~.types-proj-single-duplicate src-572 `tok-572 `tre-572) (check-module-types ~.types-proj-single-duplicate ~[%tests %golden ~.types-proj-single-duplicate %source %jibb] src-572 `typ-572 ~ ~ ~))
3606+ (weld (check ~.types-proj-single-duplicate src-573 `tok-573 `tre-573) (check-module-types ~.types-proj-single-duplicate ~[%tests %golden ~.types-proj-single-duplicate %source %jibb] src-573 `typ-573 ~ ~ ~))
36013607++ test-types-proj-single-field
3602− (weld (check ~.types-proj-single-field src-573 `tok-573 `tre-573) (check-module-types ~.types-proj-single-field ~[%tests %golden ~.types-proj-single-field %source %jibb] src-573 `typ-573 ~ ~ ~))
3608+ (weld (check ~.types-proj-single-field src-574 `tok-574 `tre-574) (check-module-types ~.types-proj-single-field ~[%tests %golden ~.types-proj-single-field %source %jibb] src-574 `typ-574 ~ ~ ~))
36033609++ test-types-proj-single-sample-face
3604− (weld (check ~.types-proj-single-sample-face src-574 `tok-574 `tre-574) (check-module-types ~.types-proj-single-sample-face ~[%tests %golden ~.types-proj-single-sample-face %source %jibb] src-574 `typ-574 ~ ~ ~))
3610+ (weld (check ~.types-proj-single-sample-face src-575 `tok-575 `tre-575) (check-module-types ~.types-proj-single-sample-face ~[%tests %golden ~.types-proj-single-sample-face %source %jibb] src-575 `typ-575 ~ ~ ~))
36053611++ test-types-proj-single-wrapped
3606− (weld (check ~.types-proj-single-wrapped src-575 `tok-575 `tre-575) (check-module-types ~.types-proj-single-wrapped ~[%tests %golden ~.types-proj-single-wrapped %source %jibb] src-575 `typ-575 ~ ~ ~))
3612+ (weld (check ~.types-proj-single-wrapped src-576 `tok-576 `tre-576) (check-module-types ~.types-proj-single-wrapped ~[%tests %golden ~.types-proj-single-wrapped %source %jibb] src-576 `typ-576 ~ ~ ~))
36073613++ test-types-qath-faces
3608− (weld (check ~.types-qath-faces src-576 `tok-576 `tre-576) (check-module-types ~.types-qath-faces ~[%tests %golden ~.types-qath-faces %source %jibb] src-576 `typ-576 ~ ~ ~))
3614+ (weld (check ~.types-qath-faces src-577 `tok-577 `tre-577) (check-module-types ~.types-qath-faces ~[%tests %golden ~.types-qath-faces %source %jibb] src-577 `typ-577 ~ ~ ~))
36093615++ test-types-qath-holes
3610− (weld (check ~.types-qath-holes src-577 `tok-577 `tre-577) (check-module-types ~.types-qath-holes ~[%tests %golden ~.types-qath-holes %source %jibb] src-577 `typ-577 ~ ~ ~))
3616+ (weld (check ~.types-qath-holes src-578 `tok-578 `tre-578) (check-module-types ~.types-qath-holes ~[%tests %golden ~.types-qath-holes %source %jibb] src-578 `typ-578 ~ ~ ~))
36113617++ test-types-qath-module-identity
3612− (weld (weld (check ~.types-qath-module-identity src-578 `tok-578 `tre-578) (check-module-types ~.types-qath-module-identity ~[%tests %golden ~.types-qath-module-identity %source %jibb] src-578 `typ-578 ~ ~ ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-578-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-578-2] ['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-578-3]])) (check-module-trees ~.types-qath-module-identity `mtre-578 ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-578-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-578-2] ['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-578-3]]))
3618+ (weld (weld (check ~.types-qath-module-identity src-579 `tok-579 `tre-579) (check-module-types ~.types-qath-module-identity ~[%tests %golden ~.types-qath-module-identity %source %jibb] src-579 `typ-579 ~ ~ ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-579-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-579-2] ['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-579-3]])) (check-module-trees ~.types-qath-module-identity `mtre-579 ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-579-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-579-2] ['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-579-3]]))
36133619++ test-types-qath-recursive
3614− (weld (check ~.types-qath-recursive src-579 `tok-579 `tre-579) (check-module-types ~.types-qath-recursive ~[%tests %golden ~.types-qath-recursive %source %jibb] src-579 `typ-579 ~ ~ ~))
3620+ (weld (check ~.types-qath-recursive src-580 `tok-580 `tre-580) (check-module-types ~.types-qath-recursive ~[%tests %golden ~.types-qath-recursive %source %jibb] src-580 `typ-580 ~ ~ ~))
36153621++ test-types-record-bound-variable
3616− (weld (check ~.types-record-bound-variable src-580 `tok-580 `tre-580) (check-types ~.types-record-bound-variable ~[%tests %golden ~.types-record-bound-variable %source %jibb] src-580 `typ-580))
3622+ (weld (check ~.types-record-bound-variable src-581 `tok-581 `tre-581) (check-types ~.types-record-bound-variable ~[%tests %golden ~.types-record-bound-variable %source %jibb] src-581 `typ-581))
36173623++ test-types-record-cast-context
3618− (weld (check ~.types-record-cast-context src-581 `tok-581 `tre-581) (check-module-types ~.types-record-cast-context ~[%tests %golden ~.types-record-cast-context %source %jibb] src-581 `typ-581 ~ ~ ~))
3624+ (weld (check ~.types-record-cast-context src-582 `tok-582 `tre-582) (check-module-types ~.types-record-cast-context ~[%tests %golden ~.types-record-cast-context %source %jibb] src-582 `typ-582 ~ ~ ~))
36193625++ test-types-record-change
3620− (weld (check ~.types-record-change src-582 `tok-582 `tre-582) (check-module-types ~.types-record-change ~[%tests %golden ~.types-record-change %source %jibb] src-582 `typ-582 ~ ~ ~))
3626+ (weld (check ~.types-record-change src-583 `tok-583 `tre-583) (check-module-types ~.types-record-change ~[%tests %golden ~.types-record-change %source %jibb] src-583 `typ-583 ~ ~ ~))
36213627++ test-types-record-change-generic
3622− (weld (check ~.types-record-change-generic src-583 `tok-583 `tre-583) (check-module-types ~.types-record-change-generic ~[%tests %golden ~.types-record-change-generic %source %jibb] src-583 `typ-583 ~ ~ ~))
3628+ (weld (check ~.types-record-change-generic src-584 `tok-584 `tre-584) (check-module-types ~.types-record-change-generic ~[%tests %golden ~.types-record-change-generic %source %jibb] src-584 `typ-584 ~ ~ ~))
36233629++ test-types-record-faces
3624− (weld (check ~.types-record-faces src-584 `tok-584 `tre-584) (check-types ~.types-record-faces ~[%tests %golden ~.types-record-faces %source %jibb] src-584 `typ-584))
3630+ (weld (check ~.types-record-faces src-585 `tok-585 `tre-585) (check-types ~.types-record-faces ~[%tests %golden ~.types-record-faces %source %jibb] src-585 `typ-585))
36253631++ test-types-record-field-edit-separate
3626− (weld (check ~.types-record-field-edit-separate src-585 `tok-585 `tre-585) (check-types ~.types-record-field-edit-separate ~[%tests %golden ~.types-record-field-edit-separate %source %jibb] src-585 `typ-585))
3632+ (weld (check ~.types-record-field-edit-separate src-586 `tok-586 `tre-586) (check-types ~.types-record-field-edit-separate ~[%tests %golden ~.types-record-field-edit-separate %source %jibb] src-586 `typ-586))
36273633++ test-types-record-field-expr-duplicate
3628− (weld (check ~.types-record-field-expr-duplicate src-586 `tok-586 `tre-586) (check-types ~.types-record-field-expr-duplicate ~[%tests %golden ~.types-record-field-expr-duplicate %source %jibb] src-586 `typ-586))
3634+ (weld (check ~.types-record-field-expr-duplicate src-587 `tok-587 `tre-587) (check-types ~.types-record-field-expr-duplicate ~[%tests %golden ~.types-record-field-expr-duplicate %source %jibb] src-587 `typ-587))
36293635++ test-types-record-field-expr-separate
3630− (weld (check ~.types-record-field-expr-separate src-587 `tok-587 `tre-587) (check-types ~.types-record-field-expr-separate ~[%tests %golden ~.types-record-field-expr-separate %source %jibb] src-587 `typ-587))
3636+ (weld (check ~.types-record-field-expr-separate src-588 `tok-588 `tre-588) (check-types ~.types-record-field-expr-separate ~[%tests %golden ~.types-record-field-expr-separate %source %jibb] src-588 `typ-588))
36313637++ test-types-record-field-module-reachable
3632− (weld (weld (check ~.types-record-field-module-reachable src-588 `tok-588 `tre-588) (check-module-types ~.types-record-field-module-reachable ~[%tests %golden ~.types-record-field-module-reachable %source %jibb] src-588 `typ-588 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-588-1]])) (check-module-trees ~.types-record-field-module-reachable `mtre-588 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-588-1]]))
3638+ (weld (weld (check ~.types-record-field-module-reachable src-589 `tok-589 `tre-589) (check-module-types ~.types-record-field-module-reachable ~[%tests %golden ~.types-record-field-module-reachable %source %jibb] src-589 `typ-589 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-589-1]])) (check-module-trees ~.types-record-field-module-reachable `mtre-589 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-589-1]]))
36333639++ test-types-record-field-module-unused
3634− (weld (weld (check ~.types-record-field-module-unused src-589 `tok-589 `tre-589) (check-module-types ~.types-record-field-module-unused ~[%tests %golden ~.types-record-field-module-unused %source %jibb] src-589 `typ-589 ~ ~ ~[['/ui/good.jibb' ~[~.ui ~.good ~.jibb] mod-589-1] ['/ui/unused.jibb' ~[~.ui ~.unused ~.jibb] mod-589-2]])) (check-module-trees ~.types-record-field-module-unused `mtre-589 ~[['/ui/good.jibb' ~[~.ui ~.good ~.jibb] mod-589-1] ['/ui/unused.jibb' ~[~.ui ~.unused ~.jibb] mod-589-2]]))
3640+ (weld (weld (check ~.types-record-field-module-unused src-590 `tok-590 `tre-590) (check-module-types ~.types-record-field-module-unused ~[%tests %golden ~.types-record-field-module-unused %source %jibb] src-590 `typ-590 ~ ~ ~[['/ui/good.jibb' ~[~.ui ~.good ~.jibb] mod-590-1] ['/ui/unused.jibb' ~[~.ui ~.unused ~.jibb] mod-590-2]])) (check-module-trees ~.types-record-field-module-unused `mtre-590 ~[['/ui/good.jibb' ~[~.ui ~.good ~.jibb] mod-590-1] ['/ui/unused.jibb' ~[~.ui ~.unused ~.jibb] mod-590-2]]))
36353641++ test-types-record-field-nested-mold
3636− (weld (check ~.types-record-field-nested-mold src-590 `tok-590 `tre-590) (check-types ~.types-record-field-nested-mold ~[%tests %golden ~.types-record-field-nested-mold %source %jibb] src-590 `typ-590))
3642+ (weld (check ~.types-record-field-nested-mold src-591 `tok-591 `tre-591) (check-types ~.types-record-field-nested-mold ~[%tests %golden ~.types-record-field-nested-mold %source %jibb] src-591 `typ-591))
36373643++ test-types-record-field-outer-inner
3638− (weld (check ~.types-record-field-outer-inner src-591 `tok-591 `tre-591) (check-types ~.types-record-field-outer-inner ~[%tests %golden ~.types-record-field-outer-inner %source %jibb] src-591 `typ-591))
3644+ (weld (check ~.types-record-field-outer-inner src-592 `tok-592 `tre-592) (check-types ~.types-record-field-outer-inner ~[%tests %golden ~.types-record-field-outer-inner %source %jibb] src-592 `typ-592))
36393645++ test-types-record-field-sample-duplicate
3640− (weld (check ~.types-record-field-sample-duplicate src-592 `tok-592 `tre-592) (check-types ~.types-record-field-sample-duplicate ~[%tests %golden ~.types-record-field-sample-duplicate %source %jibb] src-592 `typ-592))
3646+ (weld (check ~.types-record-field-sample-duplicate src-593 `tok-593 `tre-593) (check-types ~.types-record-field-sample-duplicate ~[%tests %golden ~.types-record-field-sample-duplicate %source %jibb] src-593 `typ-593))
36413647++ test-types-record-field-separate-molds
3642− (weld (check ~.types-record-field-separate-molds src-593 `tok-593 `tre-593) (check-types ~.types-record-field-separate-molds ~[%tests %golden ~.types-record-field-separate-molds %source %jibb] src-593 `typ-593))
3648+ (weld (check ~.types-record-field-separate-molds src-594 `tok-594 `tre-594) (check-types ~.types-record-field-separate-molds ~[%tests %golden ~.types-record-field-separate-molds %source %jibb] src-594 `typ-594))
36433649++ test-types-record-field-unused-mold
3644− (weld (check ~.types-record-field-unused-mold src-594 `tok-594 `tre-594) (check-types ~.types-record-field-unused-mold ~[%tests %golden ~.types-record-field-unused-mold %source %jibb] src-594 `typ-594))
3650+ (weld (check ~.types-record-field-unused-mold src-595 `tok-595 `tre-595) (check-types ~.types-record-field-unused-mold ~[%tests %golden ~.types-record-field-unused-mold %source %jibb] src-595 `typ-595))
36453651++ test-types-record-import
3646− (weld (weld (check ~.types-record-import src-595 `tok-595 `tre-595) (check-module-types ~.types-record-import ~[%tests %golden ~.types-record-import %source %jibb] src-595 `typ-595 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-595-1]])) (check-module-trees ~.types-record-import `mtre-595 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-595-1]]))
3652+ (weld (weld (check ~.types-record-import src-596 `tok-596 `tre-596) (check-module-types ~.types-record-import ~[%tests %golden ~.types-record-import %source %jibb] src-596 `typ-596 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-596-1]])) (check-module-trees ~.types-record-import `mtre-596 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-596-1]]))
36473653++ test-types-record-local-scheme
3648− (weld (check ~.types-record-local-scheme src-596 `tok-596 `tre-596) (check-types ~.types-record-local-scheme ~[%tests %golden ~.types-record-local-scheme %source %jibb] src-596 `typ-596))
3654+ (weld (check ~.types-record-local-scheme src-597 `tok-597 `tre-597) (check-types ~.types-record-local-scheme ~[%tests %golden ~.types-record-local-scheme %source %jibb] src-597 `typ-597))
36493655++ test-types-record-nested
3650− (weld (check ~.types-record-nested src-597 `tok-597 `tre-597) (check-types ~.types-record-nested ~[%tests %golden ~.types-record-nested %source %jibb] src-597 `typ-597))
3656+ (weld (check ~.types-record-nested src-598 `tok-598 `tre-598) (check-types ~.types-record-nested ~[%tests %golden ~.types-record-nested %source %jibb] src-598 `typ-598))
36513657++ test-types-record-to-tuple
3652− (weld (check ~.types-record-to-tuple src-598 `tok-598 `tre-598) (check-types ~.types-record-to-tuple ~[%tests %golden ~.types-record-to-tuple %source %jibb] src-598 `typ-598))
3658+ (weld (check ~.types-record-to-tuple src-599 `tok-599 `tre-599) (check-types ~.types-record-to-tuple ~[%tests %golden ~.types-record-to-tuple %source %jibb] src-599 `typ-599))
36533659++ test-types-recursion-scc-failures
3654− (weld (check ~.types-recursion-scc-failures src-599 `tok-599 `tre-599) (check-module-types ~.types-recursion-scc-failures ~[%tests %golden ~.types-recursion-scc-failures %source %jibb] src-599 `typ-599 ~ ~ ~))
3660+ (weld (check ~.types-recursion-scc-failures src-600 `tok-600 `tre-600) (check-module-types ~.types-recursion-scc-failures ~[%tests %golden ~.types-recursion-scc-failures %source %jibb] src-600 `typ-600 ~ ~ ~))
36553661++ test-types-recursion-scc-groups
3656− (weld (check ~.types-recursion-scc-groups src-600 `tok-600 `tre-600) (check-module-types ~.types-recursion-scc-groups ~[%tests %golden ~.types-recursion-scc-groups %source %jibb] src-600 `typ-600 ~ ~ ~))
3662+ (weld (check ~.types-recursion-scc-groups src-601 `tok-601 `tre-601) (check-module-types ~.types-recursion-scc-groups ~[%tests %golden ~.types-recursion-scc-groups %source %jibb] src-601 `typ-601 ~ ~ ~))
36573663++ test-types-recursion-scc-import
3658− (weld (weld (check ~.types-recursion-scc-import src-601 `tok-601 `tre-601) (check-module-types ~.types-recursion-scc-import ~[%tests %golden ~.types-recursion-scc-import %source %jibb] src-601 `typ-601 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-601-1]])) (check-module-trees ~.types-recursion-scc-import `mtre-601 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-601-1]]))
3664+ (weld (weld (check ~.types-recursion-scc-import src-602 `tok-602 `tre-602) (check-module-types ~.types-recursion-scc-import ~[%tests %golden ~.types-recursion-scc-import %source %jibb] src-602 `typ-602 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-602-1]])) (check-module-trees ~.types-recursion-scc-import `mtre-602 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-602-1]]))
36593665++ test-types-recursion-scc-import-bad
3660− (weld (weld (check ~.types-recursion-scc-import-bad src-602 `tok-602 `tre-602) (check-module-types ~.types-recursion-scc-import-bad ~[%tests %golden ~.types-recursion-scc-import-bad %source %jibb] src-602 `typ-602 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-602-1]])) (check-module-trees ~.types-recursion-scc-import-bad `mtre-602 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-602-1]]))
3666+ (weld (weld (check ~.types-recursion-scc-import-bad src-603 `tok-603 `tre-603) (check-module-types ~.types-recursion-scc-import-bad ~[%tests %golden ~.types-recursion-scc-import-bad %source %jibb] src-603 `typ-603 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-603-1]])) (check-module-trees ~.types-recursion-scc-import-bad `mtre-603 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-603-1]]))
36613667++ test-types-recursion-scc-local
3662− (weld (check ~.types-recursion-scc-local src-603 `tok-603 `tre-603) (check-module-types ~.types-recursion-scc-local ~[%tests %golden ~.types-recursion-scc-local %source %jibb] src-603 `typ-603 ~ ~ ~))
3668+ (weld (check ~.types-recursion-scc-local src-604 `tok-604 `tre-604) (check-module-types ~.types-recursion-scc-local ~[%tests %golden ~.types-recursion-scc-local %source %jibb] src-604 `typ-604 ~ ~ ~))
36633669++ test-types-recursion-scc-order
3664− (weld (check ~.types-recursion-scc-order src-604 `tok-604 `tre-604) (check-module-types ~.types-recursion-scc-order ~[%tests %golden ~.types-recursion-scc-order %source %jibb] src-604 `typ-604 ~ ~ ~))
3670+ (weld (check ~.types-recursion-scc-order src-605 `tok-605 `tre-605) (check-module-types ~.types-recursion-scc-order ~[%tests %golden ~.types-recursion-scc-order %source %jibb] src-605 `typ-605 ~ ~ ~))
36653671++ test-types-recursion-scc-shadow
3666− (weld (check ~.types-recursion-scc-shadow src-605 `tok-605 `tre-605) (check-module-types ~.types-recursion-scc-shadow ~[%tests %golden ~.types-recursion-scc-shadow %source %jibb] src-605 `typ-605 ~ ~ ~))
3672+ (weld (check ~.types-recursion-scc-shadow src-606 `tok-606 `tre-606) (check-module-types ~.types-recursion-scc-shadow ~[%tests %golden ~.types-recursion-scc-shadow %source %jibb] src-606 `typ-606 ~ ~ ~))
36673673++ test-types-recursive-branch
3668− (weld (check ~.types-recursive-branch src-606 `tok-606 `tre-606) (check-module-types ~.types-recursive-branch ~[%tests %golden ~.types-recursive-branch %source %jibb] src-606 `typ-606 ~ ~ ~))
3674+ (weld (check ~.types-recursive-branch src-607 `tok-607 `tre-607) (check-module-types ~.types-recursive-branch ~[%tests %golden ~.types-recursive-branch %source %jibb] src-607 `typ-607 ~ ~ ~))
36693675++ test-types-recursive-gate
3670− (weld (check ~.types-recursive-gate src-607 `tok-607 `tre-607) (check-types ~.types-recursive-gate ~[%tests %golden ~.types-recursive-gate %source %jibb] src-607 `typ-607))
3676+ (weld (check ~.types-recursive-gate src-608 `tok-608 `tre-608) (check-types ~.types-recursive-gate ~[%tests %golden ~.types-recursive-gate %source %jibb] src-608 `typ-608))
36713677++ test-types-recursive-sample
3672− (weld (check ~.types-recursive-sample src-608 `tok-608 `tre-608) (check-types ~.types-recursive-sample ~[%tests %golden ~.types-recursive-sample %source %jibb] src-608 `typ-608))
3678+ (weld (check ~.types-recursive-sample src-609 `tok-609 `tre-609) (check-types ~.types-recursive-sample ~[%tests %golden ~.types-recursive-sample %source %jibb] src-609 `typ-609))
36733679++ test-types-request-normal
3674− (weld (weld (check ~.types-request-normal src-609 `tok-609 `tre-609) (check-module-types ~.types-request-normal ~[%tests %golden ~.types-request-normal %source %jibb] src-609 `typ-609 ~ ~[[%full mark-609-1]] ~[['/ui/api/demo.jibb' ~[~.ui ~.api ~.demo ~.jibb] mod-609-1]])) (check-module-trees ~.types-request-normal `mtre-609 ~[['/ui/api/demo.jibb' ~[~.ui ~.api ~.demo ~.jibb] mod-609-1]]))
3680+ (weld (weld (check ~.types-request-normal src-610 `tok-610 `tre-610) (check-module-types ~.types-request-normal ~[%tests %golden ~.types-request-normal %source %jibb] src-610 `typ-610 ~ ~[[%full mark-610-1]] ~[['/ui/api/demo.jibb' ~[~.ui ~.api ~.demo ~.jibb] mod-610-1]])) (check-module-trees ~.types-request-normal `mtre-610 ~[['/ui/api/demo.jibb' ~[~.ui ~.api ~.demo ~.jibb] mod-610-1]]))
36753681++ test-types-scope-library-poke
3676− (weld (check-at ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-610 `tok-610 `tre-610) (check-module-types ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-610 `typ-610 ~ ~ ~))
3682+ (weld (check-at ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-611 `tok-611 `tre-611) (check-module-types ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-611 `typ-611 ~ ~ ~))
36773683++ test-types-scope-root-api
3678− (weld (check-at ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-611 `tok-611 `tre-611) (check-module-types ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-611 `typ-611 ~ ~ ~))
3684+ (weld (check-at ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-612 `tok-612 `tre-612) (check-module-types ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-612 `typ-612 ~ ~ ~))
36793685++ test-types-scope-store-duplicate
3680− (weld (check-at ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-612 `tok-612 `tre-612) (check-module-types ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-612 `typ-612 ~ ~ ~))
3686+ (weld (check-at ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-613 `tok-613 `tre-613) (check-module-types ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-613 `typ-613 ~ ~ ~))
36813687++ test-types-scope-store-shadow
3682− (weld (check-at ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-613 `tok-613 `tre-613) (check-module-types ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-613 `typ-613 ~ ~ ~))
3688+ (weld (check-at ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-614 `tok-614 `tre-614) (check-module-types ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-614 `typ-614 ~ ~ ~))
36833689++ test-types-single-case-pattern
3684− (weld (check ~.types-single-case-pattern src-614 `tok-614 `tre-614) (check-module-types ~.types-single-case-pattern ~[%tests %golden ~.types-single-case-pattern %source %jibb] src-614 `typ-614 ~ ~ ~))
3690+ (weld (check ~.types-single-case-pattern src-615 `tok-615 `tre-615) (check-module-types ~.types-single-case-pattern ~[%tests %golden ~.types-single-case-pattern %source %jibb] src-615 `typ-615 ~ ~ ~))
36853691++ test-types-string-interpolation
3686− (weld (check ~.types-string-interpolation src-615 `tok-615 `tre-615) (check-module-types ~.types-string-interpolation ~[%tests %golden ~.types-string-interpolation %source %jibb] src-615 `typ-615 ~ ~ ~))
3692+ (weld (check ~.types-string-interpolation src-616 `tok-616 `tre-616) (check-module-types ~.types-string-interpolation ~[%tests %golden ~.types-string-interpolation %source %jibb] src-616 `typ-616 ~ ~ ~))
36873693++ test-types-tuple-context
3688− (weld (check ~.types-tuple-context src-616 `tok-616 `tre-616) (check-module-types ~.types-tuple-context ~[%tests %golden ~.types-tuple-context %source %jibb] src-616 `typ-616 ~ ~ ~))
3694+ (weld (check ~.types-tuple-context src-617 `tok-617 `tre-617) (check-module-types ~.types-tuple-context ~[%tests %golden ~.types-tuple-context %source %jibb] src-617 `typ-617 ~ ~ ~))
36893695++ test-types-tuple-context-nested
3690− (weld (check ~.types-tuple-context-nested src-617 `tok-617 `tre-617) (check-module-types ~.types-tuple-context-nested ~[%tests %golden ~.types-tuple-context-nested %source %jibb] src-617 `typ-617 ~ ~ ~))
3696+ (weld (check ~.types-tuple-context-nested src-618 `tok-618 `tre-618) (check-module-types ~.types-tuple-context-nested ~[%tests %golden ~.types-tuple-context-nested %source %jibb] src-618 `typ-618 ~ ~ ~))
36913697++ test-types-union-alias
3692− (weld (check ~.types-union-alias src-618 `tok-618 `tre-618) (check-types ~.types-union-alias ~[%tests %golden ~.types-union-alias %source %jibb] src-618 `typ-618))
3698+ (weld (check ~.types-union-alias src-619 `tok-619 `tre-619) (check-types ~.types-union-alias ~[%tests %golden ~.types-union-alias %source %jibb] src-619 `typ-619))
36933699++ test-types-union-branch-context
3694− (weld (check ~.types-union-branch-context src-619 `tok-619 `tre-619) (check-types ~.types-union-branch-context ~[%tests %golden ~.types-union-branch-context %source %jibb] src-619 `typ-619))
3700+ (weld (check ~.types-union-branch-context src-620 `tok-620 `tre-620) (check-types ~.types-union-branch-context ~[%tests %golden ~.types-union-branch-context %source %jibb] src-620 `typ-620))
36953701++ test-types-union-branch-pending
3696− (weld (check ~.types-union-branch-pending src-620 `tok-620 `tre-620) (check-types ~.types-union-branch-pending ~[%tests %golden ~.types-union-branch-pending %source %jibb] src-620 `typ-620))
3702+ (weld (check ~.types-union-branch-pending src-621 `tok-621 `tre-621) (check-types ~.types-union-branch-pending ~[%tests %golden ~.types-union-branch-pending %source %jibb] src-621 `typ-621))
36973703++ test-types-union-constructor-shape
3698− (weld (check ~.types-union-constructor-shape src-621 `tok-621 `tre-621) (check-types ~.types-union-constructor-shape ~[%tests %golden ~.types-union-constructor-shape %source %jibb] src-621 `typ-621))
3704+ (weld (check ~.types-union-constructor-shape src-622 `tok-622 `tre-622) (check-types ~.types-union-constructor-shape ~[%tests %golden ~.types-union-constructor-shape %source %jibb] src-622 `typ-622))
36993705++ test-types-union-context-flow
3700− (weld (check ~.types-union-context-flow src-622 `tok-622 `tre-622) (check-types ~.types-union-context-flow ~[%tests %golden ~.types-union-context-flow %source %jibb] src-622 `typ-622))
3706+ (weld (check ~.types-union-context-flow src-623 `tok-623 `tre-623) (check-types ~.types-union-context-flow ~[%tests %golden ~.types-union-context-flow %source %jibb] src-623 `typ-623))
37013707++ test-types-union-finite
3702− (weld (check ~.types-union-finite src-623 `tok-623 `tre-623) (check-module-types ~.types-union-finite ~[%tests %golden ~.types-union-finite %source %jibb] src-623 `typ-623 ~ ~ ~))
3708+ (weld (check ~.types-union-finite src-624 `tok-624 `tre-624) (check-module-types ~.types-union-finite ~[%tests %golden ~.types-union-finite %source %jibb] src-624 `typ-624 ~ ~ ~))
37033709++ test-types-union-finite-context
3704− (weld (check ~.types-union-finite-context src-624 `tok-624 `tre-624) (check-module-types ~.types-union-finite-context ~[%tests %golden ~.types-union-finite-context %source %jibb] src-624 `typ-624 ~ ~ ~))
3710+ (weld (check ~.types-union-finite-context src-625 `tok-625 `tre-625) (check-module-types ~.types-union-finite-context ~[%tests %golden ~.types-union-finite-context %source %jibb] src-625 `typ-625 ~ ~ ~))
37053711++ test-types-union-finite-generic
3706− (weld (check ~.types-union-finite-generic src-625 `tok-625 `tre-625) (check-module-types ~.types-union-finite-generic ~[%tests %golden ~.types-union-finite-generic %source %jibb] src-625 `typ-625 ~ ~ ~))
3712+ (weld (check ~.types-union-finite-generic src-626 `tok-626 `tre-626) (check-module-types ~.types-union-finite-generic ~[%tests %golden ~.types-union-finite-generic %source %jibb] src-626 `typ-626 ~ ~ ~))
37073713++ test-types-union-finite-limit
3708− (weld (check ~.types-union-finite-limit src-626 `tok-626 `tre-626) (check-module-types ~.types-union-finite-limit ~[%tests %golden ~.types-union-finite-limit %source %jibb] src-626 `typ-626 ~ ~ ~))
3714+ (weld (check ~.types-union-finite-limit src-627 `tok-627 `tre-627) (check-module-types ~.types-union-finite-limit ~[%tests %golden ~.types-union-finite-limit %source %jibb] src-627 `typ-627 ~ ~ ~))
37093715++ test-types-union-import
3710− (weld (weld (check ~.types-union-import src-627 `tok-627 `tre-627) (check-module-types ~.types-union-import ~[%tests %golden ~.types-union-import %source %jibb] src-627 `typ-627 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-627-1]])) (check-module-trees ~.types-union-import `mtre-627 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-627-1]]))
3716+ (weld (weld (check ~.types-union-import src-628 `tok-628 `tre-628) (check-module-types ~.types-union-import ~[%tests %golden ~.types-union-import %source %jibb] src-628 `typ-628 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-628-1]])) (check-module-trees ~.types-union-import `mtre-628 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-628-1]]))
37113717++ test-types-union-local-pending
3712− (weld (check ~.types-union-local-pending src-628 `tok-628 `tre-628) (check-types ~.types-union-local-pending ~[%tests %golden ~.types-union-local-pending %source %jibb] src-628 `typ-628))
3718+ (weld (check ~.types-union-local-pending src-629 `tok-629 `tre-629) (check-types ~.types-union-local-pending ~[%tests %golden ~.types-union-local-pending %source %jibb] src-629 `typ-629))
37133719++ test-types-union-nonwing-subject
3714− (weld (check ~.types-union-nonwing-subject src-629 `tok-629 `tre-629) (check-module-types ~.types-union-nonwing-subject ~[%tests %golden ~.types-union-nonwing-subject %source %jibb] src-629 `typ-629 ~ ~ ~))
3720+ (weld (check ~.types-union-nonwing-subject src-630 `tok-630 `tre-630) (check-module-types ~.types-union-nonwing-subject ~[%tests %golden ~.types-union-nonwing-subject %source %jibb] src-630 `typ-630 ~ ~ ~))
37153721++ test-types-union-overlap
3716− (weld (check ~.types-union-overlap src-630 `tok-630 `tre-630) (check-types ~.types-union-overlap ~[%tests %golden ~.types-union-overlap %source %jibb] src-630 `typ-630))
3722+ (weld (check ~.types-union-overlap src-631 `tok-631 `tre-631) (check-types ~.types-union-overlap ~[%tests %golden ~.types-union-overlap %source %jibb] src-631 `typ-631))
37173723++ test-types-union-overlap-nested
3718− (weld (check ~.types-union-overlap-nested src-631 `tok-631 `tre-631) (check-types ~.types-union-overlap-nested ~[%tests %golden ~.types-union-overlap-nested %source %jibb] src-631 `typ-631))
3724+ (weld (check ~.types-union-overlap-nested src-632 `tok-632 `tre-632) (check-types ~.types-union-overlap-nested ~[%tests %golden ~.types-union-overlap-nested %source %jibb] src-632 `typ-632))
37193725++ test-types-union-pattern-result-context
3720− (weld (check ~.types-union-pattern-result-context src-632 `tok-632 `tre-632) (check-module-types ~.types-union-pattern-result-context ~[%tests %golden ~.types-union-pattern-result-context %source %jibb] src-632 `typ-632 ~ ~ ~))
3726+ (weld (check ~.types-union-pattern-result-context src-633 `tok-633 `tre-633) (check-module-types ~.types-union-pattern-result-context ~[%tests %golden ~.types-union-pattern-result-context %source %jibb] src-633 `typ-633 ~ ~ ~))
37213727++ test-types-union-pattern-result-controls
3722− (weld (check ~.types-union-pattern-result-controls src-633 `tok-633 `tre-633) (check-module-types ~.types-union-pattern-result-controls ~[%tests %golden ~.types-union-pattern-result-controls %source %jibb] src-633 `typ-633 ~ ~ ~))
3728+ (weld (check ~.types-union-pattern-result-controls src-634 `tok-634 `tre-634) (check-module-types ~.types-union-pattern-result-controls ~[%tests %golden ~.types-union-pattern-result-controls %source %jibb] src-634 `typ-634 ~ ~ ~))
37233729++ test-types-union-patterns
3724− (weld (check ~.types-union-patterns src-634 `tok-634 `tre-634) (check-module-types ~.types-union-patterns ~[%tests %golden ~.types-union-patterns %source %jibb] src-634 `typ-634 ~ ~ ~))
3730+ (weld (check ~.types-union-patterns src-635 `tok-635 `tre-635) (check-module-types ~.types-union-patterns ~[%tests %golden ~.types-union-patterns %source %jibb] src-635 `typ-635 ~ ~ ~))
37253731++ test-types-union-patterns-generic
3726− (weld (check ~.types-union-patterns-generic src-635 `tok-635 `tre-635) (check-module-types ~.types-union-patterns-generic ~[%tests %golden ~.types-union-patterns-generic %source %jibb] src-635 `typ-635 ~ ~ ~))
3732+ (weld (check ~.types-union-patterns-generic src-636 `tok-636 `tre-636) (check-module-types ~.types-union-patterns-generic ~[%tests %golden ~.types-union-patterns-generic %source %jibb] src-636 `typ-636 ~ ~ ~))
37273733++ test-types-union-patterns-import
3728− (weld (weld (check ~.types-union-patterns-import src-636 `tok-636 `tre-636) (check-module-types ~.types-union-patterns-import ~[%tests %golden ~.types-union-patterns-import %source %jibb] src-636 `typ-636 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-636-1]])) (check-module-trees ~.types-union-patterns-import `mtre-636 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-636-1]]))
3734+ (weld (weld (check ~.types-union-patterns-import src-637 `tok-637 `tre-637) (check-module-types ~.types-union-patterns-import ~[%tests %golden ~.types-union-patterns-import %source %jibb] src-637 `typ-637 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-637-1]])) (check-module-trees ~.types-union-patterns-import `mtre-637 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-637-1]]))
37293735++ test-types-union-phantom-generic
3730− (weld (check ~.types-union-phantom-generic src-637 `tok-637 `tre-637) (check-types ~.types-union-phantom-generic ~[%tests %golden ~.types-union-phantom-generic %source %jibb] src-637 `typ-637))
3736+ (weld (check ~.types-union-phantom-generic src-638 `tok-638 `tre-638) (check-types ~.types-union-phantom-generic ~[%tests %golden ~.types-union-phantom-generic %source %jibb] src-638 `typ-638))
37313737++ test-types-union-polymorphic-identity
3732− (weld (weld (check ~.types-union-polymorphic-identity src-638 `tok-638 `tre-638) (check-module-types ~.types-union-polymorphic-identity ~[%tests %golden ~.types-union-polymorphic-identity %source %jibb] src-638 `typ-638 ~ ~ ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-638-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-638-2]])) (check-module-trees ~.types-union-polymorphic-identity `mtre-638 ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-638-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-638-2]]))
3738+ (weld (weld (check ~.types-union-polymorphic-identity src-639 `tok-639 `tre-639) (check-module-types ~.types-union-polymorphic-identity ~[%tests %golden ~.types-union-polymorphic-identity %source %jibb] src-639 `typ-639 ~ ~ ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-639-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-639-2]])) (check-module-trees ~.types-union-polymorphic-identity `mtre-639 ~[['/ui/one.jibb' ~[~.ui ~.one ~.jibb] mod-639-1] ['/ui/two.jibb' ~[~.ui ~.two ~.jibb] mod-639-2]]))
37333739++ test-types-union-print-cross-namespace
3734− (weld (weld (check ~.types-union-print-cross-namespace src-639 `tok-639 `tre-639) (check-module-types ~.types-union-print-cross-namespace ~[%tests %golden ~.types-union-print-cross-namespace %source %jibb] src-639 `typ-639 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-639-1]])) (check-module-trees ~.types-union-print-cross-namespace `mtre-639 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-639-1]]))
3740+ (weld (weld (check ~.types-union-print-cross-namespace src-640 `tok-640 `tre-640) (check-module-types ~.types-union-print-cross-namespace ~[%tests %golden ~.types-union-print-cross-namespace %source %jibb] src-640 `typ-640 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-640-1]])) (check-module-trees ~.types-union-print-cross-namespace `mtre-640 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-640-1]]))
37353741++ test-types-union-print-distinct
3736− (weld (weld (check ~.types-union-print-distinct src-640 `tok-640 `tre-640) (check-module-types ~.types-union-print-distinct ~[%tests %golden ~.types-union-print-distinct %source %jibb] src-640 `typ-640 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-640-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-640-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-640-3]])) (check-module-trees ~.types-union-print-distinct `mtre-640 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-640-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-640-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-640-3]]))
3742+ (weld (weld (check ~.types-union-print-distinct src-641 `tok-641 `tre-641) (check-module-types ~.types-union-print-distinct ~[%tests %golden ~.types-union-print-distinct %source %jibb] src-641 `typ-641 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-641-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-641-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-641-3]])) (check-module-trees ~.types-union-print-distinct `mtre-641 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-641-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-641-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-641-3]]))
37373743++ test-types-union-print-escape
3738− (weld (check ~.types-union-print-escape src-641 `tok-641 `tre-641) (check-types ~.types-union-print-escape ~[%tests %golden ~.types-union-print-escape %source %jibb] src-641 `typ-641))
3744+ (weld (check ~.types-union-print-escape src-642 `tok-642 `tre-642) (check-types ~.types-union-print-escape ~[%tests %golden ~.types-union-print-escape %source %jibb] src-642 `typ-642))
37393745++ test-types-union-print-local
3740− (weld (check ~.types-union-print-local src-642 `tok-642 `tre-642) (check-types ~.types-union-print-local ~[%tests %golden ~.types-union-print-local %source %jibb] src-642 `typ-642))
3746+ (weld (check ~.types-union-print-local src-643 `tok-643 `tre-643) (check-types ~.types-union-print-local ~[%tests %golden ~.types-union-print-local %source %jibb] src-643 `typ-643))
37413747++ test-types-union-print-nested
3742− (weld (check ~.types-union-print-nested src-643 `tok-643 `tre-643) (check-types ~.types-union-print-nested ~[%tests %golden ~.types-union-print-nested %source %jibb] src-643 `typ-643))
3748+ (weld (check ~.types-union-print-nested src-644 `tok-644 `tre-644) (check-types ~.types-union-print-nested ~[%tests %golden ~.types-union-print-nested %source %jibb] src-644 `typ-644))
37433749++ test-types-union-print-same-origin
3744− (weld (weld (check ~.types-union-print-same-origin src-644 `tok-644 `tre-644) (check-module-types ~.types-union-print-same-origin ~[%tests %golden ~.types-union-print-same-origin %source %jibb] src-644 `typ-644 ~ ~ ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-644-1]])) (check-module-trees ~.types-union-print-same-origin `mtre-644 ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-644-1]]))
3750+ (weld (weld (check ~.types-union-print-same-origin src-645 `tok-645 `tre-645) (check-module-types ~.types-union-print-same-origin ~[%tests %golden ~.types-union-print-same-origin %source %jibb] src-645 `typ-645 ~ ~ ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-645-1]])) (check-module-trees ~.types-union-print-same-origin `mtre-645 ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-645-1]]))
37453751++ test-types-union-print-transitive
3746− (weld (weld (check ~.types-union-print-transitive src-645 `tok-645 `tre-645) (check-module-types ~.types-union-print-transitive ~[%tests %golden ~.types-union-print-transitive %source %jibb] src-645 `typ-645 ~ ~ ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-645-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-645-2]])) (check-module-trees ~.types-union-print-transitive `mtre-645 ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-645-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-645-2]]))
3752+ (weld (weld (check ~.types-union-print-transitive src-646 `tok-646 `tre-646) (check-module-types ~.types-union-print-transitive ~[%tests %golden ~.types-union-print-transitive %source %jibb] src-646 `typ-646 ~ ~ ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-646-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-646-2]])) (check-module-trees ~.types-union-print-transitive `mtre-646 ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-646-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-646-2]]))
37473753++ test-types-union-runtime-equality
3748− (weld (check ~.types-union-runtime-equality src-646 `tok-646 `tre-646) (check-types ~.types-union-runtime-equality ~[%tests %golden ~.types-union-runtime-equality %source %jibb] src-646 `typ-646))
3754+ (weld (check ~.types-union-runtime-equality src-647 `tok-647 `tre-647) (check-types ~.types-union-runtime-equality ~[%tests %golden ~.types-union-runtime-equality %source %jibb] src-647 `typ-647))
37493755++ test-types-union-singleton
3750− (weld (check ~.types-union-singleton src-647 `tok-647 `tre-647) (check-types ~.types-union-singleton ~[%tests %golden ~.types-union-singleton %source %jibb] src-647 `typ-647))
3756+ (weld (check ~.types-union-singleton src-648 `tok-648 `tre-648) (check-types ~.types-union-singleton ~[%tests %golden ~.types-union-singleton %source %jibb] src-648 `typ-648))
37513757++ test-types-union-source-alias
3752− (weld (check ~.types-union-source-alias src-648 `tok-648 `tre-648) (check-types ~.types-union-source-alias ~[%tests %golden ~.types-union-source-alias %source %jibb] src-648 `typ-648))
3758+ (weld (check ~.types-union-source-alias src-649 `tok-649 `tre-649) (check-types ~.types-union-source-alias ~[%tests %golden ~.types-union-source-alias %source %jibb] src-649 `typ-649))
37533759++ test-types-union-tag-atoms
3754− (weld (check ~.types-union-tag-atoms src-649 `tok-649 `tre-649) (check-types ~.types-union-tag-atoms ~[%tests %golden ~.types-union-tag-atoms %source %jibb] src-649 `typ-649))
3760+ (weld (check ~.types-union-tag-atoms src-650 `tok-650 `tre-650) (check-types ~.types-union-tag-atoms ~[%tests %golden ~.types-union-tag-atoms %source %jibb] src-650 `typ-650))
37553761++ test-types-union-tags
3756− (weld (check ~.types-union-tags src-650 `tok-650 `tre-650) (check-types ~.types-union-tags ~[%tests %golden ~.types-union-tags %source %jibb] src-650 `typ-650))
3762+ (weld (check ~.types-union-tags src-651 `tok-651 `tre-651) (check-types ~.types-union-tags ~[%tests %golden ~.types-union-tags %source %jibb] src-651 `typ-651))
37573763++ test-types-union-unresolved
3758− (weld (check ~.types-union-unresolved src-651 `tok-651 `tre-651) (check-types ~.types-union-unresolved ~[%tests %golden ~.types-union-unresolved %source %jibb] src-651 `typ-651))
3764+ (weld (check ~.types-union-unresolved src-652 `tok-652 `tre-652) (check-types ~.types-union-unresolved ~[%tests %golden ~.types-union-unresolved %source %jibb] src-652 `typ-652))
37593765++ test-types-union-unresolved-flow
3760− (weld (check ~.types-union-unresolved-flow src-652 `tok-652 `tre-652) (check-types ~.types-union-unresolved-flow ~[%tests %golden ~.types-union-unresolved-flow %source %jibb] src-652 `typ-652))
3766+ (weld (check ~.types-union-unresolved-flow src-653 `tok-653 `tre-653) (check-types ~.types-union-unresolved-flow ~[%tests %golden ~.types-union-unresolved-flow %source %jibb] src-653 `typ-653))
37613767++ test-types-unit-construction
3762− (weld (check ~.types-unit-construction src-653 `tok-653 `tre-653) (check-module-types ~.types-unit-construction ~[%tests %golden ~.types-unit-construction %source %jibb] src-653 `typ-653 ~ ~ ~))
3768+ (weld (check ~.types-unit-construction src-654 `tok-654 `tre-654) (check-module-types ~.types-unit-construction ~[%tests %golden ~.types-unit-construction %source %jibb] src-654 `typ-654 ~ ~ ~))
37633769++ test-types-unit-context
3764− (weld (check ~.types-unit-context src-654 `tok-654 `tre-654) (check-module-types ~.types-unit-context ~[%tests %golden ~.types-unit-context %source %jibb] src-654 `typ-654 ~ ~ ~))
3770+ (weld (check ~.types-unit-context src-655 `tok-655 `tre-655) (check-module-types ~.types-unit-context ~[%tests %golden ~.types-unit-context %source %jibb] src-655 `typ-655 ~ ~ ~))
37653771++ test-types-unit-patterns
3766− (weld (check ~.types-unit-patterns src-655 `tok-655 `tre-655) (check-types ~.types-unit-patterns ~[%tests %golden ~.types-unit-patterns %source %jibb] src-655 `typ-655))
3772+ (weld (check ~.types-unit-patterns src-656 `tok-656 `tre-656) (check-types ~.types-unit-patterns ~[%tests %golden ~.types-unit-patterns %source %jibb] src-656 `typ-656))
37673773++ test-types-value-cycle-shadow
3768− (weld (check ~.types-value-cycle-shadow src-656 `tok-656 `tre-656) (check-module-types ~.types-value-cycle-shadow ~[%tests %golden ~.types-value-cycle-shadow %source %jibb] src-656 `typ-656 ~ ~ ~))
3774+ (weld (check ~.types-value-cycle-shadow src-657 `tok-657 `tre-657) (check-module-types ~.types-value-cycle-shadow ~[%tests %golden ~.types-value-cycle-shadow %source %jibb] src-657 `typ-657 ~ ~ ~))
37693775++ test-types-value-cycle-unsupported
3770− (weld (check ~.types-value-cycle-unsupported src-657 `tok-657 `tre-657) (check-module-types ~.types-value-cycle-unsupported ~[%tests %golden ~.types-value-cycle-unsupported %source %jibb] src-657 `typ-657 ~ ~ ~))
3776+ (weld (check ~.types-value-cycle-unsupported src-658 `tok-658 `tre-658) (check-module-types ~.types-value-cycle-unsupported ~[%tests %golden ~.types-value-cycle-unsupported %source %jibb] src-658 `typ-658 ~ ~ ~))
37713777++ test-types-value-cycles
3772− (weld (check ~.types-value-cycles src-658 `tok-658 `tre-658) (check-module-types ~.types-value-cycles ~[%tests %golden ~.types-value-cycles %source %jibb] src-658 `typ-658 ~ ~ ~))
3778+ (weld (check ~.types-value-cycles src-659 `tok-659 `tre-659) (check-module-types ~.types-value-cycles ~[%tests %golden ~.types-value-cycles %source %jibb] src-659 `typ-659 ~ ~ ~))
37733779::
37743780:: +check: run golden:jibb on a case and compare both outputs
37753781::
tests/type-todo-partial/expected.txt+1−1
@@ -4,7 +4,7 @@ partial inference; module not checked
44+$ model: not checked
55+$ msg: cases proven disjoint; mold not checked
66++ init: `~` needs context in partial inference
7−++ update: name is not available to partial inference
7+++ update: branch tag or union context is not supported by partial inference
88++ subs: call constraint is not supported by partial inference
99++ view: name is not available to partial inference
1010++ row-of: name is not available to partial inference