ef4772a · jibb · git.iko.soy

git.iko.soy/jibb

Import Hoon loobean types

commitef4772a6e5a00074a123e76844b6a982c1d7b549 authoriko <mail@iko.soy> dateSat 31 Oct 2026, 02:41 (10 hours ago) parentc790a9f

15 files changed+947−679

compare with master

unifiedsplit

docs/compiler.md+2 docs/status.md+7−6 jibb-dev/lib/jibb.hoon+36−1 tests/golden/types-import-hoon-flags/about.txt+4 tests/golden/types-import-hoon-flags/imports.txt+4 tests/golden/types-import-hoon-flags/source.jibb+14 tests/golden/types-import-hoon-flags/sur/flags.txt+7 tests/golden/types-import-hoon-flags/tokens.txt+91 tests/golden/types-import-hoon-flags/tree.txt+41 tests/golden/types-import-hoon-flags/types.txt+24 tests/lib/jibb-bridge.hoon+10 tests/lib/jibb.hoon+681−671 tests/type-import/about.txt+4−1 tests/type-import/expected.txt+10 tests/type-import/source.txt+12

docs/compiler.md+2

@@ -62,6 +62,8 @@ A single-arm cell pattern can bind two or more positions, with its last binder c

6262

6363String interpolation infers its pieces in order and preserves substitutions and pending constraints. A piece with a known atom aura, unrestricted `@`, or a tape `(list @tD)` is accepted; an isolated decimal literal takes its normal `@ud` default. A known cell reports that it needs a printer, and an explicitly generic atom asks for an aura at its use site. Loobeans, term singletons, non-tape collections, open types and a type fixed only later remain unsupported in this fragment.

6464

65+The Hoon bridge accepts an exact fork of the two loobean singletons as `?`, and each singleton separately as `%.y` or `%.n`, including inside supported faced cells. Contextual literals specialize against a loobean singleton. Open `%f`, other values, and other forks containing loobean singletons remain unsupported; recursive Hoon molds containing flags can also fail closed.

66+

6567A bare tag that provably matches no case of a known union reports the union and tag sites. This covers casts, single-argument calls, contextual unit payloads, list items and supported branch arms, including unnamed imported unions. For syntactic tuples, ordered fit replay can identify a missing tag in a nested position; an earlier mismatch or uncertainty stops the replay instead of guessing. Existing tags whose shape or payload does not fit retain the ordinary mismatch; unresolved tags stay pending.

6668

6769A change can replace uniquely named fields on a fully known, faced record spine, including through a nested wing. Replacements receive the field type as context, substitutions and pending constraints are retained, and the resulting type remains the original record. Missing fields, empty changes and definite replacement mismatches report sites; the expected-type site is the edit, since the original field declaration location is not retained. Unknown or partly unfaced spines, ambiguous fields and repeated edits remain unsupported. A cast to a known record also supplies field context to a tuple or record initializer, including nested list and union fields. The expected-type site is the cast mold; the original field declaration location is not retained. Isolated cart-style `init` and `update` expressions infer in this fragment. The complete cart-store source fails closed because store kind and declaration scope are not yet checked.

docs/status.md+7−6

@@ -19,7 +19,7 @@ On 2026-10-30, @iko decided that Jibb drops `$?`, so a `+$` takes a union's case

1919

2020## Milestone 2: in progress

2121

22−The repository spec records the subsequent type-system and prelude decisions; those changes also need synchronization to the Claude document. An initial inference fragment and a standalone Hoon type reader are being tested. The fragment explicitly reports that it does not check a module; partial bridges pass selected Hoon atoms, term singletons, the null singleton, nested faced or unfaced cells, supported disjoint unions and opaque standard collections from `/sur` molds and marks into inference. Collections retain their names and supported arguments for printing and unification; nested supported union arguments are retained too. The bridge trusts unchanged results from the source-aware reader; a materialized type graph alone cannot reveal cases Hoon already collapsed. The source-validated standard prelude `list` mold shares this representation with imported lists; other Jibb-written collection molds and most prelude collection operations remain unsupported; malformed names and arities fail closed. Selected self-recursive `/sur` molds cross as opaque module-and-name identities; aliases, foreign references, recursive marks, unfolding and construction remain unsupported. The reader handles mark samples, recursive molds whose origins can be verified through Ford imports, nested collections, direct ordered maps, certain ordered-map fields, direct `$^` unions whose cases can be proved disjoint, and one verified explicit union argument in a list, set, map or unit. Tagged `$%` cases can additionally use restricted local named payload molds, with a bounded source proof; unsupported or ambiguous dependencies fail closed. Ambiguous recursive origins fail closed; recognizable explicit unions are checked from source before Hoon can collapse their cases, as @iko confirmed for imported `$%`, `$?` and `$^`, while other nested unions, nested ordered maps, general union disjointness and complete import integration remain unfinished. Opt-in structured reader APIs preserve successful graphs and distinguish definite unsupported-aura and core evidence from failures the reader cannot prove; unverified union disjointness and name-only vase recognition remain unsupported. They revalidate and re-walk failed types. An opt-in partial checker entry point consumes unchanged reader results and reports definite aura or core errors at imported mold use sites when their inputs are unique. Ordered replay covers nested cell samples, record and function casts, and non-generic same-module aliases; unsupported prefixes, cycles and shadowing stop it. Union molds, generic applications, transitive modules and unsupported reader outcomes remain generic. Replay repeats inference and may add work. The partial checker resolves a subset of ordinary library imports in dependency order using supplied Jibb sources and a source-derived partial prelude interface, caches completed interfaces per run, and detects missing sources and cycles. The source-backed internal prelude defines `poke` and the public prelude re-exports it as a transparent type. The partial checker resolves its supported source shape and rejects ordinary imports of the private path. An imported API with one mark and a matching direct `+$ poke` declaration can export a constructor and retain agent/mark metadata when the representation has the supported agent case. Complete private module checking, other API shapes, API paths, root API and kind checking, stores, `ask`, `pure`, lowering and runtime effects remain unfinished. A possible store or root API with `+$ poke` reports unsupported kind or scope, while definite duplicates and unrelated shadowing still report conflicts. The prelude inventory is incomplete. The inference fragment supports unrestricted `@`, selected one-way widenings including aura-family ancestors, generalized atom constraints arising from explicit capitals or bare sample binders, acyclic local value definitions with captures, selected single self-recursive top-level and local gates, simple and nonrecursive generic mold aliases, selected faced record casts and field reads, and contextual tags, `~` and constructors for closed disjoint unions, including direct nonrecursive generic unions and propagation through complete loobean and unit-shaped branches in casts and known union-sample calls, including nested branches. Multi-argument calls form a right-nested sample, retain known faces and shared type variables, and can use known sample positions to contextualize list and union arguments. A definite mismatch points to the failing argument when the fragment can establish it, otherwise to the combined sample; unsupported contextual forms still fail closed. For a supported recursive gate, the checker infers the sample first and uses its exact type, including field faces, for one monomorphic self reference. It generalizes after the body is checked; subsequent uses instantiate it independently. Incompatible recursive arguments can report the gate and argument sites. For a complete loobean branch with one direct self-call arm, a separately inferred closed base type can seed the recursive result before the whole body is checked. Open or pending base types do not seed it; other branch shapes remain subject to the fragment’s existing limits. A supported single local recursive gate also uses a monomorphic self reference and generalizes variables free of the enclosing environment after checking its body; captured variables remain shared. The checker collects written capitals per `++` before inference, excluding nested definitions: a capital used in an enclosing definition is shared with its locals even when written later, while a capital introduced only in a local definition is generalized there. Sibling locals can introduce independent capitals with the same spelling; generic mold parameters keep their own scope. Top-level groups of syntactic gates are inferred together with monomorphic placeholders and shared substitutions, then generalized only after the whole group checks; downstream uses and library interfaces instantiate those schemes independently. A dependency graph identifies groups with two iterative depth-first passes; its conservative local-reference edges can reject otherwise valid programs. Supported local mutually recursive gate groups also use shared monomorphic placeholders and generalize only after the group checks, preserving captured outer variables. Mixed gate/value cycles, polymorphic recursion, unresolved literal constraints and unresolved branch joins remain unsupported. Reporting repeats inference for a single recursive gate outside a group; grouped reports use the stored schemes. Its performance cost remains unmeasured. A single-arm cell pattern accepts two or more binders, the last capturing the remaining tail; duplicate and shadowed binders are rejected. Intermediate union or collection tails, nested patterns, wildcards and faced records remain unsupported. String interpolation accepts known atom auras, unrestricted `@`, tapes and isolated decimal literals; a known cell asks for a printer, and an explicitly generic atom asks for an aura. Loobeans, term singletons, non-tape collections, open types and a type fixed only later remain unsupported. A known closed union with two or more arms supports patterns that provably cover or exclude each remaining case, including payload binders, imported and generic cases, and binder-free catch-alls. Partial boolean patterns can split known `?` positions into their two noun values, up to 64 alternatives across the union; binders retain their original case type. Missing alternatives and covered arms are reported. Other partial patterns, expansions above the limit, binders spanning distinct cases, differing arm result types and some complex two-arm subjects remain unsupported. A cast or known call sample can supply result context through whole-case arms and supported finite loobean refinements for a known union accessed by a wing, including nested cell and list positions; other partial-pattern context and non-wing subjects remain unsupported. The Grammar’s `step` block infers in this fragment, but its module is not yet checked. A bare tag proved absent from a known union reports the union and tag sites in casts, single-argument calls, unit payloads, list items and supported branch arms; imported unnamed unions print their cases. Ordered fit replay can identify a missing tag nested in a syntactic tuple, stopping at an earlier mismatch or uncertainty. Known faced records support uniquely named field changes, including nested wings, with field context passed to replacements and the original record type retained. Missing fields, empty changes and definite mismatches report sites; the expected-type site is the edit because the original field declaration location is not retained. Unknown or partly unfaced spines, ambiguous fields and repeated edits remain unsupported. A known record cast supplies field context to its tuple or record initializer, including nested list and union fields; mismatch diagnostics use the cast mold because the original field declaration location is not retained. Isolated cart-style `init` and `update` expressions infer, while the complete cart-store fails closed because its kind and declaration scope remain unchecked. Uncontextualized list literals infer a fresh element type, including empty and nested lists, with independently generalized uses. Unresolved item tags and uncertain widening remain unsupported. Backtick unit construction uses the validated standard prelude unit template, infers its payload without losing pending constraints, and makes the prelude’s `some` available. Ordinary result annotations also let its `bind`, `biff`, `both`, `clap`, `clef` and `flit` infer. A known unit in a cast, call, list item or record field supplies context to its payload, including nested units and lists; mismatches identify the payload and context. Unrelated union identities, some variable-dependent fits, and missing or altered prelude unit templates remain unsupported. Contextual null-headed cells fit their cases, but do not supply a `|=%$` constructor; unresolved nulls remain pending and are reported separately from tags. A known union of `~` and a null-headed cell supports a complete `~` / `[~ value]` branch in either order, including shadow checks; unknown subjects, missing or duplicate arms, and unresolved branch results remain unsupported. This fragment infers the prelude’s `fall` and `need` signatures. With the validated prelude list and a known cast or gate sample, empty, nonempty and nested list literals infer their element types, including contextual union tags; a mismatched element names both sites. In that context `~` and zero-valued terms fit an empty list, and two-item unfaced cells form cons lists, including nested cons and imported-list contexts; invalid heads or tails name both sites. A known gate sample also supplies context to matching positions in a single tuple or record argument, including nested cells; zero literals can fit list positions. A bound zero constant remains unsupported rather than a definite mismatch, and an unknown callee does not supply context. Faced or longer cells and a missing or altered prelude list fail closed. A known list result also supplies context through complete loobean, unit-shaped and list-shaped branches, including recursive and nested branches. For a known standard list with a supported element type, a complete `~` / `[item rest]` branch infers the element and tail types in either arm order and checks binders for shadowing. Unknown subjects, unsupported element types and other or incomplete list patterns remain unsupported. A value with type variable `A` can fit a field whose type is that same `A`, including in generic union payloads and nested or repeated record fields. Other variable-dependent face merges remain unsupported. Forced equality of distinct written capitals now reports both source sites, following @iko’s decision; forcing one to a concrete type remains unsupported. Imported record spines with repeated faces fail closed where used, but only with a generic unsupported diagnostic. Hoon may erase unfaced nested-cell boundaries, so the check can conservatively reject valid names in distinct erased scopes. Supported closed unions print using an in-scope name or imported alias; an unnamed nongeneric union prints its cases, parenthesized when nested. The latter is print-only. Generic union types retain all arguments in their printed name; if that name is unavailable, the partial printer reports the limitation. Different import faces for the same origin remain compatible; compatibility across distinct union origins and some generic-argument comparisons remain unsupported. Nonrecursive generic aliases can reorder, repeat or omit parameters while retaining a union’s origin, including through local scopes and library interfaces. A generic union declared directly inside a body remains unsupported, as do differing-variable face constraints in a union payload. A transitive generic union whose name is unavailable is reported as unsupported instead of hiding its arguments. Unfixed decimal literals default to `@ud` in gate-free inferred types; recursive molds, general branch tag context, other constraint cases and defaulting inside gate types still need work. Collection recognition checks the originating core and fails closed on shadows or unsupported Ford subject shapes; a wrapper regression also rejects forged subjects, samples and tails. Its golden fixtures include three real Tlon files. A Clay test passes a Ford-built nested union through the reader into partial inference. The partial prelude includes `murn`, `join`, `snip`, `rear` and the newly agreed shared-type `clap`, parsed but still awaiting checker and backend validation, and [prelude-inventory.md](prelude-inventory.md) is a source audit, not the complete inventory or signatures. The milestone remains unfinished.

22+The repository spec records the subsequent type-system and prelude decisions; those changes also need synchronization to the Claude document. An initial inference fragment and a standalone Hoon type reader are being tested. The fragment explicitly reports that it does not check a module; partial bridges pass selected Hoon atoms, term singletons, the null singleton, the two loobean singletons and their exact fork, nested faced or unfaced cells, supported disjoint unions and opaque standard collections from `/sur` molds and marks into inference. Collections retain their names and supported arguments for printing and unification; nested supported union arguments are retained too. The bridge trusts unchanged results from the source-aware reader; a materialized type graph alone cannot reveal cases Hoon already collapsed. The source-validated standard prelude `list` mold shares this representation with imported lists; other Jibb-written collection molds and most prelude collection operations remain unsupported; malformed names and arities fail closed. Selected self-recursive `/sur` molds cross as opaque module-and-name identities; aliases, foreign references, recursive marks, unfolding and construction remain unsupported. The reader handles mark samples, recursive molds whose origins can be verified through Ford imports, nested collections, direct ordered maps, certain ordered-map fields, direct `$^` unions whose cases can be proved disjoint, and one verified explicit union argument in a list, set, map or unit. Tagged `$%` cases can additionally use restricted local named payload molds, with a bounded source proof; unsupported or ambiguous dependencies fail closed. Ambiguous recursive origins fail closed; recognizable explicit unions are checked from source before Hoon can collapse their cases, as @iko confirmed for imported `$%`, `$?` and `$^`, while other nested unions, nested ordered maps, general union disjointness and complete import integration remain unfinished. Opt-in structured reader APIs preserve successful graphs and distinguish definite unsupported-aura and core evidence from failures the reader cannot prove; unverified union disjointness and name-only vase recognition remain unsupported. They revalidate and re-walk failed types. An opt-in partial checker entry point consumes unchanged reader results and reports definite aura or core errors at imported mold use sites when their inputs are unique. Ordered replay covers nested cell samples, record and function casts, and non-generic same-module aliases; unsupported prefixes, cycles and shadowing stop it. Union molds, generic applications, transitive modules and unsupported reader outcomes remain generic. Replay repeats inference and may add work. The partial checker resolves a subset of ordinary library imports in dependency order using supplied Jibb sources and a source-derived partial prelude interface, caches completed interfaces per run, and detects missing sources and cycles. The source-backed internal prelude defines `poke` and the public prelude re-exports it as a transparent type. The partial checker resolves its supported source shape and rejects ordinary imports of the private path. An imported API with one mark and a matching direct `+$ poke` declaration can export a constructor and retain agent/mark metadata when the representation has the supported agent case. Complete private module checking, other API shapes, API paths, root API and kind checking, stores, `ask`, `pure`, lowering and runtime effects remain unfinished. A possible store or root API with `+$ poke` reports unsupported kind or scope, while definite duplicates and unrelated shadowing still report conflicts. The prelude inventory is incomplete. The inference fragment supports unrestricted `@`, selected one-way widenings including aura-family ancestors, generalized atom constraints arising from explicit capitals or bare sample binders, acyclic local value definitions with captures, selected single self-recursive top-level and local gates, simple and nonrecursive generic mold aliases, selected faced record casts and field reads, and contextual tags, `~` and constructors for closed disjoint unions, including direct nonrecursive generic unions and propagation through complete loobean and unit-shaped branches in casts and known union-sample calls, including nested branches. Multi-argument calls form a right-nested sample, retain known faces and shared type variables, and can use known sample positions to contextualize list and union arguments. A definite mismatch points to the failing argument when the fragment can establish it, otherwise to the combined sample; unsupported contextual forms still fail closed. For a supported recursive gate, the checker infers the sample first and uses its exact type, including field faces, for one monomorphic self reference. It generalizes after the body is checked; subsequent uses instantiate it independently. Incompatible recursive arguments can report the gate and argument sites. For a complete loobean branch with one direct self-call arm, a separately inferred closed base type can seed the recursive result before the whole body is checked. Open or pending base types do not seed it; other branch shapes remain subject to the fragment’s existing limits. A supported single local recursive gate also uses a monomorphic self reference and generalizes variables free of the enclosing environment after checking its body; captured variables remain shared. The checker collects written capitals per `++` before inference, excluding nested definitions: a capital used in an enclosing definition is shared with its locals even when written later, while a capital introduced only in a local definition is generalized there. Sibling locals can introduce independent capitals with the same spelling; generic mold parameters keep their own scope. Top-level groups of syntactic gates are inferred together with monomorphic placeholders and shared substitutions, then generalized only after the whole group checks; downstream uses and library interfaces instantiate those schemes independently. A dependency graph identifies groups with two iterative depth-first passes; its conservative local-reference edges can reject otherwise valid programs. Supported local mutually recursive gate groups also use shared monomorphic placeholders and generalize only after the group checks, preserving captured outer variables. Mixed gate/value cycles, polymorphic recursion, unresolved literal constraints and unresolved branch joins remain unsupported. Reporting repeats inference for a single recursive gate outside a group; grouped reports use the stored schemes. Its performance cost remains unmeasured. A single-arm cell pattern accepts two or more binders, the last capturing the remaining tail; duplicate and shadowed binders are rejected. Intermediate union or collection tails, nested patterns, wildcards and faced records remain unsupported. String interpolation accepts known atom auras, unrestricted `@`, tapes and isolated decimal literals; a known cell asks for a printer, and an explicitly generic atom asks for an aura. Loobeans, term singletons, non-tape collections, open types and a type fixed only later remain unsupported. A known closed union with two or more arms supports patterns that provably cover or exclude each remaining case, including payload binders, imported and generic cases, and binder-free catch-alls. Partial boolean patterns can split known `?` positions into their two noun values, up to 64 alternatives across the union; binders retain their original case type. Missing alternatives and covered arms are reported. Other partial patterns, expansions above the limit, binders spanning distinct cases, differing arm result types and some complex two-arm subjects remain unsupported. A cast or known call sample can supply result context through whole-case arms and supported finite loobean refinements for a known union accessed by a wing, including nested cell and list positions; other partial-pattern context and non-wing subjects remain unsupported. The Grammar’s `step` block infers in this fragment, but its module is not yet checked. A bare tag proved absent from a known union reports the union and tag sites in casts, single-argument calls, unit payloads, list items and supported branch arms; imported unnamed unions print their cases. Ordered fit replay can identify a missing tag nested in a syntactic tuple, stopping at an earlier mismatch or uncertainty. Known faced records support uniquely named field changes, including nested wings, with field context passed to replacements and the original record type retained. Missing fields, empty changes and definite mismatches report sites; the expected-type site is the edit because the original field declaration location is not retained. Unknown or partly unfaced spines, ambiguous fields and repeated edits remain unsupported. A known record cast supplies field context to its tuple or record initializer, including nested list and union fields; mismatch diagnostics use the cast mold because the original field declaration location is not retained. Isolated cart-style `init` and `update` expressions infer, while the complete cart-store fails closed because its kind and declaration scope remain unchecked. Uncontextualized list literals infer a fresh element type, including empty and nested lists, with independently generalized uses. Unresolved item tags and uncertain widening remain unsupported. Backtick unit construction uses the validated standard prelude unit template, infers its payload without losing pending constraints, and makes the prelude’s `some` available. Ordinary result annotations also let its `bind`, `biff`, `both`, `clap`, `clef` and `flit` infer. A known unit in a cast, call, list item or record field supplies context to its payload, including nested units and lists; mismatches identify the payload and context. Unrelated union identities, some variable-dependent fits, and missing or altered prelude unit templates remain unsupported. Contextual null-headed cells fit their cases, but do not supply a `|=%$` constructor; unresolved nulls remain pending and are reported separately from tags. A known union of `~` and a null-headed cell supports a complete `~` / `[~ value]` branch in either order, including shadow checks; unknown subjects, missing or duplicate arms, and unresolved branch results remain unsupported. This fragment infers the prelude’s `fall` and `need` signatures. With the validated prelude list and a known cast or gate sample, empty, nonempty and nested list literals infer their element types, including contextual union tags; a mismatched element names both sites. In that context `~` and zero-valued terms fit an empty list, and two-item unfaced cells form cons lists, including nested cons and imported-list contexts; invalid heads or tails name both sites. A known gate sample also supplies context to matching positions in a single tuple or record argument, including nested cells; zero literals can fit list positions. A bound zero constant remains unsupported rather than a definite mismatch, and an unknown callee does not supply context. Faced or longer cells and a missing or altered prelude list fail closed. A known list result also supplies context through complete loobean, unit-shaped and list-shaped branches, including recursive and nested branches. For a known standard list with a supported element type, a complete `~` / `[item rest]` branch infers the element and tail types in either arm order and checks binders for shadowing. Unknown subjects, unsupported element types and other or incomplete list patterns remain unsupported. A value with type variable `A` can fit a field whose type is that same `A`, including in generic union payloads and nested or repeated record fields. Other variable-dependent face merges remain unsupported. Forced equality of distinct written capitals now reports both source sites, following @iko’s decision; forcing one to a concrete type remains unsupported. Imported record spines with repeated faces fail closed where used, but only with a generic unsupported diagnostic. Hoon may erase unfaced nested-cell boundaries, so the check can conservatively reject valid names in distinct erased scopes. Supported closed unions print using an in-scope name or imported alias; an unnamed nongeneric union prints its cases, parenthesized when nested. The latter is print-only. Generic union types retain all arguments in their printed name; if that name is unavailable, the partial printer reports the limitation. Different import faces for the same origin remain compatible; compatibility across distinct union origins and some generic-argument comparisons remain unsupported. Nonrecursive generic aliases can reorder, repeat or omit parameters while retaining a union’s origin, including through local scopes and library interfaces. A generic union declared directly inside a body remains unsupported, as do differing-variable face constraints in a union payload. A transitive generic union whose name is unavailable is reported as unsupported instead of hiding its arguments. Unfixed decimal literals default to `@ud` in gate-free inferred types; recursive molds, general branch tag context, other constraint cases and defaulting inside gate types still need work. Collection recognition checks the originating core and fails closed on shadows or unsupported Ford subject shapes; a wrapper regression also rejects forged subjects, samples and tails. Its golden fixtures include three real Tlon files. A Clay test passes a Ford-built nested union through the reader into partial inference. The partial prelude includes `murn`, `join`, `snip`, `rear` and the newly agreed shared-type `clap`, parsed but still awaiting checker and backend validation, and [prelude-inventory.md](prelude-inventory.md) is a source audit, not the complete inventory or signatures. The milestone remains unfinished.

2323

2424The shared prelude interface reserves every name present in the supplied vendored source and makes only supported inferred entries available, including `list`, `unit`, `same`, `fall`, `need`, `lure`, `weld`, `snoc` and `turn`. The validated standard `list` mold is injected when the prelude’s own gates are inferred; `weld` and `turn` have ordinary explicit result casts. An absent or altered `list` is not injected, and an altered declaration cannot leak through direct or transitive mold aliases. List-dependent prelude mold aliases remain unsupported because their templates are prepared before injection. Unsupported entries such as most list helpers remain reserved but unavailable; backend validation of the helpers remains outstanding. All callers use the same prelude origin, so a library can export a type containing unqualified `(unit A)` to another module. Preparation rejects empty, malformed, conflicting or import-bearing source; the prepared value is trusted and must come unchanged from `+prepare-prelude`. The 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. The source and checker remain incomplete, so this does not establish complete shadowing coverage or a checked module.

2525

@@ -39,8 +39,8 @@ What the plan asks for, and where it is:

3939

4040Besides the plan's list:

4141

42−- 554 golden cases: 338 that parse and 216 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.

43−- The 554-case corpus passed under `urbit eval` in 67.8 s. The fake ship passed all 562 tests, including the importer, importer/checker and mark/checker bridges, module scope and unification checks, with 38.3 s for sync and 43.1 s for tests. The importer golden compares 169 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.

42+- 555 golden cases: 339 that parse and 216 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.

43+- The 555-case corpus passed under `urbit eval` in 65.4 s. The fake ship passed all 563 tests, including the importer, importer/checker and mark/checker bridges, module scope and unification checks, with 40.2 s for sync and 44.8 s for tests. The importer golden compares 169 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.

4444- `tools/testdata/selftest` (22 checks) and `tools/testdata/ship-selftest` test the tools themselves.

4545- 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.

4646- 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).

@@ -105,14 +105,15 @@ Besides the plan's list:

105105| ef2ea71 | 2026-10-31 | Report nested missing tags and contextualize union branch results |

106106| 67f900e | 2026-10-31 | Infer local mutual gates and uncontextualized lists |

107107| 7ff15f1 | 2026-10-31 | Contextualize finite union patterns and record the initial poke decision |

108−| This change | 2026-10-31 | Expose transparent poke and infer selected API constructors |

108+| c790a9f | 2026-10-31 | Expose transparent `poke` from the internal prelude |

109+| This change | 2026-10-31 | Bridge imported loobeans and loobean singletons |

109110

110111## Checking it

111112

112113On a machine set up as [development.md](development.md) says:

113114

114115```

115−tools/golden # 554 cases under urbit eval

116+tools/golden # 555 cases under urbit eval

116117tools/importer-test # the Hoon importer fixture projection

117118tools/type-import-test # the importer/checker bridge fixture

118119tools/type-tlon-test # the real Tlon reader/checker fixture

@@ -124,7 +125,7 @@ tools/testdata/selftest # the tools themselves

124125tools/doc-blocks docs/spec # the doc's examples are golden cases

125126tools/ship start

126127tools/ship gen-tests --check # tests/lib/jibb.hoon is up to date

127−tools/ship test # the same 554 cases as -test arms on the ship

128+tools/ship test # the same 555 cases as -test arms on the ship

128129tools/testdata/ship-selftest

129130tools/ship check-commit # |commit stores .jibb files

130131tools/clay-fixtures # example /sur files and marks build through Clay

jibb-dev/lib/jibb.hoon+36−1

@@ -5604,6 +5604,12 @@

56045604 ?@ node ~

56055605 ?+ -.node ~

56065606 %atom

5607+ :: A Hoon loobean singleton is one of the two Jibb loobeans.

5608+ ?: ?=([%atom %f [~ @]] node)

5609+ =/ value=@ +>+.node

5610+ ?. |(=(value 0) =(value 1)) ~

5611+ =/ printed=@t ?:(=(value 0) '%.y' '%.n')

5612+ `[%const [%loobean %f value printed]]

56075613 :: Hoon's null singleton is the same noun as Jibb's `~` mold.

56085614 :: Other non-term singleton atoms remain unsupported here.

56095615 ?: ?=([%atom %n [~ @]] node)

@@ -5631,10 +5637,15 @@

56315637 ?. =(arity (lent u.args)) ~

56325638 `[%collection name u.args]

56335639 %fork

5634− =/ cases=(unit (list itype)) (import-to-itypes +.node)

5640+ :: Hoon's ordinary ? mold is the fork of its two %f singletons.

5641+ =/ raw=* +.node

5642+ ?: |(=(raw ~[[%atom %f `0] [%atom %f `1]]) =(raw ~[[%atom %f `1] [%atom %f `0]]))

5643+ `[%flag ~]

5644+ =/ cases=(unit (list itype)) (import-to-itypes raw)

56355645 ?~ cases ~

56365646 ?~ u.cases ~

56375647 ?~ t.u.cases ~

5648+ ?: (import-has-loobean-singleton u.cases) ~

56385649 ?. (import-cases-disjoint u.cases) ~

56395650 `[%union u.cases ~ ~ ~]

56405651 %face

@@ -5653,6 +5664,20 @@

56535664 `[%cell u.left u.right]

56545665 ==

56555666::

5667+++ import-direct-loobean

5668+ |= t=itype

5669+ ^- ?

5670+ ?: ?=(%face -.t) $(t body.t)

5671+ ?: ?=(%union -.t) (import-has-loobean-singleton cases.t)

5672+ ?=([%const [%loobean *]] t)

5673+::

5674+++ import-has-loobean-singleton

5675+ |= cases=(list itype)

5676+ ^- ?

5677+ ?~ cases |

5678+ ?: (import-direct-loobean i.cases) &

5679+ $(cases t.cases)

5680+::

56565681++ import-to-itypes

56575682 |= nodes=*

56585683 ^- (unit (list itype))

@@ -5668,6 +5693,7 @@

56685693 ^- upat

56695694 ?- -.typ

56705695 %atom [%atom ~]

5696+ %flag [%or ~[[%atom `0] [%atom `1]]]

56715697 %const [%atom `val.literal.typ]

56725698 %face $(typ body.typ)

56735699 %cell [%cell $(typ hed.typ) $(typ tal.typ)]

@@ -7490,6 +7516,15 @@

74907516 =/ target=itype (itype-walk expected sub.state)

74917517 |-

74927518 ?: ?=(%face -.target) $(target (itype-walk body.target sub.state))

7519+ :: In a loobean-singleton context retain the written loobean noun;

7520+ :: the usual final fit decides whether that value is permitted.

7521+ =/ singleton=(unit itype)

7522+ ?. ?=(%lit -.e) ~

7523+ ?. =(%loobean form.lit.e) ~

7524+ ?. ?=(%const -.target) ~

7525+ ?. =(%loobean form.literal.target) ~

7526+ `[%const lit.e]

7527+ ?^ singleton [%& u.singleton state]

74937528 =/ known=(unit itype)

74947529 ?: ?=(%branch -.e) (known-union-subject subject.e env state)

74957530 ~

tests/golden/types-import-hoon-flags/about.txtnew file+4

@@ -0,0 +1,4 @@

1+source: Grammar, Literals: loobeans `%.y`, `%.n` have type `?`; Patterns: `?-` is exhaustive. Overview, Importing Hoon types: `/-` translates each mold a module uses.

2+tests: A real compiled `/sur` provides `?`, its two singleton values and nested faced fields. The partial checker matches the imported flag exhaustively, accepts each matching singleton and reports incompatible singleton casts; nested field types remain available.

3+expect: parses

4+expect-types: a partial inference report

tests/golden/types-import-hoon-flags/imports.txtnew file+4

@@ -0,0 +1,4 @@

1+flags flag

2+flags yes

3+flags no

4+flags record

tests/golden/types-import-hoon-flags/source.jibbnew file+14

@@ -0,0 +1,14 @@

1+/- flags

2+++ flag |= b=flag.flags ?- b

3+ %.y "yes"

4+ %.n "no"

5+++ yes |= x=yes.flags x

6+++ no |= x=no.flags x

7+++ nested |= x=record.flags x

8+++ use-yes ^- yes.flags %.y

9+++ bad-yes ^- yes.flags %.n

10+++ use-no ^- no.flags %.n

11+++ bad-no ^- no.flags %.y

12+++ read-flag |= x=record.flags on.x

13+++ read-yes |= x=record.flags yes.x

14+++ read-no |= x=record.flags no.x

tests/golden/types-import-hoon-flags/sur/flags.txtnew file+7

@@ -0,0 +1,7 @@

1+|%

2++$ flag ?

3++$ yes %.y

4++$ no %.n

5++$ record [on=? yes=%.y no=%.n]

6++$ either $?(%.y [%x @t])

7+--

tests/golden/types-import-hoon-flags/tokens.txtnew file+91

@@ -0,0 +1,91 @@

1+1:1 glyph /-

2+1:4 name flags

3+2:1 NEWLINE

4+2:1 glyph ++

5+2:4 name flag

6+2:9 glyph |=

7+2:12 name b

8+2:13 tight glyph =

9+2:14 tight wing flag.flags

10+2:25 glyph ?-

11+2:28 name b

12+3:3 INDENT

13+3:3 lit %.y

14+3:7 str "yes"

15+4:3 NEWLINE

16+4:3 lit %.n

17+4:7 str "no"

18+5:1 DEDENT

19+5:1 NEWLINE

20+5:1 glyph ++

21+5:4 name yes

22+5:8 glyph |=

23+5:11 name x

24+5:12 tight glyph =

25+5:13 tight wing yes.flags

26+5:23 name x

27+6:1 NEWLINE

28+6:1 glyph ++

29+6:4 name no

30+6:7 glyph |=

31+6:10 name x

32+6:11 tight glyph =

33+6:12 tight wing no.flags

34+6:21 name x

35+7:1 NEWLINE

36+7:1 glyph ++

37+7:4 name nested

38+7:11 glyph |=

39+7:14 name x

40+7:15 tight glyph =

41+7:16 tight wing record.flags

42+7:29 name x

43+8:1 NEWLINE

44+8:1 glyph ++

45+8:4 name use-yes

46+8:12 glyph ^-

47+8:15 wing yes.flags

48+8:25 lit %.y

49+9:1 NEWLINE

50+9:1 glyph ++

51+9:4 name bad-yes

52+9:12 glyph ^-

53+9:15 wing yes.flags

54+9:25 lit %.n

55+10:1 NEWLINE

56+10:1 glyph ++

57+10:4 name use-no

58+10:11 glyph ^-

59+10:14 wing no.flags

60+10:23 lit %.n

61+11:1 NEWLINE

62+11:1 glyph ++

63+11:4 name bad-no

64+11:11 glyph ^-

65+11:14 wing no.flags

66+11:23 lit %.y

67+12:1 NEWLINE

68+12:1 glyph ++

69+12:4 name read-flag

70+12:14 glyph |=

71+12:17 name x

72+12:18 tight glyph =

73+12:19 tight wing record.flags

74+12:32 wing on.x

75+13:1 NEWLINE

76+13:1 glyph ++

77+13:4 name read-yes

78+13:13 glyph |=

79+13:16 name x

80+13:17 tight glyph =

81+13:18 tight wing record.flags

82+13:31 wing yes.x

83+14:1 NEWLINE

84+14:1 glyph ++

85+14:4 name read-no

86+14:12 glyph |=

87+14:15 name x

88+14:16 tight glyph =

89+14:17 tight wing record.flags

90+14:30 wing no.x

91+14:34 NEWLINE

tests/golden/types-import-hoon-flags/tree.txtnew file+41

@@ -0,0 +1,41 @@

1+(module

2+ (sur 1:1 flags)

3+ (value 2:1 flag

4+ (gate 2:9

5+ (face 2:12 b (ref 2:14 flag.flags))

6+ (branch 2:25

7+ (wing 2:28 b)

8+ (arm 3:3 (lit 3:3 %.y) (str 3:7 "yes"))

9+ (arm 4:3 (lit 4:3 %.n) (str 4:7 "no")))))

10+ (value 5:1 yes

11+ (gate 5:8

12+ (face 5:11 x (ref 5:13 yes.flags))

13+ (wing 5:23 x)))

14+ (value 6:1 no

15+ (gate 6:7

16+ (face 6:10 x (ref 6:12 no.flags))

17+ (wing 6:21 x)))

18+ (value 7:1 nested

19+ (gate 7:11

20+ (face 7:14 x (ref 7:16 record.flags))

21+ (wing 7:29 x)))

22+ (value 8:1 use-yes

23+ (cast 8:12 (ref 8:15 yes.flags) (lit 8:25 %.y)))

24+ (value 9:1 bad-yes

25+ (cast 9:12 (ref 9:15 yes.flags) (lit 9:25 %.n)))

26+ (value 10:1 use-no

27+ (cast 10:11 (ref 10:14 no.flags) (lit 10:23 %.n)))

28+ (value 11:1 bad-no

29+ (cast 11:11 (ref 11:14 no.flags) (lit 11:23 %.y)))

30+ (value 12:1 read-flag

31+ (gate 12:14

32+ (face 12:17 x (ref 12:19 record.flags))

33+ (wing 12:32 on.x)))

34+ (value 13:1 read-yes

35+ (gate 13:13

36+ (face 13:16 x (ref 13:18 record.flags))

37+ (wing 13:31 yes.x)))

38+ (value 14:1 read-no

39+ (gate 14:12

40+ (face 14:15 x (ref 14:17 record.flags))

41+ (wing 14:30 no.x))))

tests/golden/types-import-hoon-flags/types.txtnew file+24

@@ -0,0 +1,24 @@

1+partial inference; module not checked

2+++ flag: $-(? @t)

3+++ yes: $-(%.y %.y)

4+++ no: $-(%.n %.n)

5+++ nested: $-([on=? [yes=%.y no=%.n]] [on=? [yes=%.y no=%.n]])

6+++ use-yes: %.y

7+++ bad-yes: cast mold and expression type do not unify

8+/tests/golden/types-import-hoon-flags/source.jibb:9:15: cast mold has type %.y

9+++ bad-yes ^- yes.flags %.n

10+ ^

11+/tests/golden/types-import-hoon-flags/source.jibb:9:25: expression has type %.n

12+++ bad-yes ^- yes.flags %.n

13+ ^

14+++ use-no: %.n

15+++ bad-no: cast mold and expression type do not unify

16+/tests/golden/types-import-hoon-flags/source.jibb:11:14: cast mold has type %.n

17+++ bad-no ^- no.flags %.y

18+ ^

19+/tests/golden/types-import-hoon-flags/source.jibb:11:23: expression has type %.y

20+++ bad-no ^- no.flags %.y

21+ ^

22+++ read-flag: $-([on=? [yes=%.y no=%.n]] ?)

23+++ read-yes: $-([on=? [yes=%.y no=%.n]] %.y)

24+++ read-no: $-([on=? [yes=%.y no=%.n]] %.n)

tests/lib/jibb-bridge.hoon+10

@@ -42,6 +42,16 @@

4242 [%fixture %zero-choice (read %zero-choice)]

4343 [%fixture %zero-nested (read %zero-nested)]

4444 [%fixture %zero-lookalike (read %zero-lookalike)]

45+ [%fixture %flag-forward [%& [%fork ~[[%atom %f [~ 0]] [%atom %f [~ 1]]]]]]

46+ [%fixture %flag-reverse [%& [%fork ~[[%atom %f [~ 1]] [%atom %f [~ 0]]]]]]

47+ [%fixture %flag-open [%& [%atom %f ~]]]

48+ [%fixture %flag-invalid [%& [%atom %f [~ 2]]]]

49+ [%fixture %flag-duplicate [%& [%fork ~[[%atom %f [~ 0]] [%atom %f [~ 0]]]]]]

50+ [%fixture %flag-null-overlap [%& [%fork ~[[%atom %f [~ 0]] [%atom %n [~ 0]]]]]]

51+ [%fixture %flag-term-overlap [%& [%fork ~[[%atom %f [~ 0]] [%atom %tas [~ 0]]]]]]

52+ [%fixture %flag-extra [%& [%fork ~[[%atom %f [~ 0]] [%atom %f [~ 1]] [%atom %tas [~ 2]]]]]]

53+ [%fixture %flag-faced [%& [%fork ~[[%face %x [%atom %f [~ 0]]] [%atom %tas [~ 2]]]]]]

54+ [%fixture %flag-malformed [%& [%fork [[%atom %f [~ 0]] 7]]]]

4555 [%fixture %zero-nonzero [%& [%atom %n [~ 1]]]]

4656 [%fixture %zero-overlap [%& [%fork ~[[%atom %n [~ 0]] [%atom %tas [~ 0]]]]]]

4757 [%fixture %zero-flag-overlap [%& [%fork ~[[%atom %n [~ 0]] [%atom %f [~ 0]]]]]]

tests/lib/jibb.hoon+681−671

@@ -1445,553 +1445,561 @@

14451445/* imp-430-1 %txt /tests/golden/types-import-duplicate-sur/sur/fixture/txt

14461446/* imp-430-2 %txt /tests/golden/types-import-duplicate-sur/sur/fixture/txt

14471447/* imp-430-3 %txt /tests/golden/types-import-duplicate-sur/sur/fixture/txt

1448−/* src-431 %jibb /tests/golden/types-import-mark/source/jibb

1449−/* tok-431 %txt /tests/golden/types-import-mark/tokens/txt

1450−/* tre-431 %txt /tests/golden/types-import-mark/tree/txt

1451−/* typ-431 %txt /tests/golden/types-import-mark/types/txt

1452−/* imp-431-1 %txt /tests/golden/types-import-mark/sur/fixture/txt

1453−/* mark-431-1 %txt /tests/golden/types-import-mark/mar/label/txt

1454−/* src-432 %jibb /tests/golden/types-import-mark-record/source/jibb

1455−/* tok-432 %txt /tests/golden/types-import-mark-record/tokens/txt

1456−/* tre-432 %txt /tests/golden/types-import-mark-record/tree/txt

1457−/* typ-432 %txt /tests/golden/types-import-mark-record/types/txt

1458−/* mark-432-1 %txt /tests/golden/types-import-mark-record/mar/note/txt

1459−/* mark-432-2 %txt /tests/golden/types-import-mark-record/mar/choice/txt

1460−/* src-433 %jibb /tests/golden/types-import-missing-mold/source/jibb

1461−/* tok-433 %txt /tests/golden/types-import-missing-mold/tokens/txt

1462−/* tre-433 %txt /tests/golden/types-import-missing-mold/tree/txt

1463−/* typ-433 %txt /tests/golden/types-import-missing-mold/types/txt

1464−/* imp-433-1 %txt /tests/golden/types-import-missing-mold/sur/fixture/txt

1465−/* src-434 %jibb /tests/golden/types-import-sur/source/jibb

1466−/* tok-434 %txt /tests/golden/types-import-sur/tokens/txt

1467−/* tre-434 %txt /tests/golden/types-import-sur/tree/txt

1468−/* typ-434 %txt /tests/golden/types-import-sur/types/txt

1469−/* imp-434-1 %txt /tests/golden/types-import-sur/sur/fixture/txt

1470−/* imp-434-2 %txt /tests/golden/types-import-sur/sur/fixture/txt

1471−/* src-435 %jibb /tests/golden/types-import-sur-record-graph/source/jibb

1472−/* tok-435 %txt /tests/golden/types-import-sur-record-graph/tokens/txt

1473−/* tre-435 %txt /tests/golden/types-import-sur-record-graph/tree/txt

1474−/* mod-435-1 %jibb /tests/golden/types-import-sur-record-graph/modules/ui/lib/jibb

1475−/* typ-435 %txt /tests/golden/types-import-sur-record-graph/types/txt

1476−/* imp-435-1 %txt /tests/golden/types-import-sur-record-graph/sur/fixture/txt

1477−/* mtre-435 %txt /tests/golden/types-import-sur-record-graph/module-trees/txt

1478−/* src-436 %jibb /tests/golden/types-list-branch/source/jibb

1479−/* tok-436 %txt /tests/golden/types-list-branch/tokens/txt

1480−/* tre-436 %txt /tests/golden/types-list-branch/tree/txt

1481−/* typ-436 %txt /tests/golden/types-list-branch/types/txt

1482−/* src-437 %jibb /tests/golden/types-list-cons/source/jibb

1483−/* tok-437 %txt /tests/golden/types-list-cons/tokens/txt

1484−/* tre-437 %txt /tests/golden/types-list-cons/tree/txt

1485−/* typ-437 %txt /tests/golden/types-list-cons/types/txt

1486−/* src-438 %jibb /tests/golden/types-list-context/source/jibb

1487−/* tok-438 %txt /tests/golden/types-list-context/tokens/txt

1488−/* tre-438 %txt /tests/golden/types-list-context/tree/txt

1489−/* typ-438 %txt /tests/golden/types-list-context/types/txt

1490−/* src-439 %jibb /tests/golden/types-list-imported/source/jibb

1491−/* tok-439 %txt /tests/golden/types-list-imported/tokens/txt

1492−/* tre-439 %txt /tests/golden/types-list-imported/tree/txt

1493−/* typ-439 %txt /tests/golden/types-list-imported/types/txt

1494−/* imp-439-1 %txt /tests/golden/types-list-imported/sur/fixture/txt

1495−/* imp-439-2 %txt /tests/golden/types-list-imported/sur/fixture/txt

1496−/* src-440 %jibb /tests/golden/types-list-open/source/jibb

1497−/* tok-440 %txt /tests/golden/types-list-open/tokens/txt

1498−/* tre-440 %txt /tests/golden/types-list-open/tree/txt

1499−/* typ-440 %txt /tests/golden/types-list-open/types/txt

1500−/* src-441 %jibb /tests/golden/types-list-open-constraints/source/jibb

1501−/* tok-441 %txt /tests/golden/types-list-open-constraints/tokens/txt

1502−/* tre-441 %txt /tests/golden/types-list-open-constraints/tree/txt

1503−/* typ-441 %txt /tests/golden/types-list-open-constraints/types/txt

1504−/* src-442 %jibb /tests/golden/types-list-pattern-imported/source/jibb

1505−/* tok-442 %txt /tests/golden/types-list-pattern-imported/tokens/txt

1506−/* tre-442 %txt /tests/golden/types-list-pattern-imported/tree/txt

1507−/* typ-442 %txt /tests/golden/types-list-pattern-imported/types/txt

1508−/* imp-442-1 %txt /tests/golden/types-list-pattern-imported/sur/fixture/txt

1509−/* imp-442-2 %txt /tests/golden/types-list-pattern-imported/sur/fixture/txt

1510−/* src-443 %jibb /tests/golden/types-list-patterns/source/jibb

1511−/* tok-443 %txt /tests/golden/types-list-patterns/tokens/txt

1512−/* tre-443 %txt /tests/golden/types-list-patterns/tree/txt

1513−/* typ-443 %txt /tests/golden/types-list-patterns/types/txt

1514−/* src-444 %jibb /tests/golden/types-list-zero-fit/source/jibb

1515−/* tok-444 %txt /tests/golden/types-list-zero-fit/tokens/txt

1516−/* tre-444 %txt /tests/golden/types-list-zero-fit/tree/txt

1517−/* typ-444 %txt /tests/golden/types-list-zero-fit/types/txt

1518−/* src-445 %jibb /tests/golden/types-local-capitals/source/jibb

1519−/* tok-445 %txt /tests/golden/types-local-capitals/tokens/txt

1520−/* tre-445 %txt /tests/golden/types-local-capitals/tree/txt

1521−/* typ-445 %txt /tests/golden/types-local-capitals/types/txt

1522−/* src-446 %jibb /tests/golden/types-local-recursive/source/jibb

1523−/* tok-446 %txt /tests/golden/types-local-recursive/tokens/txt

1524−/* tre-446 %txt /tests/golden/types-local-recursive/tree/txt

1525−/* typ-446 %txt /tests/golden/types-local-recursive/types/txt

1526−/* src-447 %jibb /tests/golden/types-local-scc/source/jibb

1527−/* tok-447 %txt /tests/golden/types-local-scc/tokens/txt

1528−/* tre-447 %txt /tests/golden/types-local-scc/tree/txt

1529−/* typ-447 %txt /tests/golden/types-local-scc/types/txt

1530−/* src-448 %jibb /tests/golden/types-local-scc-adversarial/source/jibb

1531−/* tok-448 %txt /tests/golden/types-local-scc-adversarial/tokens/txt

1532−/* tre-448 %txt /tests/golden/types-local-scc-adversarial/tree/txt

1533−/* typ-448 %txt /tests/golden/types-local-scc-adversarial/types/txt

1534−/* src-449 %jibb /tests/golden/types-missing-tag-context/source/jibb

1535−/* tok-449 %txt /tests/golden/types-missing-tag-context/tokens/txt

1536−/* tre-449 %txt /tests/golden/types-missing-tag-context/tree/txt

1537−/* typ-449 %txt /tests/golden/types-missing-tag-context/types/txt

1538−/* src-450 %jibb /tests/golden/types-missing-tag-imported/source/jibb

1539−/* tok-450 %txt /tests/golden/types-missing-tag-imported/tokens/txt

1540−/* tre-450 %txt /tests/golden/types-missing-tag-imported/tree/txt

1541−/* typ-450 %txt /tests/golden/types-missing-tag-imported/types/txt

1542−/* imp-450-1 %txt /tests/golden/types-missing-tag-imported/sur/fixture/txt

1543−/* imp-450-2 %txt /tests/golden/types-missing-tag-imported/sur/fixture/txt

1544−/* src-451 %jibb /tests/golden/types-missing-tag-named/source/jibb

1545−/* tok-451 %txt /tests/golden/types-missing-tag-named/tokens/txt

1546−/* tre-451 %txt /tests/golden/types-missing-tag-named/tree/txt

1547−/* typ-451 %txt /tests/golden/types-missing-tag-named/types/txt

1548−/* src-452 %jibb /tests/golden/types-module-fixtures/source/jibb

1549−/* tok-452 %txt /tests/golden/types-module-fixtures/tokens/txt

1550−/* tre-452 %txt /tests/golden/types-module-fixtures/tree/txt

1551−/* mod-452-1 %jibb /tests/golden/types-module-fixtures/modules/ui/api/blog/jibb

1552−/* mod-452-2 %jibb /tests/golden/types-module-fixtures/modules/ui/components/card/jibb

1553−/* typ-452 %txt /tests/golden/types-module-fixtures/types/txt

1554−/* mtre-452 %txt /tests/golden/types-module-fixtures/module-trees/txt

1555−/* src-453 %jibb /tests/golden/types-module-mixed/source/jibb

1556−/* tok-453 %txt /tests/golden/types-module-mixed/tokens/txt

1557−/* tre-453 %txt /tests/golden/types-module-mixed/tree/txt

1558−/* mod-453-1 %jibb /tests/golden/types-module-mixed/modules/ui/helper/jibb

1559−/* typ-453 %txt /tests/golden/types-module-mixed/types/txt

1560−/* imp-453-1 %txt /tests/golden/types-module-mixed/sur/fixture/txt

1561−/* mark-453-1 %txt /tests/golden/types-module-mixed/mar/label/txt

1562−/* mtre-453 %txt /tests/golden/types-module-mixed/module-trees/txt

1563−/* src-454 %jibb /tests/golden/types-multi-call/source/jibb

1564−/* tok-454 %txt /tests/golden/types-multi-call/tokens/txt

1565−/* tre-454 %txt /tests/golden/types-multi-call/tree/txt

1566−/* typ-454 %txt /tests/golden/types-multi-call/types/txt

1567−/* src-455 %jibb /tests/golden/types-multi-import/source/jibb

1568−/* tok-455 %txt /tests/golden/types-multi-import/tokens/txt

1569−/* tre-455 %txt /tests/golden/types-multi-import/tree/txt

1570−/* mod-455-1 %jibb /tests/golden/types-multi-import/modules/ui/lib/jibb

1571−/* typ-455 %txt /tests/golden/types-multi-import/types/txt

1572−/* mtre-455 %txt /tests/golden/types-multi-import/module-trees/txt

1573−/* src-456 %jibb /tests/golden/types-nested-missing-tag/source/jibb

1574−/* tok-456 %txt /tests/golden/types-nested-missing-tag/tokens/txt

1575−/* tre-456 %txt /tests/golden/types-nested-missing-tag/tree/txt

1576−/* typ-456 %txt /tests/golden/types-nested-missing-tag/types/txt

1577−/* src-457 %jibb /tests/golden/types-null-context/source/jibb

1578−/* tok-457 %txt /tests/golden/types-null-context/tokens/txt

1579−/* tre-457 %txt /tests/golden/types-null-context/tree/txt

1580−/* typ-457 %txt /tests/golden/types-null-context/types/txt

1581−/* src-458 %jibb /tests/golden/types-null-overlap/source/jibb

1582−/* tok-458 %txt /tests/golden/types-null-overlap/tokens/txt

1583−/* tre-458 %txt /tests/golden/types-null-overlap/tree/txt

1584−/* typ-458 %txt /tests/golden/types-null-overlap/types/txt

1585−/* src-459 %jibb /tests/golden/types-null-unresolved/source/jibb

1586−/* tok-459 %txt /tests/golden/types-null-unresolved/tokens/txt

1587−/* tre-459 %txt /tests/golden/types-null-unresolved/tree/txt

1588−/* typ-459 %txt /tests/golden/types-null-unresolved/types/txt

1589−/* src-460 %jibb /tests/golden/types-partial-apply/source/jibb

1590−/* tok-460 %txt /tests/golden/types-partial-apply/tokens/txt

1591−/* tre-460 %txt /tests/golden/types-partial-apply/tree/txt

1592−/* typ-460 %txt /tests/golden/types-partial-apply/types/txt

1593−/* src-461 %jibb /tests/golden/types-partial-atom-alias/source/jibb

1594−/* tok-461 %txt /tests/golden/types-partial-atom-alias/tokens/txt

1595−/* tre-461 %txt /tests/golden/types-partial-atom-alias/tree/txt

1596−/* typ-461 %txt /tests/golden/types-partial-atom-alias/types/txt

1597−/* src-462 %jibb /tests/golden/types-partial-atom-constraint/source/jibb

1598−/* tok-462 %txt /tests/golden/types-partial-atom-constraint/tokens/txt

1599−/* tre-462 %txt /tests/golden/types-partial-atom-constraint/tree/txt

1600−/* typ-462 %txt /tests/golden/types-partial-atom-constraint/types/txt

1601−/* src-463 %jibb /tests/golden/types-partial-atom-widening/source/jibb

1602−/* tok-463 %txt /tests/golden/types-partial-atom-widening/tokens/txt

1603−/* tre-463 %txt /tests/golden/types-partial-atom-widening/tree/txt

1604−/* typ-463 %txt /tests/golden/types-partial-atom-widening/types/txt

1605−/* src-464 %jibb /tests/golden/types-partial-aura/source/jibb

1606−/* tok-464 %txt /tests/golden/types-partial-aura/tokens/txt

1607−/* tre-464 %txt /tests/golden/types-partial-aura/tree/txt

1608−/* typ-464 %txt /tests/golden/types-partial-aura/types/txt

1609−/* src-465 %jibb /tests/golden/types-partial-aura-family/source/jibb

1610−/* tok-465 %txt /tests/golden/types-partial-aura-family/tokens/txt

1611−/* tre-465 %txt /tests/golden/types-partial-aura-family/tree/txt

1612−/* typ-465 %txt /tests/golden/types-partial-aura-family/types/txt

1613−/* src-466 %jibb /tests/golden/types-partial-aura-generalization/source/jibb

1614−/* tok-466 %txt /tests/golden/types-partial-aura-generalization/tokens/txt

1615−/* tre-466 %txt /tests/golden/types-partial-aura-generalization/tree/txt

1616−/* typ-466 %txt /tests/golden/types-partial-aura-generalization/types/txt

1617−/* src-467 %jibb /tests/golden/types-partial-bare-atom/source/jibb

1618−/* tok-467 %txt /tests/golden/types-partial-bare-atom/tokens/txt

1619−/* tre-467 %txt /tests/golden/types-partial-bare-atom/tree/txt

1620−/* typ-467 %txt /tests/golden/types-partial-bare-atom/types/txt

1621−/* src-468 %jibb /tests/golden/types-partial-branch-widening/source/jibb

1622−/* tok-468 %txt /tests/golden/types-partial-branch-widening/tokens/txt

1623−/* tre-468 %txt /tests/golden/types-partial-branch-widening/tree/txt

1624−/* typ-468 %txt /tests/golden/types-partial-branch-widening/types/txt

1625−/* src-469 %jibb /tests/golden/types-partial-conflicting-sites/source/jibb

1626−/* tok-469 %txt /tests/golden/types-partial-conflicting-sites/tokens/txt

1627−/* tre-469 %txt /tests/golden/types-partial-conflicting-sites/tree/txt

1628−/* typ-469 %txt /tests/golden/types-partial-conflicting-sites/types/txt

1629−/* src-470 %jibb /tests/golden/types-partial-decimal-default/source/jibb

1630−/* tok-470 %txt /tests/golden/types-partial-decimal-default/tokens/txt

1631−/* tre-470 %txt /tests/golden/types-partial-decimal-default/tree/txt

1632−/* typ-470 %txt /tests/golden/types-partial-decimal-default/types/txt

1633−/* src-471 %jibb /tests/golden/types-partial-dependency-chain/source/jibb

1634−/* tok-471 %txt /tests/golden/types-partial-dependency-chain/tokens/txt

1635−/* tre-471 %txt /tests/golden/types-partial-dependency-chain/tree/txt

1636−/* typ-471 %txt /tests/golden/types-partial-dependency-chain/types/txt

1637−/* src-472 %jibb /tests/golden/types-partial-explicit-capital/source/jibb

1638−/* tok-472 %txt /tests/golden/types-partial-explicit-capital/tokens/txt

1639−/* tre-472 %txt /tests/golden/types-partial-explicit-capital/tree/txt

1640−/* typ-472 %txt /tests/golden/types-partial-explicit-capital/types/txt

1641−/* src-473 %jibb /tests/golden/types-partial-forward/source/jibb

1642−/* tok-473 %txt /tests/golden/types-partial-forward/tokens/txt

1643−/* tre-473 %txt /tests/golden/types-partial-forward/tree/txt

1644−/* typ-473 %txt /tests/golden/types-partial-forward/types/txt

1645−/* src-474 %jibb /tests/golden/types-partial-generalization/source/jibb

1646−/* tok-474 %txt /tests/golden/types-partial-generalization/tokens/txt

1647−/* tre-474 %txt /tests/golden/types-partial-generalization/tree/txt

1648−/* typ-474 %txt /tests/golden/types-partial-generalization/types/txt

1649−/* src-475 %jibb /tests/golden/types-partial-identity/source/jibb

1650−/* tok-475 %txt /tests/golden/types-partial-identity/tokens/txt

1651−/* tre-475 %txt /tests/golden/types-partial-identity/tree/txt

1652−/* typ-475 %txt /tests/golden/types-partial-identity/types/txt

1653−/* src-476 %jibb /tests/golden/types-partial-independent-atoms/source/jibb

1654−/* tok-476 %txt /tests/golden/types-partial-independent-atoms/tokens/txt

1655−/* tre-476 %txt /tests/golden/types-partial-independent-atoms/tree/txt

1656−/* typ-476 %txt /tests/golden/types-partial-independent-atoms/types/txt

1657−/* src-477 %jibb /tests/golden/types-partial-local-molds/source/jibb

1658−/* tok-477 %txt /tests/golden/types-partial-local-molds/tokens/txt

1659−/* tre-477 %txt /tests/golden/types-partial-local-molds/tree/txt

1660−/* typ-477 %txt /tests/golden/types-partial-local-molds/types/txt

1661−/* src-478 %jibb /tests/golden/types-partial-locals/source/jibb

1662−/* tok-478 %txt /tests/golden/types-partial-locals/tokens/txt

1663−/* tre-478 %txt /tests/golden/types-partial-locals/tree/txt

1664−/* typ-478 %txt /tests/golden/types-partial-locals/types/txt

1665−/* src-479 %jibb /tests/golden/types-partial-many-atom-constraints/source/jibb

1666−/* tok-479 %txt /tests/golden/types-partial-many-atom-constraints/tokens/txt

1667−/* tre-479 %txt /tests/golden/types-partial-many-atom-constraints/tree/txt

1668−/* typ-479 %txt /tests/golden/types-partial-many-atom-constraints/types/txt

1669−/* src-480 %jibb /tests/golden/types-partial-mold-bare-aura/source/jibb

1670−/* tok-480 %txt /tests/golden/types-partial-mold-bare-aura/tokens/txt

1671−/* tre-480 %txt /tests/golden/types-partial-mold-bare-aura/tree/txt

1672−/* typ-480 %txt /tests/golden/types-partial-mold-bare-aura/types/txt

1673−/* src-481 %jibb /tests/golden/types-partial-mold-composite/source/jibb

1674−/* tok-481 %txt /tests/golden/types-partial-mold-composite/tokens/txt

1675−/* tre-481 %txt /tests/golden/types-partial-mold-composite/tree/txt

1676−/* typ-481 %txt /tests/golden/types-partial-mold-composite/types/txt

1677−/* src-482 %jibb /tests/golden/types-partial-mold-forward/source/jibb

1678−/* tok-482 %txt /tests/golden/types-partial-mold-forward/tokens/txt

1679−/* tre-482 %txt /tests/golden/types-partial-mold-forward/tree/txt

1680−/* typ-482 %txt /tests/golden/types-partial-mold-forward/types/txt

1681−/* src-483 %jibb /tests/golden/types-partial-mold-recursive/source/jibb

1682−/* tok-483 %txt /tests/golden/types-partial-mold-recursive/tokens/txt

1683−/* tre-483 %txt /tests/golden/types-partial-mold-recursive/tree/txt

1684−/* typ-483 %txt /tests/golden/types-partial-mold-recursive/types/txt

1685−/* src-484 %jibb /tests/golden/types-partial-occurs/source/jibb

1686−/* tok-484 %txt /tests/golden/types-partial-occurs/tokens/txt

1687−/* tre-484 %txt /tests/golden/types-partial-occurs/tree/txt

1688−/* typ-484 %txt /tests/golden/types-partial-occurs/types/txt

1689−/* src-485 %jibb /tests/golden/types-partial-projection/source/jibb

1690−/* tok-485 %txt /tests/golden/types-partial-projection/tokens/txt

1691−/* tre-485 %txt /tests/golden/types-partial-projection/tree/txt

1692−/* typ-485 %txt /tests/golden/types-partial-projection/types/txt

1693−/* src-486 %jibb /tests/golden/types-partial-shadow-global/source/jibb

1694−/* tok-486 %txt /tests/golden/types-partial-shadow-global/tokens/txt

1695−/* tre-486 %txt /tests/golden/types-partial-shadow-global/tree/txt

1696−/* typ-486 %txt /tests/golden/types-partial-shadow-global/types/txt

1697−/* src-487 %jibb /tests/golden/types-partial-shared-tvar/source/jibb

1698−/* tok-487 %txt /tests/golden/types-partial-shared-tvar/tokens/txt

1699−/* tre-487 %txt /tests/golden/types-partial-shared-tvar/tree/txt

1700−/* typ-487 %txt /tests/golden/types-partial-shared-tvar/types/txt

1701−/* src-488 %jibb /tests/golden/types-partial-union-cases/source/jibb

1702−/* tok-488 %txt /tests/golden/types-partial-union-cases/tokens/txt

1703−/* tre-488 %txt /tests/golden/types-partial-union-cases/tree/txt

1704−/* typ-488 %txt /tests/golden/types-partial-union-cases/types/txt

1705−/* src-489 %jibb /tests/golden/types-partial-union-edges/source/jibb

1706−/* tok-489 %txt /tests/golden/types-partial-union-edges/tokens/txt

1707−/* tre-489 %txt /tests/golden/types-partial-union-edges/tree/txt

1708−/* typ-489 %txt /tests/golden/types-partial-union-edges/types/txt

1709−/* src-490 %jibb /tests/golden/types-partial-unresolved-tag/source/jibb

1710−/* tok-490 %txt /tests/golden/types-partial-unresolved-tag/tokens/txt

1711−/* tre-490 %txt /tests/golden/types-partial-unresolved-tag/tree/txt

1712−/* typ-490 %txt /tests/golden/types-partial-unresolved-tag/types/txt

1713−/* src-491 %jibb /tests/golden/types-prelude-direct/source/jibb

1714−/* tok-491 %txt /tests/golden/types-prelude-direct/tokens/txt

1715−/* tre-491 %txt /tests/golden/types-prelude-direct/tree/txt

1716−/* typ-491 %txt /tests/golden/types-prelude-direct/types/txt

1717−/* src-492 %jibb /tests/golden/types-prelude-interface/source/jibb

1718−/* tok-492 %txt /tests/golden/types-prelude-interface/tokens/txt

1719−/* tre-492 %txt /tests/golden/types-prelude-interface/tree/txt

1720−/* mod-492-1 %jibb /tests/golden/types-prelude-interface/modules/ui/left/jibb

1721−/* mod-492-2 %jibb /tests/golden/types-prelude-interface/modules/ui/right/jibb

1722−/* typ-492 %txt /tests/golden/types-prelude-interface/types/txt

1723−/* mtre-492 %txt /tests/golden/types-prelude-interface/module-trees/txt

1724−/* src-493 %jibb /tests/golden/types-prelude-list-functions/source/jibb

1725−/* tok-493 %txt /tests/golden/types-prelude-list-functions/tokens/txt

1726−/* tre-493 %txt /tests/golden/types-prelude-list-functions/tree/txt

1727−/* mod-493-1 %jibb /tests/golden/types-prelude-list-functions/modules/ui/lib/jibb

1728−/* typ-493 %txt /tests/golden/types-prelude-list-functions/types/txt

1729−/* mtre-493 %txt /tests/golden/types-prelude-list-functions/module-trees/txt

1730−/* src-494 %jibb /tests/golden/types-prelude-unit-helpers/source/jibb

1731−/* tok-494 %txt /tests/golden/types-prelude-unit-helpers/tokens/txt

1732−/* tre-494 %txt /tests/golden/types-prelude-unit-helpers/tree/txt

1733−/* typ-494 %txt /tests/golden/types-prelude-unit-helpers/types/txt

1734−/* src-495 %jibb /tests/golden/types-record-bound-variable/source/jibb

1735−/* tok-495 %txt /tests/golden/types-record-bound-variable/tokens/txt

1736−/* tre-495 %txt /tests/golden/types-record-bound-variable/tree/txt

1737−/* typ-495 %txt /tests/golden/types-record-bound-variable/types/txt

1738−/* src-496 %jibb /tests/golden/types-record-cast-context/source/jibb

1739−/* tok-496 %txt /tests/golden/types-record-cast-context/tokens/txt

1740−/* tre-496 %txt /tests/golden/types-record-cast-context/tree/txt

1741−/* typ-496 %txt /tests/golden/types-record-cast-context/types/txt

1742−/* src-497 %jibb /tests/golden/types-record-change/source/jibb

1743−/* tok-497 %txt /tests/golden/types-record-change/tokens/txt

1744−/* tre-497 %txt /tests/golden/types-record-change/tree/txt

1745−/* typ-497 %txt /tests/golden/types-record-change/types/txt

1746−/* src-498 %jibb /tests/golden/types-record-change-generic/source/jibb

1747−/* tok-498 %txt /tests/golden/types-record-change-generic/tokens/txt

1748−/* tre-498 %txt /tests/golden/types-record-change-generic/tree/txt

1749−/* typ-498 %txt /tests/golden/types-record-change-generic/types/txt

1750−/* src-499 %jibb /tests/golden/types-record-faces/source/jibb

1751−/* tok-499 %txt /tests/golden/types-record-faces/tokens/txt

1752−/* tre-499 %txt /tests/golden/types-record-faces/tree/txt

1753−/* typ-499 %txt /tests/golden/types-record-faces/types/txt

1754−/* src-500 %jibb /tests/golden/types-record-import/source/jibb

1755−/* tok-500 %txt /tests/golden/types-record-import/tokens/txt

1756−/* tre-500 %txt /tests/golden/types-record-import/tree/txt

1757−/* mod-500-1 %jibb /tests/golden/types-record-import/modules/ui/lib/jibb

1758−/* typ-500 %txt /tests/golden/types-record-import/types/txt

1759−/* mtre-500 %txt /tests/golden/types-record-import/module-trees/txt

1760−/* src-501 %jibb /tests/golden/types-record-local-scheme/source/jibb

1761−/* tok-501 %txt /tests/golden/types-record-local-scheme/tokens/txt

1762−/* tre-501 %txt /tests/golden/types-record-local-scheme/tree/txt

1763−/* typ-501 %txt /tests/golden/types-record-local-scheme/types/txt

1764−/* src-502 %jibb /tests/golden/types-record-nested/source/jibb

1765−/* tok-502 %txt /tests/golden/types-record-nested/tokens/txt

1766−/* tre-502 %txt /tests/golden/types-record-nested/tree/txt

1767−/* typ-502 %txt /tests/golden/types-record-nested/types/txt

1768−/* src-503 %jibb /tests/golden/types-record-to-tuple/source/jibb

1769−/* tok-503 %txt /tests/golden/types-record-to-tuple/tokens/txt

1770−/* tre-503 %txt /tests/golden/types-record-to-tuple/tree/txt

1771−/* typ-503 %txt /tests/golden/types-record-to-tuple/types/txt

1772−/* src-504 %jibb /tests/golden/types-recursion-scc-failures/source/jibb

1773−/* tok-504 %txt /tests/golden/types-recursion-scc-failures/tokens/txt

1774−/* tre-504 %txt /tests/golden/types-recursion-scc-failures/tree/txt

1775−/* typ-504 %txt /tests/golden/types-recursion-scc-failures/types/txt

1776−/* src-505 %jibb /tests/golden/types-recursion-scc-groups/source/jibb

1777−/* tok-505 %txt /tests/golden/types-recursion-scc-groups/tokens/txt

1778−/* tre-505 %txt /tests/golden/types-recursion-scc-groups/tree/txt

1779−/* typ-505 %txt /tests/golden/types-recursion-scc-groups/types/txt

1780−/* src-506 %jibb /tests/golden/types-recursion-scc-import/source/jibb

1781−/* tok-506 %txt /tests/golden/types-recursion-scc-import/tokens/txt

1782−/* tre-506 %txt /tests/golden/types-recursion-scc-import/tree/txt

1783−/* mod-506-1 %jibb /tests/golden/types-recursion-scc-import/modules/ui/lib/jibb

1784−/* typ-506 %txt /tests/golden/types-recursion-scc-import/types/txt

1785−/* mtre-506 %txt /tests/golden/types-recursion-scc-import/module-trees/txt

1786−/* src-507 %jibb /tests/golden/types-recursion-scc-import-bad/source/jibb

1787−/* tok-507 %txt /tests/golden/types-recursion-scc-import-bad/tokens/txt

1788−/* tre-507 %txt /tests/golden/types-recursion-scc-import-bad/tree/txt

1789−/* mod-507-1 %jibb /tests/golden/types-recursion-scc-import-bad/modules/ui/lib/jibb

1790−/* typ-507 %txt /tests/golden/types-recursion-scc-import-bad/types/txt

1791−/* mtre-507 %txt /tests/golden/types-recursion-scc-import-bad/module-trees/txt

1792−/* src-508 %jibb /tests/golden/types-recursion-scc-local/source/jibb

1793−/* tok-508 %txt /tests/golden/types-recursion-scc-local/tokens/txt

1794−/* tre-508 %txt /tests/golden/types-recursion-scc-local/tree/txt

1795−/* typ-508 %txt /tests/golden/types-recursion-scc-local/types/txt

1796−/* src-509 %jibb /tests/golden/types-recursion-scc-order/source/jibb

1797−/* tok-509 %txt /tests/golden/types-recursion-scc-order/tokens/txt

1798−/* tre-509 %txt /tests/golden/types-recursion-scc-order/tree/txt

1799−/* typ-509 %txt /tests/golden/types-recursion-scc-order/types/txt

1800−/* src-510 %jibb /tests/golden/types-recursion-scc-shadow/source/jibb

1801−/* tok-510 %txt /tests/golden/types-recursion-scc-shadow/tokens/txt

1802−/* tre-510 %txt /tests/golden/types-recursion-scc-shadow/tree/txt

1803−/* typ-510 %txt /tests/golden/types-recursion-scc-shadow/types/txt

1804−/* src-511 %jibb /tests/golden/types-recursive-branch/source/jibb

1805−/* tok-511 %txt /tests/golden/types-recursive-branch/tokens/txt

1806−/* tre-511 %txt /tests/golden/types-recursive-branch/tree/txt

1807−/* typ-511 %txt /tests/golden/types-recursive-branch/types/txt

1808−/* src-512 %jibb /tests/golden/types-recursive-gate/source/jibb

1809−/* tok-512 %txt /tests/golden/types-recursive-gate/tokens/txt

1810−/* tre-512 %txt /tests/golden/types-recursive-gate/tree/txt

1811−/* typ-512 %txt /tests/golden/types-recursive-gate/types/txt

1812−/* src-513 %jibb /tests/golden/types-recursive-sample/source/jibb

1813−/* tok-513 %txt /tests/golden/types-recursive-sample/tokens/txt

1814−/* tre-513 %txt /tests/golden/types-recursive-sample/tree/txt

1815−/* typ-513 %txt /tests/golden/types-recursive-sample/types/txt

1816−/* src-514 %jibb /tests/golden/types-scope-library-poke/source/jibb

1817−/* tok-514 %txt /tests/golden/types-scope-library-poke/tokens/txt

1818−/* tre-514 %txt /tests/golden/types-scope-library-poke/tree/txt

1819−/* typ-514 %txt /tests/golden/types-scope-library-poke/types/txt

1820−/* src-515 %jibb /tests/golden/types-scope-root-api/source/jibb

1821−/* tok-515 %txt /tests/golden/types-scope-root-api/tokens/txt

1822−/* tre-515 %txt /tests/golden/types-scope-root-api/tree/txt

1823−/* typ-515 %txt /tests/golden/types-scope-root-api/types/txt

1824−/* src-516 %jibb /tests/golden/types-scope-store-duplicate/source/jibb

1825−/* tok-516 %txt /tests/golden/types-scope-store-duplicate/tokens/txt

1826−/* tre-516 %txt /tests/golden/types-scope-store-duplicate/tree/txt

1827−/* typ-516 %txt /tests/golden/types-scope-store-duplicate/types/txt

1828−/* src-517 %jibb /tests/golden/types-scope-store-shadow/source/jibb

1829−/* tok-517 %txt /tests/golden/types-scope-store-shadow/tokens/txt

1830−/* tre-517 %txt /tests/golden/types-scope-store-shadow/tree/txt

1831−/* typ-517 %txt /tests/golden/types-scope-store-shadow/types/txt

1832−/* src-518 %jibb /tests/golden/types-string-interpolation/source/jibb

1833−/* tok-518 %txt /tests/golden/types-string-interpolation/tokens/txt

1834−/* tre-518 %txt /tests/golden/types-string-interpolation/tree/txt

1835−/* typ-518 %txt /tests/golden/types-string-interpolation/types/txt

1836−/* src-519 %jibb /tests/golden/types-tuple-context/source/jibb

1837−/* tok-519 %txt /tests/golden/types-tuple-context/tokens/txt

1838−/* tre-519 %txt /tests/golden/types-tuple-context/tree/txt

1839−/* typ-519 %txt /tests/golden/types-tuple-context/types/txt

1840−/* src-520 %jibb /tests/golden/types-tuple-context-nested/source/jibb

1841−/* tok-520 %txt /tests/golden/types-tuple-context-nested/tokens/txt

1842−/* tre-520 %txt /tests/golden/types-tuple-context-nested/tree/txt

1843−/* typ-520 %txt /tests/golden/types-tuple-context-nested/types/txt

1844−/* src-521 %jibb /tests/golden/types-union-alias/source/jibb

1845−/* tok-521 %txt /tests/golden/types-union-alias/tokens/txt

1846−/* tre-521 %txt /tests/golden/types-union-alias/tree/txt

1847−/* typ-521 %txt /tests/golden/types-union-alias/types/txt

1848−/* src-522 %jibb /tests/golden/types-union-branch-context/source/jibb

1849−/* tok-522 %txt /tests/golden/types-union-branch-context/tokens/txt

1850−/* tre-522 %txt /tests/golden/types-union-branch-context/tree/txt

1851−/* typ-522 %txt /tests/golden/types-union-branch-context/types/txt

1852−/* src-523 %jibb /tests/golden/types-union-branch-pending/source/jibb

1853−/* tok-523 %txt /tests/golden/types-union-branch-pending/tokens/txt

1854−/* tre-523 %txt /tests/golden/types-union-branch-pending/tree/txt

1855−/* typ-523 %txt /tests/golden/types-union-branch-pending/types/txt

1856−/* src-524 %jibb /tests/golden/types-union-constructor-shape/source/jibb

1857−/* tok-524 %txt /tests/golden/types-union-constructor-shape/tokens/txt

1858−/* tre-524 %txt /tests/golden/types-union-constructor-shape/tree/txt

1859−/* typ-524 %txt /tests/golden/types-union-constructor-shape/types/txt

1860−/* src-525 %jibb /tests/golden/types-union-context-flow/source/jibb

1861−/* tok-525 %txt /tests/golden/types-union-context-flow/tokens/txt

1862−/* tre-525 %txt /tests/golden/types-union-context-flow/tree/txt

1863−/* typ-525 %txt /tests/golden/types-union-context-flow/types/txt

1864−/* src-526 %jibb /tests/golden/types-union-finite/source/jibb

1865−/* tok-526 %txt /tests/golden/types-union-finite/tokens/txt

1866−/* tre-526 %txt /tests/golden/types-union-finite/tree/txt

1867−/* typ-526 %txt /tests/golden/types-union-finite/types/txt

1868−/* src-527 %jibb /tests/golden/types-union-finite-context/source/jibb

1869−/* tok-527 %txt /tests/golden/types-union-finite-context/tokens/txt

1870−/* tre-527 %txt /tests/golden/types-union-finite-context/tree/txt

1871−/* typ-527 %txt /tests/golden/types-union-finite-context/types/txt

1872−/* src-528 %jibb /tests/golden/types-union-finite-generic/source/jibb

1873−/* tok-528 %txt /tests/golden/types-union-finite-generic/tokens/txt

1874−/* tre-528 %txt /tests/golden/types-union-finite-generic/tree/txt

1875−/* typ-528 %txt /tests/golden/types-union-finite-generic/types/txt

1876−/* src-529 %jibb /tests/golden/types-union-finite-limit/source/jibb

1877−/* tok-529 %txt /tests/golden/types-union-finite-limit/tokens/txt

1878−/* tre-529 %txt /tests/golden/types-union-finite-limit/tree/txt

1879−/* typ-529 %txt /tests/golden/types-union-finite-limit/types/txt

1880−/* src-530 %jibb /tests/golden/types-union-import/source/jibb

1881−/* tok-530 %txt /tests/golden/types-union-import/tokens/txt

1882−/* tre-530 %txt /tests/golden/types-union-import/tree/txt

1883−/* mod-530-1 %jibb /tests/golden/types-union-import/modules/ui/lib/jibb

1884−/* typ-530 %txt /tests/golden/types-union-import/types/txt

1885−/* mtre-530 %txt /tests/golden/types-union-import/module-trees/txt

1886−/* src-531 %jibb /tests/golden/types-union-local-pending/source/jibb

1887−/* tok-531 %txt /tests/golden/types-union-local-pending/tokens/txt

1888−/* tre-531 %txt /tests/golden/types-union-local-pending/tree/txt

1889−/* typ-531 %txt /tests/golden/types-union-local-pending/types/txt

1890−/* src-532 %jibb /tests/golden/types-union-overlap/source/jibb

1891−/* tok-532 %txt /tests/golden/types-union-overlap/tokens/txt

1892−/* tre-532 %txt /tests/golden/types-union-overlap/tree/txt

1893−/* typ-532 %txt /tests/golden/types-union-overlap/types/txt

1894−/* src-533 %jibb /tests/golden/types-union-overlap-nested/source/jibb

1895−/* tok-533 %txt /tests/golden/types-union-overlap-nested/tokens/txt

1896−/* tre-533 %txt /tests/golden/types-union-overlap-nested/tree/txt

1897−/* typ-533 %txt /tests/golden/types-union-overlap-nested/types/txt

1898−/* src-534 %jibb /tests/golden/types-union-pattern-result-context/source/jibb

1899−/* tok-534 %txt /tests/golden/types-union-pattern-result-context/tokens/txt

1900−/* tre-534 %txt /tests/golden/types-union-pattern-result-context/tree/txt

1901−/* typ-534 %txt /tests/golden/types-union-pattern-result-context/types/txt

1902−/* src-535 %jibb /tests/golden/types-union-pattern-result-controls/source/jibb

1903−/* tok-535 %txt /tests/golden/types-union-pattern-result-controls/tokens/txt

1904−/* tre-535 %txt /tests/golden/types-union-pattern-result-controls/tree/txt

1905−/* typ-535 %txt /tests/golden/types-union-pattern-result-controls/types/txt

1906−/* src-536 %jibb /tests/golden/types-union-patterns/source/jibb

1907−/* tok-536 %txt /tests/golden/types-union-patterns/tokens/txt

1908−/* tre-536 %txt /tests/golden/types-union-patterns/tree/txt

1909−/* typ-536 %txt /tests/golden/types-union-patterns/types/txt

1910−/* src-537 %jibb /tests/golden/types-union-patterns-generic/source/jibb

1911−/* tok-537 %txt /tests/golden/types-union-patterns-generic/tokens/txt

1912−/* tre-537 %txt /tests/golden/types-union-patterns-generic/tree/txt

1913−/* typ-537 %txt /tests/golden/types-union-patterns-generic/types/txt

1914−/* src-538 %jibb /tests/golden/types-union-patterns-import/source/jibb

1915−/* tok-538 %txt /tests/golden/types-union-patterns-import/tokens/txt

1916−/* tre-538 %txt /tests/golden/types-union-patterns-import/tree/txt

1917−/* mod-538-1 %jibb /tests/golden/types-union-patterns-import/modules/ui/lib/jibb

1918−/* typ-538 %txt /tests/golden/types-union-patterns-import/types/txt

1919−/* mtre-538 %txt /tests/golden/types-union-patterns-import/module-trees/txt

1920−/* src-539 %jibb /tests/golden/types-union-phantom-generic/source/jibb

1921−/* tok-539 %txt /tests/golden/types-union-phantom-generic/tokens/txt

1922−/* tre-539 %txt /tests/golden/types-union-phantom-generic/tree/txt

1923−/* typ-539 %txt /tests/golden/types-union-phantom-generic/types/txt

1924−/* src-540 %jibb /tests/golden/types-union-print-cross-namespace/source/jibb

1925−/* tok-540 %txt /tests/golden/types-union-print-cross-namespace/tokens/txt

1926−/* tre-540 %txt /tests/golden/types-union-print-cross-namespace/tree/txt

1927−/* mod-540-1 %jibb /tests/golden/types-union-print-cross-namespace/modules/ui/lib/jibb

1928−/* typ-540 %txt /tests/golden/types-union-print-cross-namespace/types/txt

1929−/* mtre-540 %txt /tests/golden/types-union-print-cross-namespace/module-trees/txt

1930−/* src-541 %jibb /tests/golden/types-union-print-distinct/source/jibb

1931−/* tok-541 %txt /tests/golden/types-union-print-distinct/tokens/txt

1932−/* tre-541 %txt /tests/golden/types-union-print-distinct/tree/txt

1933−/* mod-541-1 %jibb /tests/golden/types-union-print-distinct/modules/ui/left/jibb

1934−/* mod-541-2 %jibb /tests/golden/types-union-print-distinct/modules/ui/right/jibb

1935−/* mod-541-3 %jibb /tests/golden/types-union-print-distinct/modules/ui/twin/jibb

1936−/* typ-541 %txt /tests/golden/types-union-print-distinct/types/txt

1937−/* mtre-541 %txt /tests/golden/types-union-print-distinct/module-trees/txt

1938−/* src-542 %jibb /tests/golden/types-union-print-escape/source/jibb

1939−/* tok-542 %txt /tests/golden/types-union-print-escape/tokens/txt

1940−/* tre-542 %txt /tests/golden/types-union-print-escape/tree/txt

1941−/* typ-542 %txt /tests/golden/types-union-print-escape/types/txt

1942−/* src-543 %jibb /tests/golden/types-union-print-local/source/jibb

1943−/* tok-543 %txt /tests/golden/types-union-print-local/tokens/txt

1944−/* tre-543 %txt /tests/golden/types-union-print-local/tree/txt

1945−/* typ-543 %txt /tests/golden/types-union-print-local/types/txt

1946−/* src-544 %jibb /tests/golden/types-union-print-nested/source/jibb

1947−/* tok-544 %txt /tests/golden/types-union-print-nested/tokens/txt

1948−/* tre-544 %txt /tests/golden/types-union-print-nested/tree/txt

1949−/* typ-544 %txt /tests/golden/types-union-print-nested/types/txt

1950−/* src-545 %jibb /tests/golden/types-union-print-same-origin/source/jibb

1951−/* tok-545 %txt /tests/golden/types-union-print-same-origin/tokens/txt

1952−/* tre-545 %txt /tests/golden/types-union-print-same-origin/tree/txt

1953−/* mod-545-1 %jibb /tests/golden/types-union-print-same-origin/modules/ui/shared/jibb

1954−/* typ-545 %txt /tests/golden/types-union-print-same-origin/types/txt

1955−/* mtre-545 %txt /tests/golden/types-union-print-same-origin/module-trees/txt

1956−/* src-546 %jibb /tests/golden/types-union-print-transitive/source/jibb

1957−/* tok-546 %txt /tests/golden/types-union-print-transitive/tokens/txt

1958−/* tre-546 %txt /tests/golden/types-union-print-transitive/tree/txt

1959−/* mod-546-1 %jibb /tests/golden/types-union-print-transitive/modules/ui/mid/jibb

1960−/* mod-546-2 %jibb /tests/golden/types-union-print-transitive/modules/ui/base/jibb

1961−/* typ-546 %txt /tests/golden/types-union-print-transitive/types/txt

1962−/* mtre-546 %txt /tests/golden/types-union-print-transitive/module-trees/txt

1963−/* src-547 %jibb /tests/golden/types-union-singleton/source/jibb

1964−/* tok-547 %txt /tests/golden/types-union-singleton/tokens/txt

1965−/* tre-547 %txt /tests/golden/types-union-singleton/tree/txt

1966−/* typ-547 %txt /tests/golden/types-union-singleton/types/txt

1967−/* src-548 %jibb /tests/golden/types-union-tag-atoms/source/jibb

1968−/* tok-548 %txt /tests/golden/types-union-tag-atoms/tokens/txt

1969−/* tre-548 %txt /tests/golden/types-union-tag-atoms/tree/txt

1970−/* typ-548 %txt /tests/golden/types-union-tag-atoms/types/txt

1971−/* src-549 %jibb /tests/golden/types-union-tags/source/jibb

1972−/* tok-549 %txt /tests/golden/types-union-tags/tokens/txt

1973−/* tre-549 %txt /tests/golden/types-union-tags/tree/txt

1974−/* typ-549 %txt /tests/golden/types-union-tags/types/txt

1975−/* src-550 %jibb /tests/golden/types-union-unresolved/source/jibb

1976−/* tok-550 %txt /tests/golden/types-union-unresolved/tokens/txt

1977−/* tre-550 %txt /tests/golden/types-union-unresolved/tree/txt

1978−/* typ-550 %txt /tests/golden/types-union-unresolved/types/txt

1979−/* src-551 %jibb /tests/golden/types-union-unresolved-flow/source/jibb

1980−/* tok-551 %txt /tests/golden/types-union-unresolved-flow/tokens/txt

1981−/* tre-551 %txt /tests/golden/types-union-unresolved-flow/tree/txt

1982−/* typ-551 %txt /tests/golden/types-union-unresolved-flow/types/txt

1983−/* src-552 %jibb /tests/golden/types-unit-construction/source/jibb

1984−/* tok-552 %txt /tests/golden/types-unit-construction/tokens/txt

1985−/* tre-552 %txt /tests/golden/types-unit-construction/tree/txt

1986−/* typ-552 %txt /tests/golden/types-unit-construction/types/txt

1987−/* src-553 %jibb /tests/golden/types-unit-context/source/jibb

1988−/* tok-553 %txt /tests/golden/types-unit-context/tokens/txt

1989−/* tre-553 %txt /tests/golden/types-unit-context/tree/txt

1990−/* typ-553 %txt /tests/golden/types-unit-context/types/txt

1991−/* src-554 %jibb /tests/golden/types-unit-patterns/source/jibb

1992−/* tok-554 %txt /tests/golden/types-unit-patterns/tokens/txt

1993−/* tre-554 %txt /tests/golden/types-unit-patterns/tree/txt

1994−/* typ-554 %txt /tests/golden/types-unit-patterns/types/txt

1448+/* src-431 %jibb /tests/golden/types-import-hoon-flags/source/jibb

1449+/* tok-431 %txt /tests/golden/types-import-hoon-flags/tokens/txt

1450+/* tre-431 %txt /tests/golden/types-import-hoon-flags/tree/txt

1451+/* typ-431 %txt /tests/golden/types-import-hoon-flags/types/txt

1452+/* imp-431-1 %txt /tests/golden/types-import-hoon-flags/sur/flags/txt

1453+/* imp-431-2 %txt /tests/golden/types-import-hoon-flags/sur/flags/txt

1454+/* imp-431-3 %txt /tests/golden/types-import-hoon-flags/sur/flags/txt

1455+/* imp-431-4 %txt /tests/golden/types-import-hoon-flags/sur/flags/txt

1456+/* src-432 %jibb /tests/golden/types-import-mark/source/jibb

1457+/* tok-432 %txt /tests/golden/types-import-mark/tokens/txt

1458+/* tre-432 %txt /tests/golden/types-import-mark/tree/txt

1459+/* typ-432 %txt /tests/golden/types-import-mark/types/txt

1460+/* imp-432-1 %txt /tests/golden/types-import-mark/sur/fixture/txt

1461+/* mark-432-1 %txt /tests/golden/types-import-mark/mar/label/txt

1462+/* src-433 %jibb /tests/golden/types-import-mark-record/source/jibb

1463+/* tok-433 %txt /tests/golden/types-import-mark-record/tokens/txt

1464+/* tre-433 %txt /tests/golden/types-import-mark-record/tree/txt

1465+/* typ-433 %txt /tests/golden/types-import-mark-record/types/txt

1466+/* mark-433-1 %txt /tests/golden/types-import-mark-record/mar/note/txt

1467+/* mark-433-2 %txt /tests/golden/types-import-mark-record/mar/choice/txt

1468+/* src-434 %jibb /tests/golden/types-import-missing-mold/source/jibb

1469+/* tok-434 %txt /tests/golden/types-import-missing-mold/tokens/txt

1470+/* tre-434 %txt /tests/golden/types-import-missing-mold/tree/txt

1471+/* typ-434 %txt /tests/golden/types-import-missing-mold/types/txt

1472+/* imp-434-1 %txt /tests/golden/types-import-missing-mold/sur/fixture/txt

1473+/* src-435 %jibb /tests/golden/types-import-sur/source/jibb

1474+/* tok-435 %txt /tests/golden/types-import-sur/tokens/txt

1475+/* tre-435 %txt /tests/golden/types-import-sur/tree/txt

1476+/* typ-435 %txt /tests/golden/types-import-sur/types/txt

1477+/* imp-435-1 %txt /tests/golden/types-import-sur/sur/fixture/txt

1478+/* imp-435-2 %txt /tests/golden/types-import-sur/sur/fixture/txt

1479+/* src-436 %jibb /tests/golden/types-import-sur-record-graph/source/jibb

1480+/* tok-436 %txt /tests/golden/types-import-sur-record-graph/tokens/txt

1481+/* tre-436 %txt /tests/golden/types-import-sur-record-graph/tree/txt

1482+/* mod-436-1 %jibb /tests/golden/types-import-sur-record-graph/modules/ui/lib/jibb

1483+/* typ-436 %txt /tests/golden/types-import-sur-record-graph/types/txt

1484+/* imp-436-1 %txt /tests/golden/types-import-sur-record-graph/sur/fixture/txt

1485+/* mtre-436 %txt /tests/golden/types-import-sur-record-graph/module-trees/txt

1486+/* src-437 %jibb /tests/golden/types-list-branch/source/jibb

1487+/* tok-437 %txt /tests/golden/types-list-branch/tokens/txt

1488+/* tre-437 %txt /tests/golden/types-list-branch/tree/txt

1489+/* typ-437 %txt /tests/golden/types-list-branch/types/txt

1490+/* src-438 %jibb /tests/golden/types-list-cons/source/jibb

1491+/* tok-438 %txt /tests/golden/types-list-cons/tokens/txt

1492+/* tre-438 %txt /tests/golden/types-list-cons/tree/txt

1493+/* typ-438 %txt /tests/golden/types-list-cons/types/txt

1494+/* src-439 %jibb /tests/golden/types-list-context/source/jibb

1495+/* tok-439 %txt /tests/golden/types-list-context/tokens/txt

1496+/* tre-439 %txt /tests/golden/types-list-context/tree/txt

1497+/* typ-439 %txt /tests/golden/types-list-context/types/txt

1498+/* src-440 %jibb /tests/golden/types-list-imported/source/jibb

1499+/* tok-440 %txt /tests/golden/types-list-imported/tokens/txt

1500+/* tre-440 %txt /tests/golden/types-list-imported/tree/txt

1501+/* typ-440 %txt /tests/golden/types-list-imported/types/txt

1502+/* imp-440-1 %txt /tests/golden/types-list-imported/sur/fixture/txt

1503+/* imp-440-2 %txt /tests/golden/types-list-imported/sur/fixture/txt

1504+/* src-441 %jibb /tests/golden/types-list-open/source/jibb

1505+/* tok-441 %txt /tests/golden/types-list-open/tokens/txt

1506+/* tre-441 %txt /tests/golden/types-list-open/tree/txt

1507+/* typ-441 %txt /tests/golden/types-list-open/types/txt

1508+/* src-442 %jibb /tests/golden/types-list-open-constraints/source/jibb

1509+/* tok-442 %txt /tests/golden/types-list-open-constraints/tokens/txt

1510+/* tre-442 %txt /tests/golden/types-list-open-constraints/tree/txt

1511+/* typ-442 %txt /tests/golden/types-list-open-constraints/types/txt

1512+/* src-443 %jibb /tests/golden/types-list-pattern-imported/source/jibb

1513+/* tok-443 %txt /tests/golden/types-list-pattern-imported/tokens/txt

1514+/* tre-443 %txt /tests/golden/types-list-pattern-imported/tree/txt

1515+/* typ-443 %txt /tests/golden/types-list-pattern-imported/types/txt

1516+/* imp-443-1 %txt /tests/golden/types-list-pattern-imported/sur/fixture/txt

1517+/* imp-443-2 %txt /tests/golden/types-list-pattern-imported/sur/fixture/txt

1518+/* src-444 %jibb /tests/golden/types-list-patterns/source/jibb

1519+/* tok-444 %txt /tests/golden/types-list-patterns/tokens/txt

1520+/* tre-444 %txt /tests/golden/types-list-patterns/tree/txt

1521+/* typ-444 %txt /tests/golden/types-list-patterns/types/txt

1522+/* src-445 %jibb /tests/golden/types-list-zero-fit/source/jibb

1523+/* tok-445 %txt /tests/golden/types-list-zero-fit/tokens/txt

1524+/* tre-445 %txt /tests/golden/types-list-zero-fit/tree/txt

1525+/* typ-445 %txt /tests/golden/types-list-zero-fit/types/txt

1526+/* src-446 %jibb /tests/golden/types-local-capitals/source/jibb

1527+/* tok-446 %txt /tests/golden/types-local-capitals/tokens/txt

1528+/* tre-446 %txt /tests/golden/types-local-capitals/tree/txt

1529+/* typ-446 %txt /tests/golden/types-local-capitals/types/txt

1530+/* src-447 %jibb /tests/golden/types-local-recursive/source/jibb

1531+/* tok-447 %txt /tests/golden/types-local-recursive/tokens/txt

1532+/* tre-447 %txt /tests/golden/types-local-recursive/tree/txt

1533+/* typ-447 %txt /tests/golden/types-local-recursive/types/txt

1534+/* src-448 %jibb /tests/golden/types-local-scc/source/jibb

1535+/* tok-448 %txt /tests/golden/types-local-scc/tokens/txt

1536+/* tre-448 %txt /tests/golden/types-local-scc/tree/txt

1537+/* typ-448 %txt /tests/golden/types-local-scc/types/txt

1538+/* src-449 %jibb /tests/golden/types-local-scc-adversarial/source/jibb

1539+/* tok-449 %txt /tests/golden/types-local-scc-adversarial/tokens/txt

1540+/* tre-449 %txt /tests/golden/types-local-scc-adversarial/tree/txt

1541+/* typ-449 %txt /tests/golden/types-local-scc-adversarial/types/txt

1542+/* src-450 %jibb /tests/golden/types-missing-tag-context/source/jibb

1543+/* tok-450 %txt /tests/golden/types-missing-tag-context/tokens/txt

1544+/* tre-450 %txt /tests/golden/types-missing-tag-context/tree/txt

1545+/* typ-450 %txt /tests/golden/types-missing-tag-context/types/txt

1546+/* src-451 %jibb /tests/golden/types-missing-tag-imported/source/jibb

1547+/* tok-451 %txt /tests/golden/types-missing-tag-imported/tokens/txt

1548+/* tre-451 %txt /tests/golden/types-missing-tag-imported/tree/txt

1549+/* typ-451 %txt /tests/golden/types-missing-tag-imported/types/txt

1550+/* imp-451-1 %txt /tests/golden/types-missing-tag-imported/sur/fixture/txt

1551+/* imp-451-2 %txt /tests/golden/types-missing-tag-imported/sur/fixture/txt

1552+/* src-452 %jibb /tests/golden/types-missing-tag-named/source/jibb

1553+/* tok-452 %txt /tests/golden/types-missing-tag-named/tokens/txt

1554+/* tre-452 %txt /tests/golden/types-missing-tag-named/tree/txt

1555+/* typ-452 %txt /tests/golden/types-missing-tag-named/types/txt

1556+/* src-453 %jibb /tests/golden/types-module-fixtures/source/jibb

1557+/* tok-453 %txt /tests/golden/types-module-fixtures/tokens/txt

1558+/* tre-453 %txt /tests/golden/types-module-fixtures/tree/txt

1559+/* mod-453-1 %jibb /tests/golden/types-module-fixtures/modules/ui/api/blog/jibb

1560+/* mod-453-2 %jibb /tests/golden/types-module-fixtures/modules/ui/components/card/jibb

1561+/* typ-453 %txt /tests/golden/types-module-fixtures/types/txt

1562+/* mtre-453 %txt /tests/golden/types-module-fixtures/module-trees/txt

1563+/* src-454 %jibb /tests/golden/types-module-mixed/source/jibb

1564+/* tok-454 %txt /tests/golden/types-module-mixed/tokens/txt

1565+/* tre-454 %txt /tests/golden/types-module-mixed/tree/txt

1566+/* mod-454-1 %jibb /tests/golden/types-module-mixed/modules/ui/helper/jibb

1567+/* typ-454 %txt /tests/golden/types-module-mixed/types/txt

1568+/* imp-454-1 %txt /tests/golden/types-module-mixed/sur/fixture/txt

1569+/* mark-454-1 %txt /tests/golden/types-module-mixed/mar/label/txt

1570+/* mtre-454 %txt /tests/golden/types-module-mixed/module-trees/txt

1571+/* src-455 %jibb /tests/golden/types-multi-call/source/jibb

1572+/* tok-455 %txt /tests/golden/types-multi-call/tokens/txt

1573+/* tre-455 %txt /tests/golden/types-multi-call/tree/txt

1574+/* typ-455 %txt /tests/golden/types-multi-call/types/txt

1575+/* src-456 %jibb /tests/golden/types-multi-import/source/jibb

1576+/* tok-456 %txt /tests/golden/types-multi-import/tokens/txt

1577+/* tre-456 %txt /tests/golden/types-multi-import/tree/txt

1578+/* mod-456-1 %jibb /tests/golden/types-multi-import/modules/ui/lib/jibb

1579+/* typ-456 %txt /tests/golden/types-multi-import/types/txt

1580+/* mtre-456 %txt /tests/golden/types-multi-import/module-trees/txt

1581+/* src-457 %jibb /tests/golden/types-nested-missing-tag/source/jibb

1582+/* tok-457 %txt /tests/golden/types-nested-missing-tag/tokens/txt

1583+/* tre-457 %txt /tests/golden/types-nested-missing-tag/tree/txt

1584+/* typ-457 %txt /tests/golden/types-nested-missing-tag/types/txt

1585+/* src-458 %jibb /tests/golden/types-null-context/source/jibb

1586+/* tok-458 %txt /tests/golden/types-null-context/tokens/txt

1587+/* tre-458 %txt /tests/golden/types-null-context/tree/txt

1588+/* typ-458 %txt /tests/golden/types-null-context/types/txt

1589+/* src-459 %jibb /tests/golden/types-null-overlap/source/jibb

1590+/* tok-459 %txt /tests/golden/types-null-overlap/tokens/txt

1591+/* tre-459 %txt /tests/golden/types-null-overlap/tree/txt

1592+/* typ-459 %txt /tests/golden/types-null-overlap/types/txt

1593+/* src-460 %jibb /tests/golden/types-null-unresolved/source/jibb

1594+/* tok-460 %txt /tests/golden/types-null-unresolved/tokens/txt

1595+/* tre-460 %txt /tests/golden/types-null-unresolved/tree/txt

1596+/* typ-460 %txt /tests/golden/types-null-unresolved/types/txt

1597+/* src-461 %jibb /tests/golden/types-partial-apply/source/jibb

1598+/* tok-461 %txt /tests/golden/types-partial-apply/tokens/txt

1599+/* tre-461 %txt /tests/golden/types-partial-apply/tree/txt

1600+/* typ-461 %txt /tests/golden/types-partial-apply/types/txt

1601+/* src-462 %jibb /tests/golden/types-partial-atom-alias/source/jibb

1602+/* tok-462 %txt /tests/golden/types-partial-atom-alias/tokens/txt

1603+/* tre-462 %txt /tests/golden/types-partial-atom-alias/tree/txt

1604+/* typ-462 %txt /tests/golden/types-partial-atom-alias/types/txt

1605+/* src-463 %jibb /tests/golden/types-partial-atom-constraint/source/jibb

1606+/* tok-463 %txt /tests/golden/types-partial-atom-constraint/tokens/txt

1607+/* tre-463 %txt /tests/golden/types-partial-atom-constraint/tree/txt

1608+/* typ-463 %txt /tests/golden/types-partial-atom-constraint/types/txt

1609+/* src-464 %jibb /tests/golden/types-partial-atom-widening/source/jibb

1610+/* tok-464 %txt /tests/golden/types-partial-atom-widening/tokens/txt

1611+/* tre-464 %txt /tests/golden/types-partial-atom-widening/tree/txt

1612+/* typ-464 %txt /tests/golden/types-partial-atom-widening/types/txt

1613+/* src-465 %jibb /tests/golden/types-partial-aura/source/jibb

1614+/* tok-465 %txt /tests/golden/types-partial-aura/tokens/txt

1615+/* tre-465 %txt /tests/golden/types-partial-aura/tree/txt

1616+/* typ-465 %txt /tests/golden/types-partial-aura/types/txt

1617+/* src-466 %jibb /tests/golden/types-partial-aura-family/source/jibb

1618+/* tok-466 %txt /tests/golden/types-partial-aura-family/tokens/txt

1619+/* tre-466 %txt /tests/golden/types-partial-aura-family/tree/txt

1620+/* typ-466 %txt /tests/golden/types-partial-aura-family/types/txt

1621+/* src-467 %jibb /tests/golden/types-partial-aura-generalization/source/jibb

1622+/* tok-467 %txt /tests/golden/types-partial-aura-generalization/tokens/txt

1623+/* tre-467 %txt /tests/golden/types-partial-aura-generalization/tree/txt

1624+/* typ-467 %txt /tests/golden/types-partial-aura-generalization/types/txt

1625+/* src-468 %jibb /tests/golden/types-partial-bare-atom/source/jibb

1626+/* tok-468 %txt /tests/golden/types-partial-bare-atom/tokens/txt

1627+/* tre-468 %txt /tests/golden/types-partial-bare-atom/tree/txt

1628+/* typ-468 %txt /tests/golden/types-partial-bare-atom/types/txt

1629+/* src-469 %jibb /tests/golden/types-partial-branch-widening/source/jibb

1630+/* tok-469 %txt /tests/golden/types-partial-branch-widening/tokens/txt

1631+/* tre-469 %txt /tests/golden/types-partial-branch-widening/tree/txt

1632+/* typ-469 %txt /tests/golden/types-partial-branch-widening/types/txt

1633+/* src-470 %jibb /tests/golden/types-partial-conflicting-sites/source/jibb

1634+/* tok-470 %txt /tests/golden/types-partial-conflicting-sites/tokens/txt

1635+/* tre-470 %txt /tests/golden/types-partial-conflicting-sites/tree/txt

1636+/* typ-470 %txt /tests/golden/types-partial-conflicting-sites/types/txt

1637+/* src-471 %jibb /tests/golden/types-partial-decimal-default/source/jibb

1638+/* tok-471 %txt /tests/golden/types-partial-decimal-default/tokens/txt

1639+/* tre-471 %txt /tests/golden/types-partial-decimal-default/tree/txt

1640+/* typ-471 %txt /tests/golden/types-partial-decimal-default/types/txt

1641+/* src-472 %jibb /tests/golden/types-partial-dependency-chain/source/jibb

1642+/* tok-472 %txt /tests/golden/types-partial-dependency-chain/tokens/txt

1643+/* tre-472 %txt /tests/golden/types-partial-dependency-chain/tree/txt

1644+/* typ-472 %txt /tests/golden/types-partial-dependency-chain/types/txt

1645+/* src-473 %jibb /tests/golden/types-partial-explicit-capital/source/jibb

1646+/* tok-473 %txt /tests/golden/types-partial-explicit-capital/tokens/txt

1647+/* tre-473 %txt /tests/golden/types-partial-explicit-capital/tree/txt

1648+/* typ-473 %txt /tests/golden/types-partial-explicit-capital/types/txt

1649+/* src-474 %jibb /tests/golden/types-partial-forward/source/jibb

1650+/* tok-474 %txt /tests/golden/types-partial-forward/tokens/txt

1651+/* tre-474 %txt /tests/golden/types-partial-forward/tree/txt

1652+/* typ-474 %txt /tests/golden/types-partial-forward/types/txt

1653+/* src-475 %jibb /tests/golden/types-partial-generalization/source/jibb

1654+/* tok-475 %txt /tests/golden/types-partial-generalization/tokens/txt

1655+/* tre-475 %txt /tests/golden/types-partial-generalization/tree/txt

1656+/* typ-475 %txt /tests/golden/types-partial-generalization/types/txt

1657+/* src-476 %jibb /tests/golden/types-partial-identity/source/jibb

1658+/* tok-476 %txt /tests/golden/types-partial-identity/tokens/txt

1659+/* tre-476 %txt /tests/golden/types-partial-identity/tree/txt

1660+/* typ-476 %txt /tests/golden/types-partial-identity/types/txt

1661+/* src-477 %jibb /tests/golden/types-partial-independent-atoms/source/jibb

1662+/* tok-477 %txt /tests/golden/types-partial-independent-atoms/tokens/txt

1663+/* tre-477 %txt /tests/golden/types-partial-independent-atoms/tree/txt

1664+/* typ-477 %txt /tests/golden/types-partial-independent-atoms/types/txt

1665+/* src-478 %jibb /tests/golden/types-partial-local-molds/source/jibb

1666+/* tok-478 %txt /tests/golden/types-partial-local-molds/tokens/txt

1667+/* tre-478 %txt /tests/golden/types-partial-local-molds/tree/txt

1668+/* typ-478 %txt /tests/golden/types-partial-local-molds/types/txt

1669+/* src-479 %jibb /tests/golden/types-partial-locals/source/jibb

1670+/* tok-479 %txt /tests/golden/types-partial-locals/tokens/txt

1671+/* tre-479 %txt /tests/golden/types-partial-locals/tree/txt

1672+/* typ-479 %txt /tests/golden/types-partial-locals/types/txt

1673+/* src-480 %jibb /tests/golden/types-partial-many-atom-constraints/source/jibb

1674+/* tok-480 %txt /tests/golden/types-partial-many-atom-constraints/tokens/txt

1675+/* tre-480 %txt /tests/golden/types-partial-many-atom-constraints/tree/txt

1676+/* typ-480 %txt /tests/golden/types-partial-many-atom-constraints/types/txt

1677+/* src-481 %jibb /tests/golden/types-partial-mold-bare-aura/source/jibb

1678+/* tok-481 %txt /tests/golden/types-partial-mold-bare-aura/tokens/txt

1679+/* tre-481 %txt /tests/golden/types-partial-mold-bare-aura/tree/txt

1680+/* typ-481 %txt /tests/golden/types-partial-mold-bare-aura/types/txt

1681+/* src-482 %jibb /tests/golden/types-partial-mold-composite/source/jibb

1682+/* tok-482 %txt /tests/golden/types-partial-mold-composite/tokens/txt

1683+/* tre-482 %txt /tests/golden/types-partial-mold-composite/tree/txt

1684+/* typ-482 %txt /tests/golden/types-partial-mold-composite/types/txt

1685+/* src-483 %jibb /tests/golden/types-partial-mold-forward/source/jibb

1686+/* tok-483 %txt /tests/golden/types-partial-mold-forward/tokens/txt

1687+/* tre-483 %txt /tests/golden/types-partial-mold-forward/tree/txt

1688+/* typ-483 %txt /tests/golden/types-partial-mold-forward/types/txt

1689+/* src-484 %jibb /tests/golden/types-partial-mold-recursive/source/jibb

1690+/* tok-484 %txt /tests/golden/types-partial-mold-recursive/tokens/txt

1691+/* tre-484 %txt /tests/golden/types-partial-mold-recursive/tree/txt

1692+/* typ-484 %txt /tests/golden/types-partial-mold-recursive/types/txt

1693+/* src-485 %jibb /tests/golden/types-partial-occurs/source/jibb

1694+/* tok-485 %txt /tests/golden/types-partial-occurs/tokens/txt

1695+/* tre-485 %txt /tests/golden/types-partial-occurs/tree/txt

1696+/* typ-485 %txt /tests/golden/types-partial-occurs/types/txt

1697+/* src-486 %jibb /tests/golden/types-partial-projection/source/jibb

1698+/* tok-486 %txt /tests/golden/types-partial-projection/tokens/txt

1699+/* tre-486 %txt /tests/golden/types-partial-projection/tree/txt

1700+/* typ-486 %txt /tests/golden/types-partial-projection/types/txt

1701+/* src-487 %jibb /tests/golden/types-partial-shadow-global/source/jibb

1702+/* tok-487 %txt /tests/golden/types-partial-shadow-global/tokens/txt

1703+/* tre-487 %txt /tests/golden/types-partial-shadow-global/tree/txt

1704+/* typ-487 %txt /tests/golden/types-partial-shadow-global/types/txt

1705+/* src-488 %jibb /tests/golden/types-partial-shared-tvar/source/jibb

1706+/* tok-488 %txt /tests/golden/types-partial-shared-tvar/tokens/txt

1707+/* tre-488 %txt /tests/golden/types-partial-shared-tvar/tree/txt

1708+/* typ-488 %txt /tests/golden/types-partial-shared-tvar/types/txt

1709+/* src-489 %jibb /tests/golden/types-partial-union-cases/source/jibb

1710+/* tok-489 %txt /tests/golden/types-partial-union-cases/tokens/txt

1711+/* tre-489 %txt /tests/golden/types-partial-union-cases/tree/txt

1712+/* typ-489 %txt /tests/golden/types-partial-union-cases/types/txt

1713+/* src-490 %jibb /tests/golden/types-partial-union-edges/source/jibb

1714+/* tok-490 %txt /tests/golden/types-partial-union-edges/tokens/txt

1715+/* tre-490 %txt /tests/golden/types-partial-union-edges/tree/txt

1716+/* typ-490 %txt /tests/golden/types-partial-union-edges/types/txt

1717+/* src-491 %jibb /tests/golden/types-partial-unresolved-tag/source/jibb

1718+/* tok-491 %txt /tests/golden/types-partial-unresolved-tag/tokens/txt

1719+/* tre-491 %txt /tests/golden/types-partial-unresolved-tag/tree/txt

1720+/* typ-491 %txt /tests/golden/types-partial-unresolved-tag/types/txt

1721+/* src-492 %jibb /tests/golden/types-prelude-direct/source/jibb

1722+/* tok-492 %txt /tests/golden/types-prelude-direct/tokens/txt

1723+/* tre-492 %txt /tests/golden/types-prelude-direct/tree/txt

1724+/* typ-492 %txt /tests/golden/types-prelude-direct/types/txt

1725+/* src-493 %jibb /tests/golden/types-prelude-interface/source/jibb

1726+/* tok-493 %txt /tests/golden/types-prelude-interface/tokens/txt

1727+/* tre-493 %txt /tests/golden/types-prelude-interface/tree/txt

1728+/* mod-493-1 %jibb /tests/golden/types-prelude-interface/modules/ui/left/jibb

1729+/* mod-493-2 %jibb /tests/golden/types-prelude-interface/modules/ui/right/jibb

1730+/* typ-493 %txt /tests/golden/types-prelude-interface/types/txt

1731+/* mtre-493 %txt /tests/golden/types-prelude-interface/module-trees/txt

1732+/* src-494 %jibb /tests/golden/types-prelude-list-functions/source/jibb

1733+/* tok-494 %txt /tests/golden/types-prelude-list-functions/tokens/txt

1734+/* tre-494 %txt /tests/golden/types-prelude-list-functions/tree/txt

1735+/* mod-494-1 %jibb /tests/golden/types-prelude-list-functions/modules/ui/lib/jibb

1736+/* typ-494 %txt /tests/golden/types-prelude-list-functions/types/txt

1737+/* mtre-494 %txt /tests/golden/types-prelude-list-functions/module-trees/txt

1738+/* src-495 %jibb /tests/golden/types-prelude-unit-helpers/source/jibb

1739+/* tok-495 %txt /tests/golden/types-prelude-unit-helpers/tokens/txt

1740+/* tre-495 %txt /tests/golden/types-prelude-unit-helpers/tree/txt

1741+/* typ-495 %txt /tests/golden/types-prelude-unit-helpers/types/txt

1742+/* src-496 %jibb /tests/golden/types-record-bound-variable/source/jibb

1743+/* tok-496 %txt /tests/golden/types-record-bound-variable/tokens/txt

1744+/* tre-496 %txt /tests/golden/types-record-bound-variable/tree/txt

1745+/* typ-496 %txt /tests/golden/types-record-bound-variable/types/txt

1746+/* src-497 %jibb /tests/golden/types-record-cast-context/source/jibb

1747+/* tok-497 %txt /tests/golden/types-record-cast-context/tokens/txt

1748+/* tre-497 %txt /tests/golden/types-record-cast-context/tree/txt

1749+/* typ-497 %txt /tests/golden/types-record-cast-context/types/txt

1750+/* src-498 %jibb /tests/golden/types-record-change/source/jibb

1751+/* tok-498 %txt /tests/golden/types-record-change/tokens/txt

1752+/* tre-498 %txt /tests/golden/types-record-change/tree/txt

1753+/* typ-498 %txt /tests/golden/types-record-change/types/txt

1754+/* src-499 %jibb /tests/golden/types-record-change-generic/source/jibb

1755+/* tok-499 %txt /tests/golden/types-record-change-generic/tokens/txt

1756+/* tre-499 %txt /tests/golden/types-record-change-generic/tree/txt

1757+/* typ-499 %txt /tests/golden/types-record-change-generic/types/txt

1758+/* src-500 %jibb /tests/golden/types-record-faces/source/jibb

1759+/* tok-500 %txt /tests/golden/types-record-faces/tokens/txt

1760+/* tre-500 %txt /tests/golden/types-record-faces/tree/txt

1761+/* typ-500 %txt /tests/golden/types-record-faces/types/txt

1762+/* src-501 %jibb /tests/golden/types-record-import/source/jibb

1763+/* tok-501 %txt /tests/golden/types-record-import/tokens/txt

1764+/* tre-501 %txt /tests/golden/types-record-import/tree/txt

1765+/* mod-501-1 %jibb /tests/golden/types-record-import/modules/ui/lib/jibb

1766+/* typ-501 %txt /tests/golden/types-record-import/types/txt

1767+/* mtre-501 %txt /tests/golden/types-record-import/module-trees/txt

1768+/* src-502 %jibb /tests/golden/types-record-local-scheme/source/jibb

1769+/* tok-502 %txt /tests/golden/types-record-local-scheme/tokens/txt

1770+/* tre-502 %txt /tests/golden/types-record-local-scheme/tree/txt

1771+/* typ-502 %txt /tests/golden/types-record-local-scheme/types/txt

1772+/* src-503 %jibb /tests/golden/types-record-nested/source/jibb

1773+/* tok-503 %txt /tests/golden/types-record-nested/tokens/txt

1774+/* tre-503 %txt /tests/golden/types-record-nested/tree/txt

1775+/* typ-503 %txt /tests/golden/types-record-nested/types/txt

1776+/* src-504 %jibb /tests/golden/types-record-to-tuple/source/jibb

1777+/* tok-504 %txt /tests/golden/types-record-to-tuple/tokens/txt

1778+/* tre-504 %txt /tests/golden/types-record-to-tuple/tree/txt

1779+/* typ-504 %txt /tests/golden/types-record-to-tuple/types/txt

1780+/* src-505 %jibb /tests/golden/types-recursion-scc-failures/source/jibb

1781+/* tok-505 %txt /tests/golden/types-recursion-scc-failures/tokens/txt

1782+/* tre-505 %txt /tests/golden/types-recursion-scc-failures/tree/txt

1783+/* typ-505 %txt /tests/golden/types-recursion-scc-failures/types/txt

1784+/* src-506 %jibb /tests/golden/types-recursion-scc-groups/source/jibb

1785+/* tok-506 %txt /tests/golden/types-recursion-scc-groups/tokens/txt

1786+/* tre-506 %txt /tests/golden/types-recursion-scc-groups/tree/txt

1787+/* typ-506 %txt /tests/golden/types-recursion-scc-groups/types/txt

1788+/* src-507 %jibb /tests/golden/types-recursion-scc-import/source/jibb

1789+/* tok-507 %txt /tests/golden/types-recursion-scc-import/tokens/txt

1790+/* tre-507 %txt /tests/golden/types-recursion-scc-import/tree/txt

1791+/* mod-507-1 %jibb /tests/golden/types-recursion-scc-import/modules/ui/lib/jibb

1792+/* typ-507 %txt /tests/golden/types-recursion-scc-import/types/txt

1793+/* mtre-507 %txt /tests/golden/types-recursion-scc-import/module-trees/txt

1794+/* src-508 %jibb /tests/golden/types-recursion-scc-import-bad/source/jibb

1795+/* tok-508 %txt /tests/golden/types-recursion-scc-import-bad/tokens/txt

1796+/* tre-508 %txt /tests/golden/types-recursion-scc-import-bad/tree/txt

1797+/* mod-508-1 %jibb /tests/golden/types-recursion-scc-import-bad/modules/ui/lib/jibb

1798+/* typ-508 %txt /tests/golden/types-recursion-scc-import-bad/types/txt

1799+/* mtre-508 %txt /tests/golden/types-recursion-scc-import-bad/module-trees/txt

1800+/* src-509 %jibb /tests/golden/types-recursion-scc-local/source/jibb

1801+/* tok-509 %txt /tests/golden/types-recursion-scc-local/tokens/txt

1802+/* tre-509 %txt /tests/golden/types-recursion-scc-local/tree/txt

1803+/* typ-509 %txt /tests/golden/types-recursion-scc-local/types/txt

1804+/* src-510 %jibb /tests/golden/types-recursion-scc-order/source/jibb

1805+/* tok-510 %txt /tests/golden/types-recursion-scc-order/tokens/txt

1806+/* tre-510 %txt /tests/golden/types-recursion-scc-order/tree/txt

1807+/* typ-510 %txt /tests/golden/types-recursion-scc-order/types/txt

1808+/* src-511 %jibb /tests/golden/types-recursion-scc-shadow/source/jibb

1809+/* tok-511 %txt /tests/golden/types-recursion-scc-shadow/tokens/txt

1810+/* tre-511 %txt /tests/golden/types-recursion-scc-shadow/tree/txt

1811+/* typ-511 %txt /tests/golden/types-recursion-scc-shadow/types/txt

1812+/* src-512 %jibb /tests/golden/types-recursive-branch/source/jibb

1813+/* tok-512 %txt /tests/golden/types-recursive-branch/tokens/txt

1814+/* tre-512 %txt /tests/golden/types-recursive-branch/tree/txt

1815+/* typ-512 %txt /tests/golden/types-recursive-branch/types/txt

1816+/* src-513 %jibb /tests/golden/types-recursive-gate/source/jibb

1817+/* tok-513 %txt /tests/golden/types-recursive-gate/tokens/txt

1818+/* tre-513 %txt /tests/golden/types-recursive-gate/tree/txt

1819+/* typ-513 %txt /tests/golden/types-recursive-gate/types/txt

1820+/* src-514 %jibb /tests/golden/types-recursive-sample/source/jibb

1821+/* tok-514 %txt /tests/golden/types-recursive-sample/tokens/txt

1822+/* tre-514 %txt /tests/golden/types-recursive-sample/tree/txt

1823+/* typ-514 %txt /tests/golden/types-recursive-sample/types/txt

1824+/* src-515 %jibb /tests/golden/types-scope-library-poke/source/jibb

1825+/* tok-515 %txt /tests/golden/types-scope-library-poke/tokens/txt

1826+/* tre-515 %txt /tests/golden/types-scope-library-poke/tree/txt

1827+/* typ-515 %txt /tests/golden/types-scope-library-poke/types/txt

1828+/* src-516 %jibb /tests/golden/types-scope-root-api/source/jibb

1829+/* tok-516 %txt /tests/golden/types-scope-root-api/tokens/txt

1830+/* tre-516 %txt /tests/golden/types-scope-root-api/tree/txt

1831+/* typ-516 %txt /tests/golden/types-scope-root-api/types/txt

1832+/* src-517 %jibb /tests/golden/types-scope-store-duplicate/source/jibb

1833+/* tok-517 %txt /tests/golden/types-scope-store-duplicate/tokens/txt

1834+/* tre-517 %txt /tests/golden/types-scope-store-duplicate/tree/txt

1835+/* typ-517 %txt /tests/golden/types-scope-store-duplicate/types/txt

1836+/* src-518 %jibb /tests/golden/types-scope-store-shadow/source/jibb

1837+/* tok-518 %txt /tests/golden/types-scope-store-shadow/tokens/txt

1838+/* tre-518 %txt /tests/golden/types-scope-store-shadow/tree/txt

1839+/* typ-518 %txt /tests/golden/types-scope-store-shadow/types/txt

1840+/* src-519 %jibb /tests/golden/types-string-interpolation/source/jibb

1841+/* tok-519 %txt /tests/golden/types-string-interpolation/tokens/txt

1842+/* tre-519 %txt /tests/golden/types-string-interpolation/tree/txt

1843+/* typ-519 %txt /tests/golden/types-string-interpolation/types/txt

1844+/* src-520 %jibb /tests/golden/types-tuple-context/source/jibb

1845+/* tok-520 %txt /tests/golden/types-tuple-context/tokens/txt

1846+/* tre-520 %txt /tests/golden/types-tuple-context/tree/txt

1847+/* typ-520 %txt /tests/golden/types-tuple-context/types/txt

1848+/* src-521 %jibb /tests/golden/types-tuple-context-nested/source/jibb

1849+/* tok-521 %txt /tests/golden/types-tuple-context-nested/tokens/txt

1850+/* tre-521 %txt /tests/golden/types-tuple-context-nested/tree/txt

1851+/* typ-521 %txt /tests/golden/types-tuple-context-nested/types/txt

1852+/* src-522 %jibb /tests/golden/types-union-alias/source/jibb

1853+/* tok-522 %txt /tests/golden/types-union-alias/tokens/txt

1854+/* tre-522 %txt /tests/golden/types-union-alias/tree/txt

1855+/* typ-522 %txt /tests/golden/types-union-alias/types/txt

1856+/* src-523 %jibb /tests/golden/types-union-branch-context/source/jibb

1857+/* tok-523 %txt /tests/golden/types-union-branch-context/tokens/txt

1858+/* tre-523 %txt /tests/golden/types-union-branch-context/tree/txt

1859+/* typ-523 %txt /tests/golden/types-union-branch-context/types/txt

1860+/* src-524 %jibb /tests/golden/types-union-branch-pending/source/jibb

1861+/* tok-524 %txt /tests/golden/types-union-branch-pending/tokens/txt

1862+/* tre-524 %txt /tests/golden/types-union-branch-pending/tree/txt

1863+/* typ-524 %txt /tests/golden/types-union-branch-pending/types/txt

1864+/* src-525 %jibb /tests/golden/types-union-constructor-shape/source/jibb

1865+/* tok-525 %txt /tests/golden/types-union-constructor-shape/tokens/txt

1866+/* tre-525 %txt /tests/golden/types-union-constructor-shape/tree/txt

1867+/* typ-525 %txt /tests/golden/types-union-constructor-shape/types/txt

1868+/* src-526 %jibb /tests/golden/types-union-context-flow/source/jibb

1869+/* tok-526 %txt /tests/golden/types-union-context-flow/tokens/txt

1870+/* tre-526 %txt /tests/golden/types-union-context-flow/tree/txt

1871+/* typ-526 %txt /tests/golden/types-union-context-flow/types/txt

1872+/* src-527 %jibb /tests/golden/types-union-finite/source/jibb

1873+/* tok-527 %txt /tests/golden/types-union-finite/tokens/txt

1874+/* tre-527 %txt /tests/golden/types-union-finite/tree/txt

1875+/* typ-527 %txt /tests/golden/types-union-finite/types/txt

1876+/* src-528 %jibb /tests/golden/types-union-finite-context/source/jibb

1877+/* tok-528 %txt /tests/golden/types-union-finite-context/tokens/txt

1878+/* tre-528 %txt /tests/golden/types-union-finite-context/tree/txt

1879+/* typ-528 %txt /tests/golden/types-union-finite-context/types/txt

1880+/* src-529 %jibb /tests/golden/types-union-finite-generic/source/jibb

1881+/* tok-529 %txt /tests/golden/types-union-finite-generic/tokens/txt

1882+/* tre-529 %txt /tests/golden/types-union-finite-generic/tree/txt

1883+/* typ-529 %txt /tests/golden/types-union-finite-generic/types/txt

1884+/* src-530 %jibb /tests/golden/types-union-finite-limit/source/jibb

1885+/* tok-530 %txt /tests/golden/types-union-finite-limit/tokens/txt

1886+/* tre-530 %txt /tests/golden/types-union-finite-limit/tree/txt

1887+/* typ-530 %txt /tests/golden/types-union-finite-limit/types/txt

1888+/* src-531 %jibb /tests/golden/types-union-import/source/jibb

1889+/* tok-531 %txt /tests/golden/types-union-import/tokens/txt

1890+/* tre-531 %txt /tests/golden/types-union-import/tree/txt

1891+/* mod-531-1 %jibb /tests/golden/types-union-import/modules/ui/lib/jibb

1892+/* typ-531 %txt /tests/golden/types-union-import/types/txt

1893+/* mtre-531 %txt /tests/golden/types-union-import/module-trees/txt

1894+/* src-532 %jibb /tests/golden/types-union-local-pending/source/jibb

1895+/* tok-532 %txt /tests/golden/types-union-local-pending/tokens/txt

1896+/* tre-532 %txt /tests/golden/types-union-local-pending/tree/txt

1897+/* typ-532 %txt /tests/golden/types-union-local-pending/types/txt

1898+/* src-533 %jibb /tests/golden/types-union-overlap/source/jibb

1899+/* tok-533 %txt /tests/golden/types-union-overlap/tokens/txt

1900+/* tre-533 %txt /tests/golden/types-union-overlap/tree/txt

1901+/* typ-533 %txt /tests/golden/types-union-overlap/types/txt

1902+/* src-534 %jibb /tests/golden/types-union-overlap-nested/source/jibb

1903+/* tok-534 %txt /tests/golden/types-union-overlap-nested/tokens/txt

1904+/* tre-534 %txt /tests/golden/types-union-overlap-nested/tree/txt

1905+/* typ-534 %txt /tests/golden/types-union-overlap-nested/types/txt

1906+/* src-535 %jibb /tests/golden/types-union-pattern-result-context/source/jibb

1907+/* tok-535 %txt /tests/golden/types-union-pattern-result-context/tokens/txt

1908+/* tre-535 %txt /tests/golden/types-union-pattern-result-context/tree/txt

1909+/* typ-535 %txt /tests/golden/types-union-pattern-result-context/types/txt

1910+/* src-536 %jibb /tests/golden/types-union-pattern-result-controls/source/jibb

1911+/* tok-536 %txt /tests/golden/types-union-pattern-result-controls/tokens/txt

1912+/* tre-536 %txt /tests/golden/types-union-pattern-result-controls/tree/txt

1913+/* typ-536 %txt /tests/golden/types-union-pattern-result-controls/types/txt

1914+/* src-537 %jibb /tests/golden/types-union-patterns/source/jibb

1915+/* tok-537 %txt /tests/golden/types-union-patterns/tokens/txt

1916+/* tre-537 %txt /tests/golden/types-union-patterns/tree/txt

1917+/* typ-537 %txt /tests/golden/types-union-patterns/types/txt

1918+/* src-538 %jibb /tests/golden/types-union-patterns-generic/source/jibb

1919+/* tok-538 %txt /tests/golden/types-union-patterns-generic/tokens/txt

1920+/* tre-538 %txt /tests/golden/types-union-patterns-generic/tree/txt

1921+/* typ-538 %txt /tests/golden/types-union-patterns-generic/types/txt

1922+/* src-539 %jibb /tests/golden/types-union-patterns-import/source/jibb

1923+/* tok-539 %txt /tests/golden/types-union-patterns-import/tokens/txt

1924+/* tre-539 %txt /tests/golden/types-union-patterns-import/tree/txt

1925+/* mod-539-1 %jibb /tests/golden/types-union-patterns-import/modules/ui/lib/jibb

1926+/* typ-539 %txt /tests/golden/types-union-patterns-import/types/txt

1927+/* mtre-539 %txt /tests/golden/types-union-patterns-import/module-trees/txt

1928+/* src-540 %jibb /tests/golden/types-union-phantom-generic/source/jibb

1929+/* tok-540 %txt /tests/golden/types-union-phantom-generic/tokens/txt

1930+/* tre-540 %txt /tests/golden/types-union-phantom-generic/tree/txt

1931+/* typ-540 %txt /tests/golden/types-union-phantom-generic/types/txt

1932+/* src-541 %jibb /tests/golden/types-union-print-cross-namespace/source/jibb

1933+/* tok-541 %txt /tests/golden/types-union-print-cross-namespace/tokens/txt

1934+/* tre-541 %txt /tests/golden/types-union-print-cross-namespace/tree/txt

1935+/* mod-541-1 %jibb /tests/golden/types-union-print-cross-namespace/modules/ui/lib/jibb

1936+/* typ-541 %txt /tests/golden/types-union-print-cross-namespace/types/txt

1937+/* mtre-541 %txt /tests/golden/types-union-print-cross-namespace/module-trees/txt

1938+/* src-542 %jibb /tests/golden/types-union-print-distinct/source/jibb

1939+/* tok-542 %txt /tests/golden/types-union-print-distinct/tokens/txt

1940+/* tre-542 %txt /tests/golden/types-union-print-distinct/tree/txt

1941+/* mod-542-1 %jibb /tests/golden/types-union-print-distinct/modules/ui/left/jibb

1942+/* mod-542-2 %jibb /tests/golden/types-union-print-distinct/modules/ui/right/jibb

1943+/* mod-542-3 %jibb /tests/golden/types-union-print-distinct/modules/ui/twin/jibb

1944+/* typ-542 %txt /tests/golden/types-union-print-distinct/types/txt

1945+/* mtre-542 %txt /tests/golden/types-union-print-distinct/module-trees/txt

1946+/* src-543 %jibb /tests/golden/types-union-print-escape/source/jibb

1947+/* tok-543 %txt /tests/golden/types-union-print-escape/tokens/txt

1948+/* tre-543 %txt /tests/golden/types-union-print-escape/tree/txt

1949+/* typ-543 %txt /tests/golden/types-union-print-escape/types/txt

1950+/* src-544 %jibb /tests/golden/types-union-print-local/source/jibb

1951+/* tok-544 %txt /tests/golden/types-union-print-local/tokens/txt

1952+/* tre-544 %txt /tests/golden/types-union-print-local/tree/txt

1953+/* typ-544 %txt /tests/golden/types-union-print-local/types/txt

1954+/* src-545 %jibb /tests/golden/types-union-print-nested/source/jibb

1955+/* tok-545 %txt /tests/golden/types-union-print-nested/tokens/txt

1956+/* tre-545 %txt /tests/golden/types-union-print-nested/tree/txt

1957+/* typ-545 %txt /tests/golden/types-union-print-nested/types/txt

1958+/* src-546 %jibb /tests/golden/types-union-print-same-origin/source/jibb

1959+/* tok-546 %txt /tests/golden/types-union-print-same-origin/tokens/txt

1960+/* tre-546 %txt /tests/golden/types-union-print-same-origin/tree/txt

1961+/* mod-546-1 %jibb /tests/golden/types-union-print-same-origin/modules/ui/shared/jibb

1962+/* typ-546 %txt /tests/golden/types-union-print-same-origin/types/txt

1963+/* mtre-546 %txt /tests/golden/types-union-print-same-origin/module-trees/txt

1964+/* src-547 %jibb /tests/golden/types-union-print-transitive/source/jibb

1965+/* tok-547 %txt /tests/golden/types-union-print-transitive/tokens/txt

1966+/* tre-547 %txt /tests/golden/types-union-print-transitive/tree/txt

1967+/* mod-547-1 %jibb /tests/golden/types-union-print-transitive/modules/ui/mid/jibb

1968+/* mod-547-2 %jibb /tests/golden/types-union-print-transitive/modules/ui/base/jibb

1969+/* typ-547 %txt /tests/golden/types-union-print-transitive/types/txt

1970+/* mtre-547 %txt /tests/golden/types-union-print-transitive/module-trees/txt

1971+/* src-548 %jibb /tests/golden/types-union-singleton/source/jibb

1972+/* tok-548 %txt /tests/golden/types-union-singleton/tokens/txt

1973+/* tre-548 %txt /tests/golden/types-union-singleton/tree/txt

1974+/* typ-548 %txt /tests/golden/types-union-singleton/types/txt

1975+/* src-549 %jibb /tests/golden/types-union-tag-atoms/source/jibb

1976+/* tok-549 %txt /tests/golden/types-union-tag-atoms/tokens/txt

1977+/* tre-549 %txt /tests/golden/types-union-tag-atoms/tree/txt

1978+/* typ-549 %txt /tests/golden/types-union-tag-atoms/types/txt

1979+/* src-550 %jibb /tests/golden/types-union-tags/source/jibb

1980+/* tok-550 %txt /tests/golden/types-union-tags/tokens/txt

1981+/* tre-550 %txt /tests/golden/types-union-tags/tree/txt

1982+/* typ-550 %txt /tests/golden/types-union-tags/types/txt

1983+/* src-551 %jibb /tests/golden/types-union-unresolved/source/jibb

1984+/* tok-551 %txt /tests/golden/types-union-unresolved/tokens/txt

1985+/* tre-551 %txt /tests/golden/types-union-unresolved/tree/txt

1986+/* typ-551 %txt /tests/golden/types-union-unresolved/types/txt

1987+/* src-552 %jibb /tests/golden/types-union-unresolved-flow/source/jibb

1988+/* tok-552 %txt /tests/golden/types-union-unresolved-flow/tokens/txt

1989+/* tre-552 %txt /tests/golden/types-union-unresolved-flow/tree/txt

1990+/* typ-552 %txt /tests/golden/types-union-unresolved-flow/types/txt

1991+/* src-553 %jibb /tests/golden/types-unit-construction/source/jibb

1992+/* tok-553 %txt /tests/golden/types-unit-construction/tokens/txt

1993+/* tre-553 %txt /tests/golden/types-unit-construction/tree/txt

1994+/* typ-553 %txt /tests/golden/types-unit-construction/types/txt

1995+/* src-554 %jibb /tests/golden/types-unit-context/source/jibb

1996+/* tok-554 %txt /tests/golden/types-unit-context/tokens/txt

1997+/* tre-554 %txt /tests/golden/types-unit-context/tree/txt

1998+/* typ-554 %txt /tests/golden/types-unit-context/types/txt

1999+/* src-555 %jibb /tests/golden/types-unit-patterns/source/jibb

2000+/* tok-555 %txt /tests/golden/types-unit-patterns/tokens/txt

2001+/* tre-555 %txt /tests/golden/types-unit-patterns/tree/txt

2002+/* typ-555 %txt /tests/golden/types-unit-patterns/types/txt

19952003=/ prepared-prelude (prepare-prelude-with-internal:jibb prelude-source internal-source)

19962004|%

19972005:: one arm per case

@@ -2856,254 +2864,256 @@

28562864 (weld (check ~.types-import-duplicate-mark src-429 `tok-429 `tre-429) (check-mark-types ~.types-import-duplicate-mark ~[%tests %golden ~.types-import-duplicate-mark %source %jibb] src-429 `typ-429 ~ ~[[%duplicate mark-429-1]]))

28572865++ test-types-import-duplicate-sur

28582866 (weld (check ~.types-import-duplicate-sur src-430 `tok-430 `tre-430) (check-import-types ~.types-import-duplicate-sur ~[%tests %golden ~.types-import-duplicate-sur %source %jibb] src-430 `typ-430 ~[[%fixture %direct imp-430-1] [%fixture %nested imp-430-2] [%fixture %valid imp-430-3]]))

2867+++ test-types-import-hoon-flags

2868+ (weld (check ~.types-import-hoon-flags src-431 `tok-431 `tre-431) (check-import-types ~.types-import-hoon-flags ~[%tests %golden ~.types-import-hoon-flags %source %jibb] src-431 `typ-431 ~[[%flags %flag imp-431-1] [%flags %yes imp-431-2] [%flags %no imp-431-3] [%flags %record imp-431-4]]))

28592869++ test-types-import-mark

2860− (weld (check ~.types-import-mark src-431 `tok-431 `tre-431) (check-mark-types ~.types-import-mark ~[%tests %golden ~.types-import-mark %source %jibb] src-431 `typ-431 ~[[%fixture %title imp-431-1]] ~[[%label mark-431-1]]))

2870+ (weld (check ~.types-import-mark src-432 `tok-432 `tre-432) (check-mark-types ~.types-import-mark ~[%tests %golden ~.types-import-mark %source %jibb] src-432 `typ-432 ~[[%fixture %title imp-432-1]] ~[[%label mark-432-1]]))

28612871++ test-types-import-mark-record

2862− (weld (check ~.types-import-mark-record src-432 `tok-432 `tre-432) (check-mark-types ~.types-import-mark-record ~[%tests %golden ~.types-import-mark-record %source %jibb] src-432 `typ-432 ~ ~[[%note mark-432-1] [%choice mark-432-2]]))

2872+ (weld (check ~.types-import-mark-record src-433 `tok-433 `tre-433) (check-mark-types ~.types-import-mark-record ~[%tests %golden ~.types-import-mark-record %source %jibb] src-433 `typ-433 ~ ~[[%note mark-433-1] [%choice mark-433-2]]))

28632873++ test-types-import-missing-mold

2864− (weld (check ~.types-import-missing-mold src-433 `tok-433 `tre-433) (check-import-types ~.types-import-missing-mold ~[%tests %golden ~.types-import-missing-mold %source %jibb] src-433 `typ-433 ~[[%fixture %missing imp-433-1]]))

2874+ (weld (check ~.types-import-missing-mold src-434 `tok-434 `tre-434) (check-import-types ~.types-import-missing-mold ~[%tests %golden ~.types-import-missing-mold %source %jibb] src-434 `typ-434 ~[[%fixture %missing imp-434-1]]))

28652875++ test-types-import-sur

2866− (weld (check ~.types-import-sur src-434 `tok-434 `tre-434) (check-import-types ~.types-import-sur ~[%tests %golden ~.types-import-sur %source %jibb] src-434 `typ-434 ~[[%fixture %title imp-434-1] [%fixture %pair imp-434-2]]))

2876+ (weld (check ~.types-import-sur src-435 `tok-435 `tre-435) (check-import-types ~.types-import-sur ~[%tests %golden ~.types-import-sur %source %jibb] src-435 `typ-435 ~[[%fixture %title imp-435-1] [%fixture %pair imp-435-2]]))

28672877++ test-types-import-sur-record-graph

2868− (weld (weld (check ~.types-import-sur-record-graph src-435 `tok-435 `tre-435) (check-module-types ~.types-import-sur-record-graph ~[%tests %golden ~.types-import-sur-record-graph %source %jibb] src-435 `typ-435 ~[[%fixture %entry imp-435-1]] ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-435-1]])) (check-module-trees ~.types-import-sur-record-graph `mtre-435 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-435-1]]))

2878+ (weld (weld (check ~.types-import-sur-record-graph src-436 `tok-436 `tre-436) (check-module-types ~.types-import-sur-record-graph ~[%tests %golden ~.types-import-sur-record-graph %source %jibb] src-436 `typ-436 ~[[%fixture %entry imp-436-1]] ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-436-1]])) (check-module-trees ~.types-import-sur-record-graph `mtre-436 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-436-1]]))

28692879++ test-types-list-branch

2870− (weld (check ~.types-list-branch src-436 `tok-436 `tre-436) (check-module-types ~.types-list-branch ~[%tests %golden ~.types-list-branch %source %jibb] src-436 `typ-436 ~ ~ ~))

2880+ (weld (check ~.types-list-branch src-437 `tok-437 `tre-437) (check-module-types ~.types-list-branch ~[%tests %golden ~.types-list-branch %source %jibb] src-437 `typ-437 ~ ~ ~))

28712881++ test-types-list-cons

2872− (weld (check ~.types-list-cons src-437 `tok-437 `tre-437) (check-module-types ~.types-list-cons ~[%tests %golden ~.types-list-cons %source %jibb] src-437 `typ-437 ~ ~ ~))

2882+ (weld (check ~.types-list-cons src-438 `tok-438 `tre-438) (check-module-types ~.types-list-cons ~[%tests %golden ~.types-list-cons %source %jibb] src-438 `typ-438 ~ ~ ~))

28732883++ test-types-list-context

2874− (weld (check ~.types-list-context src-438 `tok-438 `tre-438) (check-module-types ~.types-list-context ~[%tests %golden ~.types-list-context %source %jibb] src-438 `typ-438 ~ ~ ~))

2884+ (weld (check ~.types-list-context src-439 `tok-439 `tre-439) (check-module-types ~.types-list-context ~[%tests %golden ~.types-list-context %source %jibb] src-439 `typ-439 ~ ~ ~))

28752885++ test-types-list-imported

2876− (weld (check ~.types-list-imported src-439 `tok-439 `tre-439) (check-module-types ~.types-list-imported ~[%tests %golden ~.types-list-imported %source %jibb] src-439 `typ-439 ~[[%fixture %texts imp-439-1] [%fixture %ships imp-439-2]] ~ ~))

2886+ (weld (check ~.types-list-imported src-440 `tok-440 `tre-440) (check-module-types ~.types-list-imported ~[%tests %golden ~.types-list-imported %source %jibb] src-440 `typ-440 ~[[%fixture %texts imp-440-1] [%fixture %ships imp-440-2]] ~ ~))

28772887++ test-types-list-open

2878− (weld (check ~.types-list-open src-440 `tok-440 `tre-440) (check-module-types ~.types-list-open ~[%tests %golden ~.types-list-open %source %jibb] src-440 `typ-440 ~ ~ ~))

2888+ (weld (check ~.types-list-open src-441 `tok-441 `tre-441) (check-module-types ~.types-list-open ~[%tests %golden ~.types-list-open %source %jibb] src-441 `typ-441 ~ ~ ~))

28792889++ test-types-list-open-constraints

2880− (weld (check ~.types-list-open-constraints src-441 `tok-441 `tre-441) (check-module-types ~.types-list-open-constraints ~[%tests %golden ~.types-list-open-constraints %source %jibb] src-441 `typ-441 ~ ~ ~))

2890+ (weld (check ~.types-list-open-constraints src-442 `tok-442 `tre-442) (check-module-types ~.types-list-open-constraints ~[%tests %golden ~.types-list-open-constraints %source %jibb] src-442 `typ-442 ~ ~ ~))

28812891++ test-types-list-pattern-imported

2882− (weld (check ~.types-list-pattern-imported src-442 `tok-442 `tre-442) (check-module-types ~.types-list-pattern-imported ~[%tests %golden ~.types-list-pattern-imported %source %jibb] src-442 `typ-442 ~[[%fixture %texts imp-442-1] [%fixture %text-set imp-442-2]] ~ ~))

2892+ (weld (check ~.types-list-pattern-imported src-443 `tok-443 `tre-443) (check-module-types ~.types-list-pattern-imported ~[%tests %golden ~.types-list-pattern-imported %source %jibb] src-443 `typ-443 ~[[%fixture %texts imp-443-1] [%fixture %text-set imp-443-2]] ~ ~))

28832893++ test-types-list-patterns

2884− (weld (check ~.types-list-patterns src-443 `tok-443 `tre-443) (check-module-types ~.types-list-patterns ~[%tests %golden ~.types-list-patterns %source %jibb] src-443 `typ-443 ~ ~ ~))

2894+ (weld (check ~.types-list-patterns src-444 `tok-444 `tre-444) (check-module-types ~.types-list-patterns ~[%tests %golden ~.types-list-patterns %source %jibb] src-444 `typ-444 ~ ~ ~))

28852895++ test-types-list-zero-fit

2886− (weld (check ~.types-list-zero-fit src-444 `tok-444 `tre-444) (check-module-types ~.types-list-zero-fit ~[%tests %golden ~.types-list-zero-fit %source %jibb] src-444 `typ-444 ~ ~ ~))

2896+ (weld (check ~.types-list-zero-fit src-445 `tok-445 `tre-445) (check-module-types ~.types-list-zero-fit ~[%tests %golden ~.types-list-zero-fit %source %jibb] src-445 `typ-445 ~ ~ ~))

28872897++ test-types-local-capitals

2888− (weld (check ~.types-local-capitals src-445 `tok-445 `tre-445) (check-module-types ~.types-local-capitals ~[%tests %golden ~.types-local-capitals %source %jibb] src-445 `typ-445 ~ ~ ~))

2898+ (weld (check ~.types-local-capitals src-446 `tok-446 `tre-446) (check-module-types ~.types-local-capitals ~[%tests %golden ~.types-local-capitals %source %jibb] src-446 `typ-446 ~ ~ ~))

28892899++ test-types-local-recursive

2890− (weld (check ~.types-local-recursive src-446 `tok-446 `tre-446) (check-module-types ~.types-local-recursive ~[%tests %golden ~.types-local-recursive %source %jibb] src-446 `typ-446 ~ ~ ~))

2900+ (weld (check ~.types-local-recursive src-447 `tok-447 `tre-447) (check-module-types ~.types-local-recursive ~[%tests %golden ~.types-local-recursive %source %jibb] src-447 `typ-447 ~ ~ ~))

28912901++ test-types-local-scc

2892− (weld (check ~.types-local-scc src-447 `tok-447 `tre-447) (check-module-types ~.types-local-scc ~[%tests %golden ~.types-local-scc %source %jibb] src-447 `typ-447 ~ ~ ~))

2902+ (weld (check ~.types-local-scc src-448 `tok-448 `tre-448) (check-module-types ~.types-local-scc ~[%tests %golden ~.types-local-scc %source %jibb] src-448 `typ-448 ~ ~ ~))

28932903++ test-types-local-scc-adversarial

2894− (weld (check ~.types-local-scc-adversarial src-448 `tok-448 `tre-448) (check-module-types ~.types-local-scc-adversarial ~[%tests %golden ~.types-local-scc-adversarial %source %jibb] src-448 `typ-448 ~ ~ ~))

2904+ (weld (check ~.types-local-scc-adversarial src-449 `tok-449 `tre-449) (check-module-types ~.types-local-scc-adversarial ~[%tests %golden ~.types-local-scc-adversarial %source %jibb] src-449 `typ-449 ~ ~ ~))

28952905++ test-types-missing-tag-context

2896− (weld (check ~.types-missing-tag-context src-449 `tok-449 `tre-449) (check-module-types ~.types-missing-tag-context ~[%tests %golden ~.types-missing-tag-context %source %jibb] src-449 `typ-449 ~ ~ ~))

2906+ (weld (check ~.types-missing-tag-context src-450 `tok-450 `tre-450) (check-module-types ~.types-missing-tag-context ~[%tests %golden ~.types-missing-tag-context %source %jibb] src-450 `typ-450 ~ ~ ~))

28972907++ test-types-missing-tag-imported

2898− (weld (check ~.types-missing-tag-imported src-450 `tok-450 `tre-450) (check-import-types ~.types-missing-tag-imported ~[%tests %golden ~.types-missing-tag-imported %source %jibb] src-450 `typ-450 ~[[%fixture %choice imp-450-1] [%fixture %nested-choice imp-450-2]]))

2908+ (weld (check ~.types-missing-tag-imported src-451 `tok-451 `tre-451) (check-import-types ~.types-missing-tag-imported ~[%tests %golden ~.types-missing-tag-imported %source %jibb] src-451 `typ-451 ~[[%fixture %choice imp-451-1] [%fixture %nested-choice imp-451-2]]))

28992909++ test-types-missing-tag-named

2900− (weld (check ~.types-missing-tag-named src-451 `tok-451 `tre-451) (check-module-types ~.types-missing-tag-named ~[%tests %golden ~.types-missing-tag-named %source %jibb] src-451 `typ-451 ~ ~ ~))

2910+ (weld (check ~.types-missing-tag-named src-452 `tok-452 `tre-452) (check-module-types ~.types-missing-tag-named ~[%tests %golden ~.types-missing-tag-named %source %jibb] src-452 `typ-452 ~ ~ ~))

29012911++ test-types-module-fixtures

2902− (weld (weld (check-at ~.types-module-fixtures ~[~.ui ~.blog ~.index ~.jibb] src-452 `tok-452 `tre-452) (check-module-types ~.types-module-fixtures ~[~.ui ~.blog ~.index ~.jibb] src-452 `typ-452 ~ ~ ~[['/ui/api/blog.jibb' ~[~.ui ~.api ~.blog ~.jibb] mod-452-1] ['/ui/components/card.jibb' ~[~.ui ~.components ~.card ~.jibb] mod-452-2]])) (check-module-trees ~.types-module-fixtures `mtre-452 ~[['/ui/api/blog.jibb' ~[~.ui ~.api ~.blog ~.jibb] mod-452-1] ['/ui/components/card.jibb' ~[~.ui ~.components ~.card ~.jibb] mod-452-2]]))

2912+ (weld (weld (check-at ~.types-module-fixtures ~[~.ui ~.blog ~.index ~.jibb] src-453 `tok-453 `tre-453) (check-module-types ~.types-module-fixtures ~[~.ui ~.blog ~.index ~.jibb] src-453 `typ-453 ~ ~ ~[['/ui/api/blog.jibb' ~[~.ui ~.api ~.blog ~.jibb] mod-453-1] ['/ui/components/card.jibb' ~[~.ui ~.components ~.card ~.jibb] mod-453-2]])) (check-module-trees ~.types-module-fixtures `mtre-453 ~[['/ui/api/blog.jibb' ~[~.ui ~.api ~.blog ~.jibb] mod-453-1] ['/ui/components/card.jibb' ~[~.ui ~.components ~.card ~.jibb] mod-453-2]]))

29032913++ test-types-module-mixed

2904− (weld (weld (check ~.types-module-mixed src-453 `tok-453 `tre-453) (check-module-types ~.types-module-mixed ~[%tests %golden ~.types-module-mixed %source %jibb] src-453 `typ-453 ~[[%fixture %title imp-453-1]] ~[[%label mark-453-1]] ~[['/ui/helper.jibb' ~[~.ui ~.helper ~.jibb] mod-453-1]])) (check-module-trees ~.types-module-mixed `mtre-453 ~[['/ui/helper.jibb' ~[~.ui ~.helper ~.jibb] mod-453-1]]))

2914+ (weld (weld (check ~.types-module-mixed src-454 `tok-454 `tre-454) (check-module-types ~.types-module-mixed ~[%tests %golden ~.types-module-mixed %source %jibb] src-454 `typ-454 ~[[%fixture %title imp-454-1]] ~[[%label mark-454-1]] ~[['/ui/helper.jibb' ~[~.ui ~.helper ~.jibb] mod-454-1]])) (check-module-trees ~.types-module-mixed `mtre-454 ~[['/ui/helper.jibb' ~[~.ui ~.helper ~.jibb] mod-454-1]]))

29052915++ test-types-multi-call

2906− (weld (check ~.types-multi-call src-454 `tok-454 `tre-454) (check-module-types ~.types-multi-call ~[%tests %golden ~.types-multi-call %source %jibb] src-454 `typ-454 ~ ~ ~))

2916+ (weld (check ~.types-multi-call src-455 `tok-455 `tre-455) (check-module-types ~.types-multi-call ~[%tests %golden ~.types-multi-call %source %jibb] src-455 `typ-455 ~ ~ ~))

29072917++ test-types-multi-import

2908− (weld (weld (check ~.types-multi-import src-455 `tok-455 `tre-455) (check-module-types ~.types-multi-import ~[%tests %golden ~.types-multi-import %source %jibb] src-455 `typ-455 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-455-1]])) (check-module-trees ~.types-multi-import `mtre-455 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-455-1]]))

2918+ (weld (weld (check ~.types-multi-import src-456 `tok-456 `tre-456) (check-module-types ~.types-multi-import ~[%tests %golden ~.types-multi-import %source %jibb] src-456 `typ-456 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-456-1]])) (check-module-trees ~.types-multi-import `mtre-456 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-456-1]]))

29092919++ test-types-nested-missing-tag

2910− (weld (check ~.types-nested-missing-tag src-456 `tok-456 `tre-456) (check-module-types ~.types-nested-missing-tag ~[%tests %golden ~.types-nested-missing-tag %source %jibb] src-456 `typ-456 ~ ~ ~))

2920+ (weld (check ~.types-nested-missing-tag src-457 `tok-457 `tre-457) (check-module-types ~.types-nested-missing-tag ~[%tests %golden ~.types-nested-missing-tag %source %jibb] src-457 `typ-457 ~ ~ ~))

29112921++ test-types-null-context

2912− (weld (check ~.types-null-context src-457 `tok-457 `tre-457) (check-types ~.types-null-context ~[%tests %golden ~.types-null-context %source %jibb] src-457 `typ-457))

2922+ (weld (check ~.types-null-context src-458 `tok-458 `tre-458) (check-types ~.types-null-context ~[%tests %golden ~.types-null-context %source %jibb] src-458 `typ-458))

29132923++ test-types-null-overlap

2914− (weld (check ~.types-null-overlap src-458 `tok-458 `tre-458) (check-types ~.types-null-overlap ~[%tests %golden ~.types-null-overlap %source %jibb] src-458 `typ-458))

2924+ (weld (check ~.types-null-overlap src-459 `tok-459 `tre-459) (check-types ~.types-null-overlap ~[%tests %golden ~.types-null-overlap %source %jibb] src-459 `typ-459))

29152925++ test-types-null-unresolved

2916− (weld (check ~.types-null-unresolved src-459 `tok-459 `tre-459) (check-types ~.types-null-unresolved ~[%tests %golden ~.types-null-unresolved %source %jibb] src-459 `typ-459))

2926+ (weld (check ~.types-null-unresolved src-460 `tok-460 `tre-460) (check-types ~.types-null-unresolved ~[%tests %golden ~.types-null-unresolved %source %jibb] src-460 `typ-460))

29172927++ test-types-partial-apply

2918− (weld (check ~.types-partial-apply src-460 `tok-460 `tre-460) (check-types ~.types-partial-apply ~[%tests %golden ~.types-partial-apply %source %jibb] src-460 `typ-460))

2928+ (weld (check ~.types-partial-apply src-461 `tok-461 `tre-461) (check-types ~.types-partial-apply ~[%tests %golden ~.types-partial-apply %source %jibb] src-461 `typ-461))

29192929++ test-types-partial-atom-alias

2920− (weld (check ~.types-partial-atom-alias src-461 `tok-461 `tre-461) (check-types ~.types-partial-atom-alias ~[%tests %golden ~.types-partial-atom-alias %source %jibb] src-461 `typ-461))

2930+ (weld (check ~.types-partial-atom-alias src-462 `tok-462 `tre-462) (check-types ~.types-partial-atom-alias ~[%tests %golden ~.types-partial-atom-alias %source %jibb] src-462 `typ-462))

29212931++ test-types-partial-atom-constraint

2922− (weld (check ~.types-partial-atom-constraint src-462 `tok-462 `tre-462) (check-types ~.types-partial-atom-constraint ~[%tests %golden ~.types-partial-atom-constraint %source %jibb] src-462 `typ-462))

2932+ (weld (check ~.types-partial-atom-constraint src-463 `tok-463 `tre-463) (check-types ~.types-partial-atom-constraint ~[%tests %golden ~.types-partial-atom-constraint %source %jibb] src-463 `typ-463))

29232933++ test-types-partial-atom-widening

2924− (weld (check ~.types-partial-atom-widening src-463 `tok-463 `tre-463) (check-types ~.types-partial-atom-widening ~[%tests %golden ~.types-partial-atom-widening %source %jibb] src-463 `typ-463))

2934+ (weld (check ~.types-partial-atom-widening src-464 `tok-464 `tre-464) (check-types ~.types-partial-atom-widening ~[%tests %golden ~.types-partial-atom-widening %source %jibb] src-464 `typ-464))

29252935++ test-types-partial-aura

2926− (weld (check ~.types-partial-aura src-464 `tok-464 `tre-464) (check-types ~.types-partial-aura ~[%tests %golden ~.types-partial-aura %source %jibb] src-464 `typ-464))

2936+ (weld (check ~.types-partial-aura src-465 `tok-465 `tre-465) (check-types ~.types-partial-aura ~[%tests %golden ~.types-partial-aura %source %jibb] src-465 `typ-465))

29272937++ test-types-partial-aura-family

2928− (weld (check ~.types-partial-aura-family src-465 `tok-465 `tre-465) (check-types ~.types-partial-aura-family ~[%tests %golden ~.types-partial-aura-family %source %jibb] src-465 `typ-465))

2938+ (weld (check ~.types-partial-aura-family src-466 `tok-466 `tre-466) (check-types ~.types-partial-aura-family ~[%tests %golden ~.types-partial-aura-family %source %jibb] src-466 `typ-466))

29292939++ test-types-partial-aura-generalization

2930− (weld (check ~.types-partial-aura-generalization src-466 `tok-466 `tre-466) (check-types ~.types-partial-aura-generalization ~[%tests %golden ~.types-partial-aura-generalization %source %jibb] src-466 `typ-466))

2940+ (weld (check ~.types-partial-aura-generalization src-467 `tok-467 `tre-467) (check-types ~.types-partial-aura-generalization ~[%tests %golden ~.types-partial-aura-generalization %source %jibb] src-467 `typ-467))

29312941++ test-types-partial-bare-atom

2932− (weld (check ~.types-partial-bare-atom src-467 `tok-467 `tre-467) (check-types ~.types-partial-bare-atom ~[%tests %golden ~.types-partial-bare-atom %source %jibb] src-467 `typ-467))

2942+ (weld (check ~.types-partial-bare-atom src-468 `tok-468 `tre-468) (check-types ~.types-partial-bare-atom ~[%tests %golden ~.types-partial-bare-atom %source %jibb] src-468 `typ-468))

29332943++ test-types-partial-branch-widening

2934− (weld (check ~.types-partial-branch-widening src-468 `tok-468 `tre-468) (check-types ~.types-partial-branch-widening ~[%tests %golden ~.types-partial-branch-widening %source %jibb] src-468 `typ-468))

2944+ (weld (check ~.types-partial-branch-widening src-469 `tok-469 `tre-469) (check-types ~.types-partial-branch-widening ~[%tests %golden ~.types-partial-branch-widening %source %jibb] src-469 `typ-469))

29352945++ test-types-partial-conflicting-sites

2936− (weld (check ~.types-partial-conflicting-sites src-469 `tok-469 `tre-469) (check-types ~.types-partial-conflicting-sites ~[%tests %golden ~.types-partial-conflicting-sites %source %jibb] src-469 `typ-469))

2946+ (weld (check ~.types-partial-conflicting-sites src-470 `tok-470 `tre-470) (check-types ~.types-partial-conflicting-sites ~[%tests %golden ~.types-partial-conflicting-sites %source %jibb] src-470 `typ-470))

29372947++ test-types-partial-decimal-default

2938− (weld (check ~.types-partial-decimal-default src-470 `tok-470 `tre-470) (check-types ~.types-partial-decimal-default ~[%tests %golden ~.types-partial-decimal-default %source %jibb] src-470 `typ-470))

2948+ (weld (check ~.types-partial-decimal-default src-471 `tok-471 `tre-471) (check-types ~.types-partial-decimal-default ~[%tests %golden ~.types-partial-decimal-default %source %jibb] src-471 `typ-471))

29392949++ test-types-partial-dependency-chain

2940− (weld (check ~.types-partial-dependency-chain src-471 `tok-471 `tre-471) (check-types ~.types-partial-dependency-chain ~[%tests %golden ~.types-partial-dependency-chain %source %jibb] src-471 `typ-471))

2950+ (weld (check ~.types-partial-dependency-chain src-472 `tok-472 `tre-472) (check-types ~.types-partial-dependency-chain ~[%tests %golden ~.types-partial-dependency-chain %source %jibb] src-472 `typ-472))

29412951++ test-types-partial-explicit-capital

2942− (weld (check ~.types-partial-explicit-capital src-472 `tok-472 `tre-472) (check-types ~.types-partial-explicit-capital ~[%tests %golden ~.types-partial-explicit-capital %source %jibb] src-472 `typ-472))

2952+ (weld (check ~.types-partial-explicit-capital src-473 `tok-473 `tre-473) (check-types ~.types-partial-explicit-capital ~[%tests %golden ~.types-partial-explicit-capital %source %jibb] src-473 `typ-473))

29432953++ test-types-partial-forward

2944− (weld (check ~.types-partial-forward src-473 `tok-473 `tre-473) (check-types ~.types-partial-forward ~[%tests %golden ~.types-partial-forward %source %jibb] src-473 `typ-473))

2954+ (weld (check ~.types-partial-forward src-474 `tok-474 `tre-474) (check-types ~.types-partial-forward ~[%tests %golden ~.types-partial-forward %source %jibb] src-474 `typ-474))

29452955++ test-types-partial-generalization

2946− (weld (check ~.types-partial-generalization src-474 `tok-474 `tre-474) (check-types ~.types-partial-generalization ~[%tests %golden ~.types-partial-generalization %source %jibb] src-474 `typ-474))

2956+ (weld (check ~.types-partial-generalization src-475 `tok-475 `tre-475) (check-types ~.types-partial-generalization ~[%tests %golden ~.types-partial-generalization %source %jibb] src-475 `typ-475))

29472957++ test-types-partial-identity

2948− (weld (check ~.types-partial-identity src-475 `tok-475 `tre-475) (check-types ~.types-partial-identity ~[%tests %golden ~.types-partial-identity %source %jibb] src-475 `typ-475))

2958+ (weld (check ~.types-partial-identity src-476 `tok-476 `tre-476) (check-types ~.types-partial-identity ~[%tests %golden ~.types-partial-identity %source %jibb] src-476 `typ-476))

29492959++ test-types-partial-independent-atoms

2950− (weld (check ~.types-partial-independent-atoms src-476 `tok-476 `tre-476) (check-types ~.types-partial-independent-atoms ~[%tests %golden ~.types-partial-independent-atoms %source %jibb] src-476 `typ-476))

2960+ (weld (check ~.types-partial-independent-atoms src-477 `tok-477 `tre-477) (check-types ~.types-partial-independent-atoms ~[%tests %golden ~.types-partial-independent-atoms %source %jibb] src-477 `typ-477))

29512961++ test-types-partial-local-molds

2952− (weld (check ~.types-partial-local-molds src-477 `tok-477 `tre-477) (check-types ~.types-partial-local-molds ~[%tests %golden ~.types-partial-local-molds %source %jibb] src-477 `typ-477))

2962+ (weld (check ~.types-partial-local-molds src-478 `tok-478 `tre-478) (check-types ~.types-partial-local-molds ~[%tests %golden ~.types-partial-local-molds %source %jibb] src-478 `typ-478))

29532963++ test-types-partial-locals

2954− (weld (check ~.types-partial-locals src-478 `tok-478 `tre-478) (check-types ~.types-partial-locals ~[%tests %golden ~.types-partial-locals %source %jibb] src-478 `typ-478))

2964+ (weld (check ~.types-partial-locals src-479 `tok-479 `tre-479) (check-types ~.types-partial-locals ~[%tests %golden ~.types-partial-locals %source %jibb] src-479 `typ-479))

29552965++ test-types-partial-many-atom-constraints

2956− (weld (check ~.types-partial-many-atom-constraints src-479 `tok-479 `tre-479) (check-types ~.types-partial-many-atom-constraints ~[%tests %golden ~.types-partial-many-atom-constraints %source %jibb] src-479 `typ-479))

2966+ (weld (check ~.types-partial-many-atom-constraints src-480 `tok-480 `tre-480) (check-types ~.types-partial-many-atom-constraints ~[%tests %golden ~.types-partial-many-atom-constraints %source %jibb] src-480 `typ-480))

29572967++ test-types-partial-mold-bare-aura

2958− (weld (check ~.types-partial-mold-bare-aura src-480 `tok-480 `tre-480) (check-types ~.types-partial-mold-bare-aura ~[%tests %golden ~.types-partial-mold-bare-aura %source %jibb] src-480 `typ-480))

2968+ (weld (check ~.types-partial-mold-bare-aura src-481 `tok-481 `tre-481) (check-types ~.types-partial-mold-bare-aura ~[%tests %golden ~.types-partial-mold-bare-aura %source %jibb] src-481 `typ-481))

29592969++ test-types-partial-mold-composite

2960− (weld (check ~.types-partial-mold-composite src-481 `tok-481 `tre-481) (check-types ~.types-partial-mold-composite ~[%tests %golden ~.types-partial-mold-composite %source %jibb] src-481 `typ-481))

2970+ (weld (check ~.types-partial-mold-composite src-482 `tok-482 `tre-482) (check-types ~.types-partial-mold-composite ~[%tests %golden ~.types-partial-mold-composite %source %jibb] src-482 `typ-482))

29612971++ test-types-partial-mold-forward

2962− (weld (check ~.types-partial-mold-forward src-482 `tok-482 `tre-482) (check-types ~.types-partial-mold-forward ~[%tests %golden ~.types-partial-mold-forward %source %jibb] src-482 `typ-482))

2972+ (weld (check ~.types-partial-mold-forward src-483 `tok-483 `tre-483) (check-types ~.types-partial-mold-forward ~[%tests %golden ~.types-partial-mold-forward %source %jibb] src-483 `typ-483))

29632973++ test-types-partial-mold-recursive

2964− (weld (check ~.types-partial-mold-recursive src-483 `tok-483 `tre-483) (check-types ~.types-partial-mold-recursive ~[%tests %golden ~.types-partial-mold-recursive %source %jibb] src-483 `typ-483))

2974+ (weld (check ~.types-partial-mold-recursive src-484 `tok-484 `tre-484) (check-types ~.types-partial-mold-recursive ~[%tests %golden ~.types-partial-mold-recursive %source %jibb] src-484 `typ-484))

29652975++ test-types-partial-occurs

2966− (weld (check ~.types-partial-occurs src-484 `tok-484 `tre-484) (check-types ~.types-partial-occurs ~[%tests %golden ~.types-partial-occurs %source %jibb] src-484 `typ-484))

2976+ (weld (check ~.types-partial-occurs src-485 `tok-485 `tre-485) (check-types ~.types-partial-occurs ~[%tests %golden ~.types-partial-occurs %source %jibb] src-485 `typ-485))

29672977++ test-types-partial-projection

2968− (weld (check ~.types-partial-projection src-485 `tok-485 `tre-485) (check-types ~.types-partial-projection ~[%tests %golden ~.types-partial-projection %source %jibb] src-485 `typ-485))

2978+ (weld (check ~.types-partial-projection src-486 `tok-486 `tre-486) (check-types ~.types-partial-projection ~[%tests %golden ~.types-partial-projection %source %jibb] src-486 `typ-486))

29692979++ test-types-partial-shadow-global

2970− (weld (check ~.types-partial-shadow-global src-486 `tok-486 `tre-486) (check-types ~.types-partial-shadow-global ~[%tests %golden ~.types-partial-shadow-global %source %jibb] src-486 `typ-486))

2980+ (weld (check ~.types-partial-shadow-global src-487 `tok-487 `tre-487) (check-types ~.types-partial-shadow-global ~[%tests %golden ~.types-partial-shadow-global %source %jibb] src-487 `typ-487))

29712981++ test-types-partial-shared-tvar

2972− (weld (check ~.types-partial-shared-tvar src-487 `tok-487 `tre-487) (check-types ~.types-partial-shared-tvar ~[%tests %golden ~.types-partial-shared-tvar %source %jibb] src-487 `typ-487))

2982+ (weld (check ~.types-partial-shared-tvar src-488 `tok-488 `tre-488) (check-types ~.types-partial-shared-tvar ~[%tests %golden ~.types-partial-shared-tvar %source %jibb] src-488 `typ-488))

29732983++ test-types-partial-union-cases

2974− (weld (check ~.types-partial-union-cases src-488 `tok-488 `tre-488) (check-types ~.types-partial-union-cases ~[%tests %golden ~.types-partial-union-cases %source %jibb] src-488 `typ-488))

2984+ (weld (check ~.types-partial-union-cases src-489 `tok-489 `tre-489) (check-types ~.types-partial-union-cases ~[%tests %golden ~.types-partial-union-cases %source %jibb] src-489 `typ-489))

29752985++ test-types-partial-union-edges

2976− (weld (check ~.types-partial-union-edges src-489 `tok-489 `tre-489) (check-types ~.types-partial-union-edges ~[%tests %golden ~.types-partial-union-edges %source %jibb] src-489 `typ-489))

2986+ (weld (check ~.types-partial-union-edges src-490 `tok-490 `tre-490) (check-types ~.types-partial-union-edges ~[%tests %golden ~.types-partial-union-edges %source %jibb] src-490 `typ-490))

29772987++ test-types-partial-unresolved-tag

2978− (weld (check ~.types-partial-unresolved-tag src-490 `tok-490 `tre-490) (check-types ~.types-partial-unresolved-tag ~[%tests %golden ~.types-partial-unresolved-tag %source %jibb] src-490 `typ-490))

2988+ (weld (check ~.types-partial-unresolved-tag src-491 `tok-491 `tre-491) (check-types ~.types-partial-unresolved-tag ~[%tests %golden ~.types-partial-unresolved-tag %source %jibb] src-491 `typ-491))

29792989++ test-types-prelude-direct

2980− (weld (check ~.types-prelude-direct src-491 `tok-491 `tre-491) (check-module-types ~.types-prelude-direct ~[%tests %golden ~.types-prelude-direct %source %jibb] src-491 `typ-491 ~ ~ ~))

2990+ (weld (check ~.types-prelude-direct src-492 `tok-492 `tre-492) (check-module-types ~.types-prelude-direct ~[%tests %golden ~.types-prelude-direct %source %jibb] src-492 `typ-492 ~ ~ ~))

29812991++ test-types-prelude-interface

2982− (weld (weld (check ~.types-prelude-interface src-492 `tok-492 `tre-492) (check-module-types ~.types-prelude-interface ~[%tests %golden ~.types-prelude-interface %source %jibb] src-492 `typ-492 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-492-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-492-2]])) (check-module-trees ~.types-prelude-interface `mtre-492 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-492-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-492-2]]))

2992+ (weld (weld (check ~.types-prelude-interface src-493 `tok-493 `tre-493) (check-module-types ~.types-prelude-interface ~[%tests %golden ~.types-prelude-interface %source %jibb] src-493 `typ-493 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-493-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-493-2]])) (check-module-trees ~.types-prelude-interface `mtre-493 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-493-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-493-2]]))

29832993++ test-types-prelude-list-functions

2984− (weld (weld (check ~.types-prelude-list-functions src-493 `tok-493 `tre-493) (check-module-types ~.types-prelude-list-functions ~[%tests %golden ~.types-prelude-list-functions %source %jibb] src-493 `typ-493 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-493-1]])) (check-module-trees ~.types-prelude-list-functions `mtre-493 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-493-1]]))

2994+ (weld (weld (check ~.types-prelude-list-functions src-494 `tok-494 `tre-494) (check-module-types ~.types-prelude-list-functions ~[%tests %golden ~.types-prelude-list-functions %source %jibb] src-494 `typ-494 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-494-1]])) (check-module-trees ~.types-prelude-list-functions `mtre-494 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-494-1]]))

29852995++ test-types-prelude-unit-helpers

2986− (weld (check ~.types-prelude-unit-helpers src-494 `tok-494 `tre-494) (check-module-types ~.types-prelude-unit-helpers ~[%tests %golden ~.types-prelude-unit-helpers %source %jibb] src-494 `typ-494 ~ ~ ~))

2996+ (weld (check ~.types-prelude-unit-helpers src-495 `tok-495 `tre-495) (check-module-types ~.types-prelude-unit-helpers ~[%tests %golden ~.types-prelude-unit-helpers %source %jibb] src-495 `typ-495 ~ ~ ~))

29872997++ test-types-record-bound-variable

2988− (weld (check ~.types-record-bound-variable src-495 `tok-495 `tre-495) (check-types ~.types-record-bound-variable ~[%tests %golden ~.types-record-bound-variable %source %jibb] src-495 `typ-495))

2998+ (weld (check ~.types-record-bound-variable src-496 `tok-496 `tre-496) (check-types ~.types-record-bound-variable ~[%tests %golden ~.types-record-bound-variable %source %jibb] src-496 `typ-496))

29892999++ test-types-record-cast-context

2990− (weld (check ~.types-record-cast-context src-496 `tok-496 `tre-496) (check-module-types ~.types-record-cast-context ~[%tests %golden ~.types-record-cast-context %source %jibb] src-496 `typ-496 ~ ~ ~))

3000+ (weld (check ~.types-record-cast-context src-497 `tok-497 `tre-497) (check-module-types ~.types-record-cast-context ~[%tests %golden ~.types-record-cast-context %source %jibb] src-497 `typ-497 ~ ~ ~))

29913001++ test-types-record-change

2992− (weld (check ~.types-record-change src-497 `tok-497 `tre-497) (check-module-types ~.types-record-change ~[%tests %golden ~.types-record-change %source %jibb] src-497 `typ-497 ~ ~ ~))

3002+ (weld (check ~.types-record-change src-498 `tok-498 `tre-498) (check-module-types ~.types-record-change ~[%tests %golden ~.types-record-change %source %jibb] src-498 `typ-498 ~ ~ ~))

29933003++ test-types-record-change-generic

2994− (weld (check ~.types-record-change-generic src-498 `tok-498 `tre-498) (check-module-types ~.types-record-change-generic ~[%tests %golden ~.types-record-change-generic %source %jibb] src-498 `typ-498 ~ ~ ~))

3004+ (weld (check ~.types-record-change-generic src-499 `tok-499 `tre-499) (check-module-types ~.types-record-change-generic ~[%tests %golden ~.types-record-change-generic %source %jibb] src-499 `typ-499 ~ ~ ~))

29953005++ test-types-record-faces

2996− (weld (check ~.types-record-faces src-499 `tok-499 `tre-499) (check-types ~.types-record-faces ~[%tests %golden ~.types-record-faces %source %jibb] src-499 `typ-499))

3006+ (weld (check ~.types-record-faces src-500 `tok-500 `tre-500) (check-types ~.types-record-faces ~[%tests %golden ~.types-record-faces %source %jibb] src-500 `typ-500))

29973007++ test-types-record-import

2998− (weld (weld (check ~.types-record-import src-500 `tok-500 `tre-500) (check-module-types ~.types-record-import ~[%tests %golden ~.types-record-import %source %jibb] src-500 `typ-500 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-500-1]])) (check-module-trees ~.types-record-import `mtre-500 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-500-1]]))

3008+ (weld (weld (check ~.types-record-import src-501 `tok-501 `tre-501) (check-module-types ~.types-record-import ~[%tests %golden ~.types-record-import %source %jibb] src-501 `typ-501 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-501-1]])) (check-module-trees ~.types-record-import `mtre-501 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-501-1]]))

29993009++ test-types-record-local-scheme

3000− (weld (check ~.types-record-local-scheme src-501 `tok-501 `tre-501) (check-types ~.types-record-local-scheme ~[%tests %golden ~.types-record-local-scheme %source %jibb] src-501 `typ-501))

3010+ (weld (check ~.types-record-local-scheme src-502 `tok-502 `tre-502) (check-types ~.types-record-local-scheme ~[%tests %golden ~.types-record-local-scheme %source %jibb] src-502 `typ-502))

30013011++ test-types-record-nested

3002− (weld (check ~.types-record-nested src-502 `tok-502 `tre-502) (check-types ~.types-record-nested ~[%tests %golden ~.types-record-nested %source %jibb] src-502 `typ-502))

3012+ (weld (check ~.types-record-nested src-503 `tok-503 `tre-503) (check-types ~.types-record-nested ~[%tests %golden ~.types-record-nested %source %jibb] src-503 `typ-503))

30033013++ test-types-record-to-tuple

3004− (weld (check ~.types-record-to-tuple src-503 `tok-503 `tre-503) (check-types ~.types-record-to-tuple ~[%tests %golden ~.types-record-to-tuple %source %jibb] src-503 `typ-503))

3014+ (weld (check ~.types-record-to-tuple src-504 `tok-504 `tre-504) (check-types ~.types-record-to-tuple ~[%tests %golden ~.types-record-to-tuple %source %jibb] src-504 `typ-504))

30053015++ test-types-recursion-scc-failures

3006− (weld (check ~.types-recursion-scc-failures src-504 `tok-504 `tre-504) (check-module-types ~.types-recursion-scc-failures ~[%tests %golden ~.types-recursion-scc-failures %source %jibb] src-504 `typ-504 ~ ~ ~))

3016+ (weld (check ~.types-recursion-scc-failures src-505 `tok-505 `tre-505) (check-module-types ~.types-recursion-scc-failures ~[%tests %golden ~.types-recursion-scc-failures %source %jibb] src-505 `typ-505 ~ ~ ~))

30073017++ test-types-recursion-scc-groups

3008− (weld (check ~.types-recursion-scc-groups src-505 `tok-505 `tre-505) (check-module-types ~.types-recursion-scc-groups ~[%tests %golden ~.types-recursion-scc-groups %source %jibb] src-505 `typ-505 ~ ~ ~))

3018+ (weld (check ~.types-recursion-scc-groups src-506 `tok-506 `tre-506) (check-module-types ~.types-recursion-scc-groups ~[%tests %golden ~.types-recursion-scc-groups %source %jibb] src-506 `typ-506 ~ ~ ~))

30093019++ test-types-recursion-scc-import

3010− (weld (weld (check ~.types-recursion-scc-import src-506 `tok-506 `tre-506) (check-module-types ~.types-recursion-scc-import ~[%tests %golden ~.types-recursion-scc-import %source %jibb] src-506 `typ-506 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-506-1]])) (check-module-trees ~.types-recursion-scc-import `mtre-506 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-506-1]]))

3020+ (weld (weld (check ~.types-recursion-scc-import src-507 `tok-507 `tre-507) (check-module-types ~.types-recursion-scc-import ~[%tests %golden ~.types-recursion-scc-import %source %jibb] src-507 `typ-507 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-507-1]])) (check-module-trees ~.types-recursion-scc-import `mtre-507 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-507-1]]))

30113021++ test-types-recursion-scc-import-bad

3012− (weld (weld (check ~.types-recursion-scc-import-bad src-507 `tok-507 `tre-507) (check-module-types ~.types-recursion-scc-import-bad ~[%tests %golden ~.types-recursion-scc-import-bad %source %jibb] src-507 `typ-507 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-507-1]])) (check-module-trees ~.types-recursion-scc-import-bad `mtre-507 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-507-1]]))

3022+ (weld (weld (check ~.types-recursion-scc-import-bad src-508 `tok-508 `tre-508) (check-module-types ~.types-recursion-scc-import-bad ~[%tests %golden ~.types-recursion-scc-import-bad %source %jibb] src-508 `typ-508 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-508-1]])) (check-module-trees ~.types-recursion-scc-import-bad `mtre-508 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-508-1]]))

30133023++ test-types-recursion-scc-local

3014− (weld (check ~.types-recursion-scc-local src-508 `tok-508 `tre-508) (check-module-types ~.types-recursion-scc-local ~[%tests %golden ~.types-recursion-scc-local %source %jibb] src-508 `typ-508 ~ ~ ~))

3024+ (weld (check ~.types-recursion-scc-local src-509 `tok-509 `tre-509) (check-module-types ~.types-recursion-scc-local ~[%tests %golden ~.types-recursion-scc-local %source %jibb] src-509 `typ-509 ~ ~ ~))

30153025++ test-types-recursion-scc-order

3016− (weld (check ~.types-recursion-scc-order src-509 `tok-509 `tre-509) (check-module-types ~.types-recursion-scc-order ~[%tests %golden ~.types-recursion-scc-order %source %jibb] src-509 `typ-509 ~ ~ ~))

3026+ (weld (check ~.types-recursion-scc-order src-510 `tok-510 `tre-510) (check-module-types ~.types-recursion-scc-order ~[%tests %golden ~.types-recursion-scc-order %source %jibb] src-510 `typ-510 ~ ~ ~))

30173027++ test-types-recursion-scc-shadow

3018− (weld (check ~.types-recursion-scc-shadow src-510 `tok-510 `tre-510) (check-module-types ~.types-recursion-scc-shadow ~[%tests %golden ~.types-recursion-scc-shadow %source %jibb] src-510 `typ-510 ~ ~ ~))

3028+ (weld (check ~.types-recursion-scc-shadow src-511 `tok-511 `tre-511) (check-module-types ~.types-recursion-scc-shadow ~[%tests %golden ~.types-recursion-scc-shadow %source %jibb] src-511 `typ-511 ~ ~ ~))

30193029++ test-types-recursive-branch

3020− (weld (check ~.types-recursive-branch src-511 `tok-511 `tre-511) (check-module-types ~.types-recursive-branch ~[%tests %golden ~.types-recursive-branch %source %jibb] src-511 `typ-511 ~ ~ ~))

3030+ (weld (check ~.types-recursive-branch src-512 `tok-512 `tre-512) (check-module-types ~.types-recursive-branch ~[%tests %golden ~.types-recursive-branch %source %jibb] src-512 `typ-512 ~ ~ ~))

30213031++ test-types-recursive-gate

3022− (weld (check ~.types-recursive-gate src-512 `tok-512 `tre-512) (check-types ~.types-recursive-gate ~[%tests %golden ~.types-recursive-gate %source %jibb] src-512 `typ-512))

3032+ (weld (check ~.types-recursive-gate src-513 `tok-513 `tre-513) (check-types ~.types-recursive-gate ~[%tests %golden ~.types-recursive-gate %source %jibb] src-513 `typ-513))

30233033++ test-types-recursive-sample

3024− (weld (check ~.types-recursive-sample src-513 `tok-513 `tre-513) (check-types ~.types-recursive-sample ~[%tests %golden ~.types-recursive-sample %source %jibb] src-513 `typ-513))

3034+ (weld (check ~.types-recursive-sample src-514 `tok-514 `tre-514) (check-types ~.types-recursive-sample ~[%tests %golden ~.types-recursive-sample %source %jibb] src-514 `typ-514))

30253035++ test-types-scope-library-poke

3026− (weld (check-at ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-514 `tok-514 `tre-514) (check-module-types ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-514 `typ-514 ~ ~ ~))

3036+ (weld (check-at ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-515 `tok-515 `tre-515) (check-module-types ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-515 `typ-515 ~ ~ ~))

30273037++ test-types-scope-root-api

3028− (weld (check-at ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-515 `tok-515 `tre-515) (check-module-types ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-515 `typ-515 ~ ~ ~))

3038+ (weld (check-at ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-516 `tok-516 `tre-516) (check-module-types ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-516 `typ-516 ~ ~ ~))

30293039++ test-types-scope-store-duplicate

3030− (weld (check-at ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-516 `tok-516 `tre-516) (check-module-types ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-516 `typ-516 ~ ~ ~))

3040+ (weld (check-at ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-517 `tok-517 `tre-517) (check-module-types ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-517 `typ-517 ~ ~ ~))

30313041++ test-types-scope-store-shadow

3032− (weld (check-at ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-517 `tok-517 `tre-517) (check-module-types ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-517 `typ-517 ~ ~ ~))

3042+ (weld (check-at ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-518 `tok-518 `tre-518) (check-module-types ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-518 `typ-518 ~ ~ ~))

30333043++ test-types-string-interpolation

3034− (weld (check ~.types-string-interpolation src-518 `tok-518 `tre-518) (check-module-types ~.types-string-interpolation ~[%tests %golden ~.types-string-interpolation %source %jibb] src-518 `typ-518 ~ ~ ~))

3044+ (weld (check ~.types-string-interpolation src-519 `tok-519 `tre-519) (check-module-types ~.types-string-interpolation ~[%tests %golden ~.types-string-interpolation %source %jibb] src-519 `typ-519 ~ ~ ~))

30353045++ test-types-tuple-context

3036− (weld (check ~.types-tuple-context src-519 `tok-519 `tre-519) (check-module-types ~.types-tuple-context ~[%tests %golden ~.types-tuple-context %source %jibb] src-519 `typ-519 ~ ~ ~))

3046+ (weld (check ~.types-tuple-context src-520 `tok-520 `tre-520) (check-module-types ~.types-tuple-context ~[%tests %golden ~.types-tuple-context %source %jibb] src-520 `typ-520 ~ ~ ~))

30373047++ test-types-tuple-context-nested

3038− (weld (check ~.types-tuple-context-nested src-520 `tok-520 `tre-520) (check-module-types ~.types-tuple-context-nested ~[%tests %golden ~.types-tuple-context-nested %source %jibb] src-520 `typ-520 ~ ~ ~))

3048+ (weld (check ~.types-tuple-context-nested src-521 `tok-521 `tre-521) (check-module-types ~.types-tuple-context-nested ~[%tests %golden ~.types-tuple-context-nested %source %jibb] src-521 `typ-521 ~ ~ ~))

30393049++ test-types-union-alias

3040− (weld (check ~.types-union-alias src-521 `tok-521 `tre-521) (check-types ~.types-union-alias ~[%tests %golden ~.types-union-alias %source %jibb] src-521 `typ-521))

3050+ (weld (check ~.types-union-alias src-522 `tok-522 `tre-522) (check-types ~.types-union-alias ~[%tests %golden ~.types-union-alias %source %jibb] src-522 `typ-522))

30413051++ test-types-union-branch-context

3042− (weld (check ~.types-union-branch-context src-522 `tok-522 `tre-522) (check-types ~.types-union-branch-context ~[%tests %golden ~.types-union-branch-context %source %jibb] src-522 `typ-522))

3052+ (weld (check ~.types-union-branch-context src-523 `tok-523 `tre-523) (check-types ~.types-union-branch-context ~[%tests %golden ~.types-union-branch-context %source %jibb] src-523 `typ-523))

30433053++ test-types-union-branch-pending

3044− (weld (check ~.types-union-branch-pending src-523 `tok-523 `tre-523) (check-types ~.types-union-branch-pending ~[%tests %golden ~.types-union-branch-pending %source %jibb] src-523 `typ-523))

3054+ (weld (check ~.types-union-branch-pending src-524 `tok-524 `tre-524) (check-types ~.types-union-branch-pending ~[%tests %golden ~.types-union-branch-pending %source %jibb] src-524 `typ-524))

30453055++ test-types-union-constructor-shape

3046− (weld (check ~.types-union-constructor-shape src-524 `tok-524 `tre-524) (check-types ~.types-union-constructor-shape ~[%tests %golden ~.types-union-constructor-shape %source %jibb] src-524 `typ-524))

3056+ (weld (check ~.types-union-constructor-shape src-525 `tok-525 `tre-525) (check-types ~.types-union-constructor-shape ~[%tests %golden ~.types-union-constructor-shape %source %jibb] src-525 `typ-525))

30473057++ test-types-union-context-flow

3048− (weld (check ~.types-union-context-flow src-525 `tok-525 `tre-525) (check-types ~.types-union-context-flow ~[%tests %golden ~.types-union-context-flow %source %jibb] src-525 `typ-525))

3058+ (weld (check ~.types-union-context-flow src-526 `tok-526 `tre-526) (check-types ~.types-union-context-flow ~[%tests %golden ~.types-union-context-flow %source %jibb] src-526 `typ-526))

30493059++ test-types-union-finite

3050− (weld (check ~.types-union-finite src-526 `tok-526 `tre-526) (check-module-types ~.types-union-finite ~[%tests %golden ~.types-union-finite %source %jibb] src-526 `typ-526 ~ ~ ~))

3060+ (weld (check ~.types-union-finite src-527 `tok-527 `tre-527) (check-module-types ~.types-union-finite ~[%tests %golden ~.types-union-finite %source %jibb] src-527 `typ-527 ~ ~ ~))

30513061++ test-types-union-finite-context

3052− (weld (check ~.types-union-finite-context src-527 `tok-527 `tre-527) (check-module-types ~.types-union-finite-context ~[%tests %golden ~.types-union-finite-context %source %jibb] src-527 `typ-527 ~ ~ ~))

3062+ (weld (check ~.types-union-finite-context src-528 `tok-528 `tre-528) (check-module-types ~.types-union-finite-context ~[%tests %golden ~.types-union-finite-context %source %jibb] src-528 `typ-528 ~ ~ ~))

30533063++ test-types-union-finite-generic

3054− (weld (check ~.types-union-finite-generic src-528 `tok-528 `tre-528) (check-module-types ~.types-union-finite-generic ~[%tests %golden ~.types-union-finite-generic %source %jibb] src-528 `typ-528 ~ ~ ~))

3064+ (weld (check ~.types-union-finite-generic src-529 `tok-529 `tre-529) (check-module-types ~.types-union-finite-generic ~[%tests %golden ~.types-union-finite-generic %source %jibb] src-529 `typ-529 ~ ~ ~))

30553065++ test-types-union-finite-limit

3056− (weld (check ~.types-union-finite-limit src-529 `tok-529 `tre-529) (check-module-types ~.types-union-finite-limit ~[%tests %golden ~.types-union-finite-limit %source %jibb] src-529 `typ-529 ~ ~ ~))

3066+ (weld (check ~.types-union-finite-limit src-530 `tok-530 `tre-530) (check-module-types ~.types-union-finite-limit ~[%tests %golden ~.types-union-finite-limit %source %jibb] src-530 `typ-530 ~ ~ ~))

30573067++ test-types-union-import

3058− (weld (weld (check ~.types-union-import src-530 `tok-530 `tre-530) (check-module-types ~.types-union-import ~[%tests %golden ~.types-union-import %source %jibb] src-530 `typ-530 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-530-1]])) (check-module-trees ~.types-union-import `mtre-530 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-530-1]]))

3068+ (weld (weld (check ~.types-union-import src-531 `tok-531 `tre-531) (check-module-types ~.types-union-import ~[%tests %golden ~.types-union-import %source %jibb] src-531 `typ-531 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-531-1]])) (check-module-trees ~.types-union-import `mtre-531 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-531-1]]))

30593069++ test-types-union-local-pending

3060− (weld (check ~.types-union-local-pending src-531 `tok-531 `tre-531) (check-types ~.types-union-local-pending ~[%tests %golden ~.types-union-local-pending %source %jibb] src-531 `typ-531))

3070+ (weld (check ~.types-union-local-pending src-532 `tok-532 `tre-532) (check-types ~.types-union-local-pending ~[%tests %golden ~.types-union-local-pending %source %jibb] src-532 `typ-532))

30613071++ test-types-union-overlap

3062− (weld (check ~.types-union-overlap src-532 `tok-532 `tre-532) (check-types ~.types-union-overlap ~[%tests %golden ~.types-union-overlap %source %jibb] src-532 `typ-532))

3072+ (weld (check ~.types-union-overlap src-533 `tok-533 `tre-533) (check-types ~.types-union-overlap ~[%tests %golden ~.types-union-overlap %source %jibb] src-533 `typ-533))

30633073++ test-types-union-overlap-nested

3064− (weld (check ~.types-union-overlap-nested src-533 `tok-533 `tre-533) (check-types ~.types-union-overlap-nested ~[%tests %golden ~.types-union-overlap-nested %source %jibb] src-533 `typ-533))

3074+ (weld (check ~.types-union-overlap-nested src-534 `tok-534 `tre-534) (check-types ~.types-union-overlap-nested ~[%tests %golden ~.types-union-overlap-nested %source %jibb] src-534 `typ-534))

30653075++ test-types-union-pattern-result-context

3066− (weld (check ~.types-union-pattern-result-context src-534 `tok-534 `tre-534) (check-module-types ~.types-union-pattern-result-context ~[%tests %golden ~.types-union-pattern-result-context %source %jibb] src-534 `typ-534 ~ ~ ~))

3076+ (weld (check ~.types-union-pattern-result-context src-535 `tok-535 `tre-535) (check-module-types ~.types-union-pattern-result-context ~[%tests %golden ~.types-union-pattern-result-context %source %jibb] src-535 `typ-535 ~ ~ ~))

30673077++ test-types-union-pattern-result-controls

3068− (weld (check ~.types-union-pattern-result-controls src-535 `tok-535 `tre-535) (check-module-types ~.types-union-pattern-result-controls ~[%tests %golden ~.types-union-pattern-result-controls %source %jibb] src-535 `typ-535 ~ ~ ~))

3078+ (weld (check ~.types-union-pattern-result-controls src-536 `tok-536 `tre-536) (check-module-types ~.types-union-pattern-result-controls ~[%tests %golden ~.types-union-pattern-result-controls %source %jibb] src-536 `typ-536 ~ ~ ~))

30693079++ test-types-union-patterns

3070− (weld (check ~.types-union-patterns src-536 `tok-536 `tre-536) (check-module-types ~.types-union-patterns ~[%tests %golden ~.types-union-patterns %source %jibb] src-536 `typ-536 ~ ~ ~))

3080+ (weld (check ~.types-union-patterns src-537 `tok-537 `tre-537) (check-module-types ~.types-union-patterns ~[%tests %golden ~.types-union-patterns %source %jibb] src-537 `typ-537 ~ ~ ~))

30713081++ test-types-union-patterns-generic

3072− (weld (check ~.types-union-patterns-generic src-537 `tok-537 `tre-537) (check-module-types ~.types-union-patterns-generic ~[%tests %golden ~.types-union-patterns-generic %source %jibb] src-537 `typ-537 ~ ~ ~))

3082+ (weld (check ~.types-union-patterns-generic src-538 `tok-538 `tre-538) (check-module-types ~.types-union-patterns-generic ~[%tests %golden ~.types-union-patterns-generic %source %jibb] src-538 `typ-538 ~ ~ ~))

30733083++ test-types-union-patterns-import

3074− (weld (weld (check ~.types-union-patterns-import src-538 `tok-538 `tre-538) (check-module-types ~.types-union-patterns-import ~[%tests %golden ~.types-union-patterns-import %source %jibb] src-538 `typ-538 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-538-1]])) (check-module-trees ~.types-union-patterns-import `mtre-538 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-538-1]]))

3084+ (weld (weld (check ~.types-union-patterns-import src-539 `tok-539 `tre-539) (check-module-types ~.types-union-patterns-import ~[%tests %golden ~.types-union-patterns-import %source %jibb] src-539 `typ-539 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-539-1]])) (check-module-trees ~.types-union-patterns-import `mtre-539 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-539-1]]))

30753085++ test-types-union-phantom-generic

3076− (weld (check ~.types-union-phantom-generic src-539 `tok-539 `tre-539) (check-types ~.types-union-phantom-generic ~[%tests %golden ~.types-union-phantom-generic %source %jibb] src-539 `typ-539))

3086+ (weld (check ~.types-union-phantom-generic src-540 `tok-540 `tre-540) (check-types ~.types-union-phantom-generic ~[%tests %golden ~.types-union-phantom-generic %source %jibb] src-540 `typ-540))

30773087++ test-types-union-print-cross-namespace

3078− (weld (weld (check ~.types-union-print-cross-namespace src-540 `tok-540 `tre-540) (check-module-types ~.types-union-print-cross-namespace ~[%tests %golden ~.types-union-print-cross-namespace %source %jibb] src-540 `typ-540 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-540-1]])) (check-module-trees ~.types-union-print-cross-namespace `mtre-540 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-540-1]]))

3088+ (weld (weld (check ~.types-union-print-cross-namespace src-541 `tok-541 `tre-541) (check-module-types ~.types-union-print-cross-namespace ~[%tests %golden ~.types-union-print-cross-namespace %source %jibb] src-541 `typ-541 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-541-1]])) (check-module-trees ~.types-union-print-cross-namespace `mtre-541 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-541-1]]))

30793089++ test-types-union-print-distinct

3080− (weld (weld (check ~.types-union-print-distinct src-541 `tok-541 `tre-541) (check-module-types ~.types-union-print-distinct ~[%tests %golden ~.types-union-print-distinct %source %jibb] src-541 `typ-541 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-541-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-541-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-541-3]])) (check-module-trees ~.types-union-print-distinct `mtre-541 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-541-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-541-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-541-3]]))

3090+ (weld (weld (check ~.types-union-print-distinct src-542 `tok-542 `tre-542) (check-module-types ~.types-union-print-distinct ~[%tests %golden ~.types-union-print-distinct %source %jibb] src-542 `typ-542 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-542-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-542-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-542-3]])) (check-module-trees ~.types-union-print-distinct `mtre-542 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-542-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-542-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-542-3]]))

30813091++ test-types-union-print-escape

3082− (weld (check ~.types-union-print-escape src-542 `tok-542 `tre-542) (check-types ~.types-union-print-escape ~[%tests %golden ~.types-union-print-escape %source %jibb] src-542 `typ-542))

3092+ (weld (check ~.types-union-print-escape src-543 `tok-543 `tre-543) (check-types ~.types-union-print-escape ~[%tests %golden ~.types-union-print-escape %source %jibb] src-543 `typ-543))

30833093++ test-types-union-print-local

3084− (weld (check ~.types-union-print-local src-543 `tok-543 `tre-543) (check-types ~.types-union-print-local ~[%tests %golden ~.types-union-print-local %source %jibb] src-543 `typ-543))

3094+ (weld (check ~.types-union-print-local src-544 `tok-544 `tre-544) (check-types ~.types-union-print-local ~[%tests %golden ~.types-union-print-local %source %jibb] src-544 `typ-544))

30853095++ test-types-union-print-nested

3086− (weld (check ~.types-union-print-nested src-544 `tok-544 `tre-544) (check-types ~.types-union-print-nested ~[%tests %golden ~.types-union-print-nested %source %jibb] src-544 `typ-544))

3096+ (weld (check ~.types-union-print-nested src-545 `tok-545 `tre-545) (check-types ~.types-union-print-nested ~[%tests %golden ~.types-union-print-nested %source %jibb] src-545 `typ-545))

30873097++ test-types-union-print-same-origin

3088− (weld (weld (check ~.types-union-print-same-origin src-545 `tok-545 `tre-545) (check-module-types ~.types-union-print-same-origin ~[%tests %golden ~.types-union-print-same-origin %source %jibb] src-545 `typ-545 ~ ~ ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-545-1]])) (check-module-trees ~.types-union-print-same-origin `mtre-545 ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-545-1]]))

3098+ (weld (weld (check ~.types-union-print-same-origin src-546 `tok-546 `tre-546) (check-module-types ~.types-union-print-same-origin ~[%tests %golden ~.types-union-print-same-origin %source %jibb] src-546 `typ-546 ~ ~ ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-546-1]])) (check-module-trees ~.types-union-print-same-origin `mtre-546 ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-546-1]]))

30893099++ test-types-union-print-transitive

3090− (weld (weld (check ~.types-union-print-transitive src-546 `tok-546 `tre-546) (check-module-types ~.types-union-print-transitive ~[%tests %golden ~.types-union-print-transitive %source %jibb] src-546 `typ-546 ~ ~ ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-546-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-546-2]])) (check-module-trees ~.types-union-print-transitive `mtre-546 ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-546-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-546-2]]))

3100+ (weld (weld (check ~.types-union-print-transitive src-547 `tok-547 `tre-547) (check-module-types ~.types-union-print-transitive ~[%tests %golden ~.types-union-print-transitive %source %jibb] src-547 `typ-547 ~ ~ ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-547-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-547-2]])) (check-module-trees ~.types-union-print-transitive `mtre-547 ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-547-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-547-2]]))

30913101++ test-types-union-singleton

3092− (weld (check ~.types-union-singleton src-547 `tok-547 `tre-547) (check-types ~.types-union-singleton ~[%tests %golden ~.types-union-singleton %source %jibb] src-547 `typ-547))

3102+ (weld (check ~.types-union-singleton src-548 `tok-548 `tre-548) (check-types ~.types-union-singleton ~[%tests %golden ~.types-union-singleton %source %jibb] src-548 `typ-548))

30933103++ test-types-union-tag-atoms

3094− (weld (check ~.types-union-tag-atoms src-548 `tok-548 `tre-548) (check-types ~.types-union-tag-atoms ~[%tests %golden ~.types-union-tag-atoms %source %jibb] src-548 `typ-548))

3104+ (weld (check ~.types-union-tag-atoms src-549 `tok-549 `tre-549) (check-types ~.types-union-tag-atoms ~[%tests %golden ~.types-union-tag-atoms %source %jibb] src-549 `typ-549))

30953105++ test-types-union-tags

3096− (weld (check ~.types-union-tags src-549 `tok-549 `tre-549) (check-types ~.types-union-tags ~[%tests %golden ~.types-union-tags %source %jibb] src-549 `typ-549))

3106+ (weld (check ~.types-union-tags src-550 `tok-550 `tre-550) (check-types ~.types-union-tags ~[%tests %golden ~.types-union-tags %source %jibb] src-550 `typ-550))

30973107++ test-types-union-unresolved

3098− (weld (check ~.types-union-unresolved src-550 `tok-550 `tre-550) (check-types ~.types-union-unresolved ~[%tests %golden ~.types-union-unresolved %source %jibb] src-550 `typ-550))

3108+ (weld (check ~.types-union-unresolved src-551 `tok-551 `tre-551) (check-types ~.types-union-unresolved ~[%tests %golden ~.types-union-unresolved %source %jibb] src-551 `typ-551))

30993109++ test-types-union-unresolved-flow

3100− (weld (check ~.types-union-unresolved-flow src-551 `tok-551 `tre-551) (check-types ~.types-union-unresolved-flow ~[%tests %golden ~.types-union-unresolved-flow %source %jibb] src-551 `typ-551))

3110+ (weld (check ~.types-union-unresolved-flow src-552 `tok-552 `tre-552) (check-types ~.types-union-unresolved-flow ~[%tests %golden ~.types-union-unresolved-flow %source %jibb] src-552 `typ-552))

31013111++ test-types-unit-construction

3102− (weld (check ~.types-unit-construction src-552 `tok-552 `tre-552) (check-module-types ~.types-unit-construction ~[%tests %golden ~.types-unit-construction %source %jibb] src-552 `typ-552 ~ ~ ~))

3112+ (weld (check ~.types-unit-construction src-553 `tok-553 `tre-553) (check-module-types ~.types-unit-construction ~[%tests %golden ~.types-unit-construction %source %jibb] src-553 `typ-553 ~ ~ ~))

31033113++ test-types-unit-context

3104− (weld (check ~.types-unit-context src-553 `tok-553 `tre-553) (check-module-types ~.types-unit-context ~[%tests %golden ~.types-unit-context %source %jibb] src-553 `typ-553 ~ ~ ~))

3114+ (weld (check ~.types-unit-context src-554 `tok-554 `tre-554) (check-module-types ~.types-unit-context ~[%tests %golden ~.types-unit-context %source %jibb] src-554 `typ-554 ~ ~ ~))

31053115++ test-types-unit-patterns

3106− (weld (check ~.types-unit-patterns src-554 `tok-554 `tre-554) (check-types ~.types-unit-patterns ~[%tests %golden ~.types-unit-patterns %source %jibb] src-554 `typ-554))

3116+ (weld (check ~.types-unit-patterns src-555 `tok-555 `tre-555) (check-types ~.types-unit-patterns ~[%tests %golden ~.types-unit-patterns %source %jibb] src-555 `typ-555))

31073117::

31083118:: +check: run golden:jibb on a case and compare both outputs

31093119::

tests/type-import/about.txt+4−1

@@ -7,7 +7,10 @@ fixed atoms, term singletons including Hoon `%$`, nested faced records,

77unnamed unions and opaque standard collections. A nonrecursive `$@` with a

88null singleton supports null and record values, including within another

99record. Forged nonzero `%n` atoms and overlapping null/term or null/flag cases

10−stay unsupported. A structurally unit-like import does not gain unit

10+stay unsupported. A Hoon boolean's exact two-singleton `%f` fork imports

11+as `?`, including in either supplied order. Open `%f`, out-of-range values,

12+duplicates, overlapping zero constants, extra or faced cases and malformed

13+forks stay unsupported. A structurally unit-like import does not gain unit

1114construction even when a canonical prelude unit is supplied; constructing

1215that canonical unit succeeds. It covers matching and

1316mismatched collections, nested union arguments, and malformed collection names

tests/type-import/expected.txt+10

@@ -94,6 +94,16 @@ partial inference; module not checked

9494++ zero-flag-duplicate: sample mold is not supported by partial inference

9595++ zero-lookalike: $-(([~ @t] ~) ([~ @t] ~))

9696++ zero-lookalike-value: unit construction needs the standard prelude in partial inference

97+++ flag-forward: $-(? ?)

98+++ flag-reverse: $-(? ?)

99+++ flag-open: sample mold is not supported by partial inference

100+++ flag-invalid: sample mold is not supported by partial inference

101+++ flag-duplicate: sample mold is not supported by partial inference

102+++ flag-null-overlap: sample mold is not supported by partial inference

103+++ flag-term-overlap: sample mold is not supported by partial inference

104+++ flag-extra: sample mold is not supported by partial inference

105+++ flag-faced: sample mold is not supported by partial inference

106+++ flag-malformed: sample mold is not supported by partial inference

97107reader-collapsed: error: Hoon union disjointness could not be verified

98108partial inference; module not checked

99109++ use: recursive mold name is not available in this scope

tests/type-import/source.txt+12

@@ -64,3 +64,15 @@

6464++ zero-flag-duplicate |= x=zero-flag-overlap.fixture x

6565++ zero-lookalike |= x=zero-lookalike.fixture x

6666++ zero-lookalike-value ^- zero-lookalike.fixture `"hi"

67+

68+:: Hoon flags use exactly the zero/one %f singleton fork.

69+++ flag-forward |= x=flag-forward.fixture x

70+++ flag-reverse |= x=flag-reverse.fixture x

71+++ flag-open |= x=flag-open.fixture x

72+++ flag-invalid |= x=flag-invalid.fixture x

73+++ flag-duplicate |= x=flag-duplicate.fixture x

74+++ flag-null-overlap |= x=flag-null-overlap.fixture x

75+++ flag-term-overlap |= x=flag-term-overlap.fixture x

76+++ flag-extra |= x=flag-extra.fixture x

77+++ flag-faced |= x=flag-faced.fixture x

78+++ flag-malformed |= x=flag-malformed.fixture x