fd2f288 · jibb · git.iko.soy

git.iko.soy/jibb

Infer nested fields of imported values

commitfd2f2887b65492440fa13234667f3d51a396722b authoriko <mail@iko.soy> dateSat 31 Oct 2026, 03:39 (8 hours ago) parente28f7be

37 files changed+838−584

compare with master

unifiedsplit

docs/compiler.md+1−1

@@ -92,7 +92,7 @@ The partial report can diagnose certain non-gate value dependency cycles, includ

9292

9393The source-backed `+api-path-analysis-source` is a separate partial analysis, not an API check: it resolves reachable Jibb imports and declared mark graphs and returns path and scry segments, full and diff mark identities and their types. It also checks derived-name collisions. Full and diff payloads must be direct declared mark names; typed scry parameters must be a same-name, same-aura subset of the watch parameters, and unknown or duplicate segment binders fail closed. It creates no request gates. The caller must pass a trusted prepared prelude and unchanged source-aware reader results.

9494

95−`+golden-types-with-prelude` accepts case-local Jibb module sources alongside `/sur` and mark results and the vendored prelude source. It resolves reachable ordinary library modules in dependency order, caching completed interfaces per invocation and exporting supported closed value schemes, direct generic unions, and simple or nonrecursive generic mold aliases whose bodies the fragment supports. It detects missing sources and cycles and rejects a dependency if its interface cannot be inferred by the fragment.

95+`+golden-types-with-prelude` accepts case-local Jibb module sources alongside `/sur` and mark results and the vendored prelude source. It resolves reachable ordinary library modules in dependency order, caching completed interfaces per invocation and exporting supported closed value schemes, direct generic unions, and simple or nonrecursive generic mold aliases whose bodies the fragment supports. It detects missing sources and cycles and rejects a dependency if its interface cannot be inferred by the fragment. Qualified wings can also read nested fields of an imported value, instantiating that value’s scheme independently at each use; missing, ambiguous and non-record fields remain unsupported.

9696

9797The supplied prelude is parsed into a **partial interface**: all names actually declared in the source are reserved, while only the molds and values this fragment can infer are available. These include the validated standard `list` mold, `unit`, `same`, `fall`, `need`, `lure`, `weld`, `snoc`, `turn`, `flop`, `rear`, `drop`, `skim`, `skip`, `murn`, `join` and `snip`; unsupported entries remain unavailable. The validated `list` is injected while the prelude’s gates are inferred; `weld` and `turn` use ordinary explicit result casts. An absent or altered `list` is not injected, and an altered declaration cannot leak through a direct or transitive mold alias. List-dependent prelude mold aliases remain unsupported because their templates are prepared before this injection. A named prelude union keeps the fixed `/lib/jibb/prelude/jibb` origin in every module, and its name remains unqualified when a library exports a type containing it. The prelude inventory is incomplete, so reserving the names in this source does not establish complete shadowing coverage. The source-backed internal prelude defines `poke`, which the public prelude re-exports as an ordinary transparent type. The partial checker resolves its supported source shape, preserves its public name, and rejects ordinary imports of the private internal path. An imported API with one mark and a matching direct `+$ poke` declaration can export a derived constructor and retain agent/mark metadata when the source representation has the supported agent case. Other API shapes, complete private module checking, root API and kind checking, stores, `ask`, `pure`, lowering and runtime effects remain unfinished. A possible store or root API declaring `+$ poke` reports that kind or scope needs unsupported inference; definite duplicate declarations and unrelated shadowing still report conflicts. Prepared interfaces and caches are trusted caller inputs; the future host and linker must ensure the private source validated during preparation is the same version used to lower derived constructors. A `*` payload may contain gates, so the fragment treats it conservatively; full gate-free checks are unfinished. The shared module-scope fixture compares the prepared and source-taking paths against the real prelude and a two-module golden under eval and on the ship.

9898

docs/open-questions.md+3−1

@@ -18,7 +18,7 @@ On 2026-10-30, @iko adopted gate-free `eq` arguments and map and set keys, treat

1818

1919## Questions milestone 2 raises

2020

21−Found while writing [prompts/milestone-2.md](prompts/milestone-2.md), checking it against the doc's examples, and building the checker. The numbering is retained so existing references stay valid. Questions 3, 18, 25 and 26 remain open; the other questions are settled.

21+Found while writing [prompts/milestone-2.md](prompts/milestone-2.md), checking it against the doc's examples, and building the checker. The numbering is retained so existing references stay valid. Questions 3, 18, 25, 26 and 27 remain open; the other questions are settled.

2222

23231. **Settled: how the prelude identifies jetted functions.** On 2026-10-30, @iko said the prelude functions have working Jibb implementations, and the compiler recognizes their shapes and uses the Hoon versions so jets can fire.

24242. **Settled: how the prelude keeps helpers private.** On 2026-10-30, @iko chose a separate internal prelude module imported by the prelude, without exposing the imported helpers.

@@ -50,6 +50,8 @@ Found while writing [prompts/milestone-2.md](prompts/milestone-2.md), checking i

5050

515126. **The `step` example's `at` binder.** The Grammar's `describe` pattern `[t %sent at]` binds `at`, but the agreed prelude inventory includes Hoon's `at` from section 4b, and names may not shadow the prelude. The current incomplete prelude omits `at`, so its partial inference does not reveal this conflict. @iko has been asked whether to rename the binder, rename the prelude gate, or change the shadowing rule.

5252

53+27. **Duplicate fields in a Jibb-written record.** The Grammar rejects duplicate field names in imported Hoon records, but does not say what `+$ item [name=@t name=@ud]` means when written in Jibb. @iko has been asked whether to reject it or permit it and select the first field. A provisional bounded validation experiment declines the shape while this is open.

54+

5355## Grammar questions never put to the doc's author

5456

5557In milestone 1 the parser met about thirty places where the doc could be read more than one way. Twelve went to @iko on 2026-10-30 and are rows of the Decisions tab. These were not asked. For each, the parser follows the reading below, and some are marked "(doc question)" in the library's notes. None changes what a valid program means, except where a reading makes something an error.

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 Hoon `*` in supported nonrecursive molds, 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, including a source-proved nonrecursive union from a single Ford-imported `/sur` core, 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 and bare `~` fields, as in the real Tlon `notes.u-note`, 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. A separate partial analysis resolves supported API path declarations and their full and diff mark types, including the todo paths; it does not create requests or check an API module. Complete private module checking, other API shapes, request gates, 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. A bounded dependency proof reports certain non-gate cycles through values and gates when an explicit atom or loobean result cast and simple unshadowed expressions establish the cycle. Other 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 Hoon `*` in supported nonrecursive molds, 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, including a source-proved nonrecursive union from a single Ford-imported `/sur` core, 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 and bare `~` fields, as in the real Tlon `notes.u-note`, 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, detects missing sources and cycles, and resolves nested fields of imported values with independent scheme instantiation. 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. A separate partial analysis resolves supported API path declarations and their full and diff mark types, including the todo paths; it does not create requests or check an API module. Complete private module checking, other API shapes, request gates, 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. A bounded dependency proof reports certain non-gate cycles through values and gates when an explicit atom or loobean result cast and simple unshadowed expressions establish the cycle. Other 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−- 561 golden cases: 345 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 561-case corpus passed under `urbit eval` in 67.4 s. The fake ship passed all 570 tests, including the importer, importer/checker and mark/checker bridges, module scope and unification checks, with 39.7 s for sync and 83.3 s for tests. The importer golden compares 182 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+- 565 golden cases: 349 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 565-case corpus passed under `urbit eval` in 70.5 s. The fake ship passed all 574 tests, including the importer, importer/checker and mark/checker bridges, module scope and unification checks, with 39.8 s for sync and 47.4 s for tests. The importer golden compares 182 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).

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

110110| ef4772a | 2026-10-31 | Bridge imported loobeans and loobean singletons |

111111| ad46655 | 2026-10-31 | Bridge selected imported any-noun molds |

112112| beada10 | 2026-10-31 | Import source-proved Ford mark unions, analyze API paths and infer list helpers |

113−| This change | 2026-10-31 | Diagnose proven non-gate cycles and import Tlon null-payload union cases |

113+| e28f7be | 2026-10-31 | Diagnose proven non-gate cycles and import Tlon null-payload union cases |

114+| This change | 2026-10-31 | Infer qualified fields of imported values |

114115

115116## Checking it

116117

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

118119

119120```

120−tools/golden # 561 cases under urbit eval

121+tools/golden # 565 cases under urbit eval

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

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

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

@@ -130,7 +131,7 @@ tools/testdata/selftest # the tools themselves

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

131132tools/ship start

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

133−tools/ship test # the same 561 cases as -test arms on the ship

134+tools/ship test # the same 565 cases as -test arms on the ship

134135tools/testdata/ship-selftest

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

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

jibb-dev/lib/jibb.hoon+18−6

@@ -6485,17 +6485,29 @@

64856485 ^- iresult

64866486 =/ reverse=(list term) (flop names)

64876487 ?~ reverse [%| ["empty wing" ~]]

6488− =/ scheme=(unit ischeme) (ienv-lookup i.reverse env)

6489− ?~ scheme [%| ["field access is not supported by partial inference" ~]]

6490− =/ inst=[typ=itype state=istate] (instantiate-scheme u.scheme state)

6488+ =/ iface=(unit ifile) (find-jibb-interface i.reverse jimports.state)

64916489 =/ fields=(list term) t.reverse

6490+ ?~ fields [%| ["field access is not supported by partial inference" ~]]

6491+ =/ scheme=(unit ischeme)

6492+ ?~ iface

6493+ (ienv-lookup i.reverse env)

6494+ (ienv-lookup i.fields values.u.iface)

6495+ ?~ scheme

6496+ ?^ iface [%| ["module member is not available to partial inference" ~]]

6497+ [%| ["field access is not supported by partial inference" ~]]

6498+ =/ inst=[typ=itype state=istate]

6499+ ?~ iface (instantiate-scheme u.scheme state)

6500+ =/ imported=ischeme u.scheme

6501+ =. typ.imported (itype-in-import typ.imported u.iface i.reverse prelude.state)

6502+ (instantiate-scheme imported state)

6503+ =/ remaining=(list term) ?~(iface fields t.fields)

64926504 =/ typ=itype typ.inst

64936505 |-

6494− ?~ fields [%& typ state.inst]

6495− =/ found=(list itype) (record-fields-named i.fields typ sub.state.inst)

6506+ ?~ remaining [%& typ state.inst]

6507+ =/ found=(list itype) (record-fields-named i.remaining typ sub.state.inst)

64966508 ?~ found [%| ["field is not available to partial inference" ~]]

64976509 ?^ t.found [%| ["field name is ambiguous in partial inference" ~]]

6498− $(fields t.fields, typ i.found)

6510+ $(remaining t.remaining, typ i.found)

64996511::

65006512:: Propagate a known union or list through supported loobean, unit and list

65016513:: branches. Empty bodies and groups are transparent; bodies with definitions

tests/golden/types-module-field-ambiguous/about.txtnew file+4

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

1+source: Grammar, Expressions and Imports: a wing selects a named field, and a module import gives access through its face.

2+tests: An imported record with two same-named fields does not allow an arbitrary choice; ambiguous selection stays unsupported.

3+expect: parses

4+expect-types: a partial inference report

tests/golden/types-module-field-ambiguous/module-trees.txtnew file+6

@@ -0,0 +1,6 @@

1+/ui/lib.jibb

2+(module

3+ (value 1:1 ambiguous

4+ (tuple 1:14

5+ (face 1:15 x (str 1:17 "hi"))

6+ (face 1:22 x (lit 1:24 ~zod)))))

tests/golden/types-module-field-ambiguous/modules.txtnew file+1

@@ -0,0 +1 @@

1+/ui/lib.jibb

tests/golden/types-module-field-ambiguous/modules/ui/lib.jibbnew file+1

@@ -0,0 +1 @@

1+++ ambiguous [x="hi" x=~zod]

tests/golden/types-module-field-ambiguous/source.jibbnew file+2

@@ -0,0 +1,2 @@

1+/= lib /ui/lib

2+++ value x.ambiguous.lib

tests/golden/types-module-field-ambiguous/tokens.txtnew file+11

@@ -0,0 +1,11 @@

1+1:1 glyph /=

2+1:4 name lib

3+1:8 glyph /

4+1:9 tight knot ui

5+1:11 tight glyph /

6+1:12 tight knot lib

7+2:1 NEWLINE

8+2:1 glyph ++

9+2:4 name value

10+2:10 wing x.ambiguous.lib

11+2:25 NEWLINE

tests/golden/types-module-field-ambiguous/tree.txtnew file+3

@@ -0,0 +1,3 @@

1+(module

2+ (jibb 1:1 lib /ui/lib)

3+ (value 2:1 value (wing 2:10 x.ambiguous.lib)))

tests/golden/types-module-field-ambiguous/types.txtnew file+2

@@ -0,0 +1,2 @@

1+partial inference; module not checked

2+++ value: field name is ambiguous in partial inference

tests/golden/types-module-field-nonrecord/about.txtnew file+4

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

1+source: Grammar, Expressions and Imports: a wing selects a named field, and a module import gives access through its face.

2+tests: Accessing a field through an imported cord stays unsupported instead of assuming that it is a record.

3+expect: parses

4+expect-types: a partial inference report

tests/golden/types-module-field-nonrecord/module-trees.txtnew file+12

@@ -0,0 +1,12 @@

1+/ui/lib.jibb

2+(module

3+ (value 1:1 profile

4+ (tuple 1:12

5+ (face 1:13 title (str 1:19 "Hello"))

6+ (face 1:27 address

7+ (tuple 1:35

8+ (face 1:36 zip (str 1:40 "N1"))))))

9+ (value 2:1 template

10+ (tuple 2:13

11+ (face 2:14 f

12+ (gate-wide 2:16 (bind 2:19 x) (wing 2:21 x))))))

tests/golden/types-module-field-nonrecord/modules.txtnew file+1

@@ -0,0 +1 @@

1+/ui/lib.jibb

tests/golden/types-module-field-nonrecord/modules/ui/lib.jibbnew file+2

@@ -0,0 +1,2 @@

1+++ profile [title="Hello" address=[zip="N1"]]

2+++ template [f=|=(x x)]

tests/golden/types-module-field-nonrecord/source.jibbnew file+2

@@ -0,0 +1,2 @@

1+/= lib /ui/lib

2+++ wrong field.title.profile.lib

tests/golden/types-module-field-nonrecord/tokens.txtnew file+11

@@ -0,0 +1,11 @@

1+1:1 glyph /=

2+1:4 name lib

3+1:8 glyph /

4+1:9 tight knot ui

5+1:11 tight glyph /

6+1:12 tight knot lib

7+2:1 NEWLINE

8+2:1 glyph ++

9+2:4 name wrong

10+2:10 wing field.title.profile.lib

11+2:33 NEWLINE

tests/golden/types-module-field-nonrecord/tree.txtnew file+3

@@ -0,0 +1,3 @@

1+(module

2+ (jibb 1:1 lib /ui/lib)

3+ (value 2:1 wrong (wing 2:10 field.title.profile.lib)))

tests/golden/types-module-field-nonrecord/types.txtnew file+2

@@ -0,0 +1,2 @@

1+partial inference; module not checked

2+++ wrong: field is not available to partial inference

tests/golden/types-module-field-path/about.txtnew file+4

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

1+source: Grammar, Expressions and Imports: a wing selects a named field, and a module import gives access through its face.

2+tests: An imported value can be a faced record; nested wings and independent uses of a generic gate field retain their types. Missing members and fields remain unsupported, and a local name does not change the import face.

3+expect: parses

4+expect-types: a partial inference report

tests/golden/types-module-field-path/module-trees.txtnew file+12

@@ -0,0 +1,12 @@

1+/ui/lib.jibb

2+(module

3+ (value 1:1 profile

4+ (tuple 1:12

5+ (face 1:13 title (str 1:19 "Hello"))

6+ (face 1:27 address

7+ (tuple 1:35

8+ (face 1:36 zip (str 1:40 "N1"))))))

9+ (value 2:1 template

10+ (tuple 2:13

11+ (face 2:14 f

12+ (gate-wide 2:16 (bind 2:19 x) (wing 2:21 x))))))

tests/golden/types-module-field-path/modules.txtnew file+1

@@ -0,0 +1 @@

1+/ui/lib.jibb

tests/golden/types-module-field-path/modules/ui/lib.jibbnew file+2

@@ -0,0 +1,2 @@

1+++ profile [title="Hello" address=[zip="N1"]]

2+++ template [f=|=(x x)]

tests/golden/types-module-field-path/source.jibbnew file+9

@@ -0,0 +1,9 @@

1+/= lib /ui/lib

2+++ title title.profile.lib

3+++ zip zip.address.profile.lib

4+++ first (f.template.lib "hi")

5+++ second (f.template.lib ~zod)

6+++ absent nope.profile.lib

7+++ absent-root title.nope.lib

8+++ profile "local"

9+++ use-again title.profile.lib

tests/golden/types-module-field-path/tokens.txtnew file+45

@@ -0,0 +1,45 @@

1+1:1 glyph /=

2+1:4 name lib

3+1:8 glyph /

4+1:9 tight knot ui

5+1:11 tight glyph /

6+1:12 tight knot lib

7+2:1 NEWLINE

8+2:1 glyph ++

9+2:4 name title

10+2:10 wing title.profile.lib

11+3:1 NEWLINE

12+3:1 glyph ++

13+3:4 name zip

14+3:8 wing zip.address.profile.lib

15+4:1 NEWLINE

16+4:1 glyph ++

17+4:4 name first

18+4:10 glyph (

19+4:11 tight wing f.template.lib

20+4:26 str "hi"

21+4:30 tight glyph )

22+5:1 NEWLINE

23+5:1 glyph ++

24+5:4 name second

25+5:11 glyph (

26+5:12 tight wing f.template.lib

27+5:27 lit ~zod

28+5:31 tight glyph )

29+6:1 NEWLINE

30+6:1 glyph ++

31+6:4 name absent

32+6:11 wing nope.profile.lib

33+7:1 NEWLINE

34+7:1 glyph ++

35+7:4 name absent-root

36+7:16 wing title.nope.lib

37+8:1 NEWLINE

38+8:1 glyph ++

39+8:4 name profile

40+8:12 str "local"

41+9:1 NEWLINE

42+9:1 glyph ++

43+9:4 name use-again

44+9:14 wing title.profile.lib

45+9:31 NEWLINE

tests/golden/types-module-field-path/tree.txtnew file+14

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

1+(module

2+ (jibb 1:1 lib /ui/lib)

3+ (value 2:1 title (wing 2:10 title.profile.lib))

4+ (value 3:1 zip (wing 3:8 zip.address.profile.lib))

5+ (value 4:1 first

6+ (group 4:10

7+ (call 4:11 (wing 4:11 f.template.lib) (str 4:26 "hi"))))

8+ (value 5:1 second

9+ (group 5:11

10+ (call 5:12 (wing 5:12 f.template.lib) (lit 5:27 ~zod))))

11+ (value 6:1 absent (wing 6:11 nope.profile.lib))

12+ (value 7:1 absent-root (wing 7:16 title.nope.lib))

13+ (value 8:1 profile (str 8:12 "local"))

14+ (value 9:1 use-again (wing 9:14 title.profile.lib)))

tests/golden/types-module-field-path/types.txtnew file+9

@@ -0,0 +1,9 @@

1+partial inference; module not checked

2+++ title: @t

3+++ zip: @t

4+++ first: @t

5+++ second: @p

6+++ absent: field is not available to partial inference

7+++ absent-root: module member is not available to partial inference

8+++ profile: @t

9+++ use-again: @t

tests/golden/types-module-field-shadow/about.txtnew file+4

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

1+source: Grammar, Expressions and Imports: a wing selects a named field, and a module import gives access through its face.

2+tests: A gate sample cannot shadow an imported module face.

3+expect: parses

4+expect-types: a partial inference report

tests/golden/types-module-field-shadow/module-trees.txtnew file+12

@@ -0,0 +1,12 @@

1+/ui/lib.jibb

2+(module

3+ (value 1:1 profile

4+ (tuple 1:12

5+ (face 1:13 title (str 1:19 "Hello"))

6+ (face 1:27 address

7+ (tuple 1:35

8+ (face 1:36 zip (str 1:40 "N1"))))))

9+ (value 2:1 template

10+ (tuple 2:13

11+ (face 2:14 f

12+ (gate-wide 2:16 (bind 2:19 x) (wing 2:21 x))))))

tests/golden/types-module-field-shadow/modules.txtnew file+1

@@ -0,0 +1 @@

1+/ui/lib.jibb

tests/golden/types-module-field-shadow/modules/ui/lib.jibbnew file+2

@@ -0,0 +1,2 @@

1+++ profile [title="Hello" address=[zip="N1"]]

2+++ template [f=|=(x x)]

tests/golden/types-module-field-shadow/source.jibbnew file+2

@@ -0,0 +1,2 @@

1+/= lib /ui/lib

2+++ bad |= lib=@t title.profile.lib

tests/golden/types-module-field-shadow/tokens.txtnew file+15

@@ -0,0 +1,15 @@

1+1:1 glyph /=

2+1:4 name lib

3+1:8 glyph /

4+1:9 tight knot ui

5+1:11 tight glyph /

6+1:12 tight knot lib

7+2:1 NEWLINE

8+2:1 glyph ++

9+2:4 name bad

10+2:8 glyph |=

11+2:11 name lib

12+2:14 tight glyph =

13+2:15 tight aura @t

14+2:18 wing title.profile.lib

15+2:35 NEWLINE

tests/golden/types-module-field-shadow/tree.txtnew file+6

@@ -0,0 +1,6 @@

1+(module

2+ (jibb 1:1 lib /ui/lib)

3+ (value 2:1 bad

4+ (gate 2:8

5+ (face 2:11 lib (aura 2:15 @t))

6+ (wing 2:18 title.profile.lib))))

tests/golden/types-module-field-shadow/types.txtnew file+2

@@ -0,0 +1,2 @@

1+partial inference; module not checked

2+++ bad: sample shadows a name

tests/lib/jibb.hoon+602−570

@@ -1567,469 +1567,493 @@

15671567/* tok-454 %txt /tests/golden/types-missing-tag-named/tokens/txt

15681568/* tre-454 %txt /tests/golden/types-missing-tag-named/tree/txt

15691569/* typ-454 %txt /tests/golden/types-missing-tag-named/types/txt

1570−/* src-455 %jibb /tests/golden/types-module-fixtures/source/jibb

1571−/* tok-455 %txt /tests/golden/types-module-fixtures/tokens/txt

1572−/* tre-455 %txt /tests/golden/types-module-fixtures/tree/txt

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

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

1575−/* typ-455 %txt /tests/golden/types-module-fixtures/types/txt

1576−/* mtre-455 %txt /tests/golden/types-module-fixtures/module-trees/txt

1577−/* src-456 %jibb /tests/golden/types-module-mixed/source/jibb

1578−/* tok-456 %txt /tests/golden/types-module-mixed/tokens/txt

1579−/* tre-456 %txt /tests/golden/types-module-mixed/tree/txt

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

1581−/* typ-456 %txt /tests/golden/types-module-mixed/types/txt

1582−/* imp-456-1 %txt /tests/golden/types-module-mixed/sur/fixture/txt

1583−/* mark-456-1 %txt /tests/golden/types-module-mixed/mar/label/txt

1584−/* mtre-456 %txt /tests/golden/types-module-mixed/module-trees/txt

1585−/* src-457 %jibb /tests/golden/types-multi-call/source/jibb

1586−/* tok-457 %txt /tests/golden/types-multi-call/tokens/txt

1587−/* tre-457 %txt /tests/golden/types-multi-call/tree/txt

1588−/* typ-457 %txt /tests/golden/types-multi-call/types/txt

1589−/* src-458 %jibb /tests/golden/types-multi-import/source/jibb

1590−/* tok-458 %txt /tests/golden/types-multi-import/tokens/txt

1591−/* tre-458 %txt /tests/golden/types-multi-import/tree/txt

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

1593−/* typ-458 %txt /tests/golden/types-multi-import/types/txt

1594−/* mtre-458 %txt /tests/golden/types-multi-import/module-trees/txt

1595−/* src-459 %jibb /tests/golden/types-nested-missing-tag/source/jibb

1596−/* tok-459 %txt /tests/golden/types-nested-missing-tag/tokens/txt

1597−/* tre-459 %txt /tests/golden/types-nested-missing-tag/tree/txt

1598−/* typ-459 %txt /tests/golden/types-nested-missing-tag/types/txt

1599−/* src-460 %jibb /tests/golden/types-null-context/source/jibb

1600−/* tok-460 %txt /tests/golden/types-null-context/tokens/txt

1601−/* tre-460 %txt /tests/golden/types-null-context/tree/txt

1602−/* typ-460 %txt /tests/golden/types-null-context/types/txt

1603−/* src-461 %jibb /tests/golden/types-null-overlap/source/jibb

1604−/* tok-461 %txt /tests/golden/types-null-overlap/tokens/txt

1605−/* tre-461 %txt /tests/golden/types-null-overlap/tree/txt

1606−/* typ-461 %txt /tests/golden/types-null-overlap/types/txt

1607−/* src-462 %jibb /tests/golden/types-null-unresolved/source/jibb

1608−/* tok-462 %txt /tests/golden/types-null-unresolved/tokens/txt

1609−/* tre-462 %txt /tests/golden/types-null-unresolved/tree/txt

1610−/* typ-462 %txt /tests/golden/types-null-unresolved/types/txt

1611−/* src-463 %jibb /tests/golden/types-partial-apply/source/jibb

1612−/* tok-463 %txt /tests/golden/types-partial-apply/tokens/txt

1613−/* tre-463 %txt /tests/golden/types-partial-apply/tree/txt

1614−/* typ-463 %txt /tests/golden/types-partial-apply/types/txt

1615−/* src-464 %jibb /tests/golden/types-partial-atom-alias/source/jibb

1616−/* tok-464 %txt /tests/golden/types-partial-atom-alias/tokens/txt

1617−/* tre-464 %txt /tests/golden/types-partial-atom-alias/tree/txt

1618−/* typ-464 %txt /tests/golden/types-partial-atom-alias/types/txt

1619−/* src-465 %jibb /tests/golden/types-partial-atom-constraint/source/jibb

1620−/* tok-465 %txt /tests/golden/types-partial-atom-constraint/tokens/txt

1621−/* tre-465 %txt /tests/golden/types-partial-atom-constraint/tree/txt

1622−/* typ-465 %txt /tests/golden/types-partial-atom-constraint/types/txt

1623−/* src-466 %jibb /tests/golden/types-partial-atom-widening/source/jibb

1624−/* tok-466 %txt /tests/golden/types-partial-atom-widening/tokens/txt

1625−/* tre-466 %txt /tests/golden/types-partial-atom-widening/tree/txt

1626−/* typ-466 %txt /tests/golden/types-partial-atom-widening/types/txt

1627−/* src-467 %jibb /tests/golden/types-partial-aura/source/jibb

1628−/* tok-467 %txt /tests/golden/types-partial-aura/tokens/txt

1629−/* tre-467 %txt /tests/golden/types-partial-aura/tree/txt

1630−/* typ-467 %txt /tests/golden/types-partial-aura/types/txt

1631−/* src-468 %jibb /tests/golden/types-partial-aura-family/source/jibb

1632−/* tok-468 %txt /tests/golden/types-partial-aura-family/tokens/txt

1633−/* tre-468 %txt /tests/golden/types-partial-aura-family/tree/txt

1634−/* typ-468 %txt /tests/golden/types-partial-aura-family/types/txt

1635−/* src-469 %jibb /tests/golden/types-partial-aura-generalization/source/jibb

1636−/* tok-469 %txt /tests/golden/types-partial-aura-generalization/tokens/txt

1637−/* tre-469 %txt /tests/golden/types-partial-aura-generalization/tree/txt

1638−/* typ-469 %txt /tests/golden/types-partial-aura-generalization/types/txt

1639−/* src-470 %jibb /tests/golden/types-partial-bare-atom/source/jibb

1640−/* tok-470 %txt /tests/golden/types-partial-bare-atom/tokens/txt

1641−/* tre-470 %txt /tests/golden/types-partial-bare-atom/tree/txt

1642−/* typ-470 %txt /tests/golden/types-partial-bare-atom/types/txt

1643−/* src-471 %jibb /tests/golden/types-partial-branch-widening/source/jibb

1644−/* tok-471 %txt /tests/golden/types-partial-branch-widening/tokens/txt

1645−/* tre-471 %txt /tests/golden/types-partial-branch-widening/tree/txt

1646−/* typ-471 %txt /tests/golden/types-partial-branch-widening/types/txt

1647−/* src-472 %jibb /tests/golden/types-partial-conflicting-sites/source/jibb

1648−/* tok-472 %txt /tests/golden/types-partial-conflicting-sites/tokens/txt

1649−/* tre-472 %txt /tests/golden/types-partial-conflicting-sites/tree/txt

1650−/* typ-472 %txt /tests/golden/types-partial-conflicting-sites/types/txt

1651−/* src-473 %jibb /tests/golden/types-partial-decimal-default/source/jibb

1652−/* tok-473 %txt /tests/golden/types-partial-decimal-default/tokens/txt

1653−/* tre-473 %txt /tests/golden/types-partial-decimal-default/tree/txt

1654−/* typ-473 %txt /tests/golden/types-partial-decimal-default/types/txt

1655−/* src-474 %jibb /tests/golden/types-partial-dependency-chain/source/jibb

1656−/* tok-474 %txt /tests/golden/types-partial-dependency-chain/tokens/txt

1657−/* tre-474 %txt /tests/golden/types-partial-dependency-chain/tree/txt

1658−/* typ-474 %txt /tests/golden/types-partial-dependency-chain/types/txt

1659−/* src-475 %jibb /tests/golden/types-partial-explicit-capital/source/jibb

1660−/* tok-475 %txt /tests/golden/types-partial-explicit-capital/tokens/txt

1661−/* tre-475 %txt /tests/golden/types-partial-explicit-capital/tree/txt

1662−/* typ-475 %txt /tests/golden/types-partial-explicit-capital/types/txt

1663−/* src-476 %jibb /tests/golden/types-partial-forward/source/jibb

1664−/* tok-476 %txt /tests/golden/types-partial-forward/tokens/txt

1665−/* tre-476 %txt /tests/golden/types-partial-forward/tree/txt

1666−/* typ-476 %txt /tests/golden/types-partial-forward/types/txt

1667−/* src-477 %jibb /tests/golden/types-partial-generalization/source/jibb

1668−/* tok-477 %txt /tests/golden/types-partial-generalization/tokens/txt

1669−/* tre-477 %txt /tests/golden/types-partial-generalization/tree/txt

1670−/* typ-477 %txt /tests/golden/types-partial-generalization/types/txt

1671−/* src-478 %jibb /tests/golden/types-partial-identity/source/jibb

1672−/* tok-478 %txt /tests/golden/types-partial-identity/tokens/txt

1673−/* tre-478 %txt /tests/golden/types-partial-identity/tree/txt

1674−/* typ-478 %txt /tests/golden/types-partial-identity/types/txt

1675−/* src-479 %jibb /tests/golden/types-partial-independent-atoms/source/jibb

1676−/* tok-479 %txt /tests/golden/types-partial-independent-atoms/tokens/txt

1677−/* tre-479 %txt /tests/golden/types-partial-independent-atoms/tree/txt

1678−/* typ-479 %txt /tests/golden/types-partial-independent-atoms/types/txt

1679−/* src-480 %jibb /tests/golden/types-partial-local-molds/source/jibb

1680−/* tok-480 %txt /tests/golden/types-partial-local-molds/tokens/txt

1681−/* tre-480 %txt /tests/golden/types-partial-local-molds/tree/txt

1682−/* typ-480 %txt /tests/golden/types-partial-local-molds/types/txt

1683−/* src-481 %jibb /tests/golden/types-partial-locals/source/jibb

1684−/* tok-481 %txt /tests/golden/types-partial-locals/tokens/txt

1685−/* tre-481 %txt /tests/golden/types-partial-locals/tree/txt

1686−/* typ-481 %txt /tests/golden/types-partial-locals/types/txt

1687−/* src-482 %jibb /tests/golden/types-partial-many-atom-constraints/source/jibb

1688−/* tok-482 %txt /tests/golden/types-partial-many-atom-constraints/tokens/txt

1689−/* tre-482 %txt /tests/golden/types-partial-many-atom-constraints/tree/txt

1690−/* typ-482 %txt /tests/golden/types-partial-many-atom-constraints/types/txt

1691−/* src-483 %jibb /tests/golden/types-partial-mold-bare-aura/source/jibb

1692−/* tok-483 %txt /tests/golden/types-partial-mold-bare-aura/tokens/txt

1693−/* tre-483 %txt /tests/golden/types-partial-mold-bare-aura/tree/txt

1694−/* typ-483 %txt /tests/golden/types-partial-mold-bare-aura/types/txt

1695−/* src-484 %jibb /tests/golden/types-partial-mold-composite/source/jibb

1696−/* tok-484 %txt /tests/golden/types-partial-mold-composite/tokens/txt

1697−/* tre-484 %txt /tests/golden/types-partial-mold-composite/tree/txt

1698−/* typ-484 %txt /tests/golden/types-partial-mold-composite/types/txt

1699−/* src-485 %jibb /tests/golden/types-partial-mold-forward/source/jibb

1700−/* tok-485 %txt /tests/golden/types-partial-mold-forward/tokens/txt

1701−/* tre-485 %txt /tests/golden/types-partial-mold-forward/tree/txt

1702−/* typ-485 %txt /tests/golden/types-partial-mold-forward/types/txt

1703−/* src-486 %jibb /tests/golden/types-partial-mold-recursive/source/jibb

1704−/* tok-486 %txt /tests/golden/types-partial-mold-recursive/tokens/txt

1705−/* tre-486 %txt /tests/golden/types-partial-mold-recursive/tree/txt

1706−/* typ-486 %txt /tests/golden/types-partial-mold-recursive/types/txt

1707−/* src-487 %jibb /tests/golden/types-partial-occurs/source/jibb

1708−/* tok-487 %txt /tests/golden/types-partial-occurs/tokens/txt

1709−/* tre-487 %txt /tests/golden/types-partial-occurs/tree/txt

1710−/* typ-487 %txt /tests/golden/types-partial-occurs/types/txt

1711−/* src-488 %jibb /tests/golden/types-partial-projection/source/jibb

1712−/* tok-488 %txt /tests/golden/types-partial-projection/tokens/txt

1713−/* tre-488 %txt /tests/golden/types-partial-projection/tree/txt

1714−/* typ-488 %txt /tests/golden/types-partial-projection/types/txt

1715−/* src-489 %jibb /tests/golden/types-partial-shadow-global/source/jibb

1716−/* tok-489 %txt /tests/golden/types-partial-shadow-global/tokens/txt

1717−/* tre-489 %txt /tests/golden/types-partial-shadow-global/tree/txt

1718−/* typ-489 %txt /tests/golden/types-partial-shadow-global/types/txt

1719−/* src-490 %jibb /tests/golden/types-partial-shared-tvar/source/jibb

1720−/* tok-490 %txt /tests/golden/types-partial-shared-tvar/tokens/txt

1721−/* tre-490 %txt /tests/golden/types-partial-shared-tvar/tree/txt

1722−/* typ-490 %txt /tests/golden/types-partial-shared-tvar/types/txt

1723−/* src-491 %jibb /tests/golden/types-partial-union-cases/source/jibb

1724−/* tok-491 %txt /tests/golden/types-partial-union-cases/tokens/txt

1725−/* tre-491 %txt /tests/golden/types-partial-union-cases/tree/txt

1726−/* typ-491 %txt /tests/golden/types-partial-union-cases/types/txt

1727−/* src-492 %jibb /tests/golden/types-partial-union-edges/source/jibb

1728−/* tok-492 %txt /tests/golden/types-partial-union-edges/tokens/txt

1729−/* tre-492 %txt /tests/golden/types-partial-union-edges/tree/txt

1730−/* typ-492 %txt /tests/golden/types-partial-union-edges/types/txt

1731−/* src-493 %jibb /tests/golden/types-partial-unresolved-tag/source/jibb

1732−/* tok-493 %txt /tests/golden/types-partial-unresolved-tag/tokens/txt

1733−/* tre-493 %txt /tests/golden/types-partial-unresolved-tag/tree/txt

1734−/* typ-493 %txt /tests/golden/types-partial-unresolved-tag/types/txt

1735−/* src-494 %jibb /tests/golden/types-prelude-direct/source/jibb

1736−/* tok-494 %txt /tests/golden/types-prelude-direct/tokens/txt

1737−/* tre-494 %txt /tests/golden/types-prelude-direct/tree/txt

1738−/* typ-494 %txt /tests/golden/types-prelude-direct/types/txt

1739−/* src-495 %jibb /tests/golden/types-prelude-interface/source/jibb

1740−/* tok-495 %txt /tests/golden/types-prelude-interface/tokens/txt

1741−/* tre-495 %txt /tests/golden/types-prelude-interface/tree/txt

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

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

1744−/* typ-495 %txt /tests/golden/types-prelude-interface/types/txt

1745−/* mtre-495 %txt /tests/golden/types-prelude-interface/module-trees/txt

1746−/* src-496 %jibb /tests/golden/types-prelude-list-functions/source/jibb

1747−/* tok-496 %txt /tests/golden/types-prelude-list-functions/tokens/txt

1748−/* tre-496 %txt /tests/golden/types-prelude-list-functions/tree/txt

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

1750−/* typ-496 %txt /tests/golden/types-prelude-list-functions/types/txt

1751−/* mtre-496 %txt /tests/golden/types-prelude-list-functions/module-trees/txt

1752−/* src-497 %jibb /tests/golden/types-prelude-list-helpers/source/jibb

1753−/* tok-497 %txt /tests/golden/types-prelude-list-helpers/tokens/txt

1754−/* tre-497 %txt /tests/golden/types-prelude-list-helpers/tree/txt

1755−/* typ-497 %txt /tests/golden/types-prelude-list-helpers/types/txt

1756−/* src-498 %jibb /tests/golden/types-prelude-unit-helpers/source/jibb

1757−/* tok-498 %txt /tests/golden/types-prelude-unit-helpers/tokens/txt

1758−/* tre-498 %txt /tests/golden/types-prelude-unit-helpers/tree/txt

1759−/* typ-498 %txt /tests/golden/types-prelude-unit-helpers/types/txt

1760−/* src-499 %jibb /tests/golden/types-record-bound-variable/source/jibb

1761−/* tok-499 %txt /tests/golden/types-record-bound-variable/tokens/txt

1762−/* tre-499 %txt /tests/golden/types-record-bound-variable/tree/txt

1763−/* typ-499 %txt /tests/golden/types-record-bound-variable/types/txt

1764−/* src-500 %jibb /tests/golden/types-record-cast-context/source/jibb

1765−/* tok-500 %txt /tests/golden/types-record-cast-context/tokens/txt

1766−/* tre-500 %txt /tests/golden/types-record-cast-context/tree/txt

1767−/* typ-500 %txt /tests/golden/types-record-cast-context/types/txt

1768−/* src-501 %jibb /tests/golden/types-record-change/source/jibb

1769−/* tok-501 %txt /tests/golden/types-record-change/tokens/txt

1770−/* tre-501 %txt /tests/golden/types-record-change/tree/txt

1771−/* typ-501 %txt /tests/golden/types-record-change/types/txt

1772−/* src-502 %jibb /tests/golden/types-record-change-generic/source/jibb

1773−/* tok-502 %txt /tests/golden/types-record-change-generic/tokens/txt

1774−/* tre-502 %txt /tests/golden/types-record-change-generic/tree/txt

1775−/* typ-502 %txt /tests/golden/types-record-change-generic/types/txt

1776−/* src-503 %jibb /tests/golden/types-record-faces/source/jibb

1777−/* tok-503 %txt /tests/golden/types-record-faces/tokens/txt

1778−/* tre-503 %txt /tests/golden/types-record-faces/tree/txt

1779−/* typ-503 %txt /tests/golden/types-record-faces/types/txt

1780−/* src-504 %jibb /tests/golden/types-record-import/source/jibb

1781−/* tok-504 %txt /tests/golden/types-record-import/tokens/txt

1782−/* tre-504 %txt /tests/golden/types-record-import/tree/txt

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

1784−/* typ-504 %txt /tests/golden/types-record-import/types/txt

1785−/* mtre-504 %txt /tests/golden/types-record-import/module-trees/txt

1786−/* src-505 %jibb /tests/golden/types-record-local-scheme/source/jibb

1787−/* tok-505 %txt /tests/golden/types-record-local-scheme/tokens/txt

1788−/* tre-505 %txt /tests/golden/types-record-local-scheme/tree/txt

1789−/* typ-505 %txt /tests/golden/types-record-local-scheme/types/txt

1790−/* src-506 %jibb /tests/golden/types-record-nested/source/jibb

1791−/* tok-506 %txt /tests/golden/types-record-nested/tokens/txt

1792−/* tre-506 %txt /tests/golden/types-record-nested/tree/txt

1793−/* typ-506 %txt /tests/golden/types-record-nested/types/txt

1794−/* src-507 %jibb /tests/golden/types-record-to-tuple/source/jibb

1795−/* tok-507 %txt /tests/golden/types-record-to-tuple/tokens/txt

1796−/* tre-507 %txt /tests/golden/types-record-to-tuple/tree/txt

1797−/* typ-507 %txt /tests/golden/types-record-to-tuple/types/txt

1798−/* src-508 %jibb /tests/golden/types-recursion-scc-failures/source/jibb

1799−/* tok-508 %txt /tests/golden/types-recursion-scc-failures/tokens/txt

1800−/* tre-508 %txt /tests/golden/types-recursion-scc-failures/tree/txt

1801−/* typ-508 %txt /tests/golden/types-recursion-scc-failures/types/txt

1802−/* src-509 %jibb /tests/golden/types-recursion-scc-groups/source/jibb

1803−/* tok-509 %txt /tests/golden/types-recursion-scc-groups/tokens/txt

1804−/* tre-509 %txt /tests/golden/types-recursion-scc-groups/tree/txt

1805−/* typ-509 %txt /tests/golden/types-recursion-scc-groups/types/txt

1806−/* src-510 %jibb /tests/golden/types-recursion-scc-import/source/jibb

1807−/* tok-510 %txt /tests/golden/types-recursion-scc-import/tokens/txt

1808−/* tre-510 %txt /tests/golden/types-recursion-scc-import/tree/txt

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

1810−/* typ-510 %txt /tests/golden/types-recursion-scc-import/types/txt

1811−/* mtre-510 %txt /tests/golden/types-recursion-scc-import/module-trees/txt

1812−/* src-511 %jibb /tests/golden/types-recursion-scc-import-bad/source/jibb

1813−/* tok-511 %txt /tests/golden/types-recursion-scc-import-bad/tokens/txt

1814−/* tre-511 %txt /tests/golden/types-recursion-scc-import-bad/tree/txt

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

1816−/* typ-511 %txt /tests/golden/types-recursion-scc-import-bad/types/txt

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

1818−/* src-512 %jibb /tests/golden/types-recursion-scc-local/source/jibb

1819−/* tok-512 %txt /tests/golden/types-recursion-scc-local/tokens/txt

1820−/* tre-512 %txt /tests/golden/types-recursion-scc-local/tree/txt

1821−/* typ-512 %txt /tests/golden/types-recursion-scc-local/types/txt

1822−/* src-513 %jibb /tests/golden/types-recursion-scc-order/source/jibb

1823−/* tok-513 %txt /tests/golden/types-recursion-scc-order/tokens/txt

1824−/* tre-513 %txt /tests/golden/types-recursion-scc-order/tree/txt

1825−/* typ-513 %txt /tests/golden/types-recursion-scc-order/types/txt

1826−/* src-514 %jibb /tests/golden/types-recursion-scc-shadow/source/jibb

1827−/* tok-514 %txt /tests/golden/types-recursion-scc-shadow/tokens/txt

1828−/* tre-514 %txt /tests/golden/types-recursion-scc-shadow/tree/txt

1829−/* typ-514 %txt /tests/golden/types-recursion-scc-shadow/types/txt

1830−/* src-515 %jibb /tests/golden/types-recursive-branch/source/jibb

1831−/* tok-515 %txt /tests/golden/types-recursive-branch/tokens/txt

1832−/* tre-515 %txt /tests/golden/types-recursive-branch/tree/txt

1833−/* typ-515 %txt /tests/golden/types-recursive-branch/types/txt

1834−/* src-516 %jibb /tests/golden/types-recursive-gate/source/jibb

1835−/* tok-516 %txt /tests/golden/types-recursive-gate/tokens/txt

1836−/* tre-516 %txt /tests/golden/types-recursive-gate/tree/txt

1837−/* typ-516 %txt /tests/golden/types-recursive-gate/types/txt

1838−/* src-517 %jibb /tests/golden/types-recursive-sample/source/jibb

1839−/* tok-517 %txt /tests/golden/types-recursive-sample/tokens/txt

1840−/* tre-517 %txt /tests/golden/types-recursive-sample/tree/txt

1841−/* typ-517 %txt /tests/golden/types-recursive-sample/types/txt

1842−/* src-518 %jibb /tests/golden/types-scope-library-poke/source/jibb

1843−/* tok-518 %txt /tests/golden/types-scope-library-poke/tokens/txt

1844−/* tre-518 %txt /tests/golden/types-scope-library-poke/tree/txt

1845−/* typ-518 %txt /tests/golden/types-scope-library-poke/types/txt

1846−/* src-519 %jibb /tests/golden/types-scope-root-api/source/jibb

1847−/* tok-519 %txt /tests/golden/types-scope-root-api/tokens/txt

1848−/* tre-519 %txt /tests/golden/types-scope-root-api/tree/txt

1849−/* typ-519 %txt /tests/golden/types-scope-root-api/types/txt

1850−/* src-520 %jibb /tests/golden/types-scope-store-duplicate/source/jibb

1851−/* tok-520 %txt /tests/golden/types-scope-store-duplicate/tokens/txt

1852−/* tre-520 %txt /tests/golden/types-scope-store-duplicate/tree/txt

1853−/* typ-520 %txt /tests/golden/types-scope-store-duplicate/types/txt

1854−/* src-521 %jibb /tests/golden/types-scope-store-shadow/source/jibb

1855−/* tok-521 %txt /tests/golden/types-scope-store-shadow/tokens/txt

1856−/* tre-521 %txt /tests/golden/types-scope-store-shadow/tree/txt

1857−/* typ-521 %txt /tests/golden/types-scope-store-shadow/types/txt

1858−/* src-522 %jibb /tests/golden/types-string-interpolation/source/jibb

1859−/* tok-522 %txt /tests/golden/types-string-interpolation/tokens/txt

1860−/* tre-522 %txt /tests/golden/types-string-interpolation/tree/txt

1861−/* typ-522 %txt /tests/golden/types-string-interpolation/types/txt

1862−/* src-523 %jibb /tests/golden/types-tuple-context/source/jibb

1863−/* tok-523 %txt /tests/golden/types-tuple-context/tokens/txt

1864−/* tre-523 %txt /tests/golden/types-tuple-context/tree/txt

1865−/* typ-523 %txt /tests/golden/types-tuple-context/types/txt

1866−/* src-524 %jibb /tests/golden/types-tuple-context-nested/source/jibb

1867−/* tok-524 %txt /tests/golden/types-tuple-context-nested/tokens/txt

1868−/* tre-524 %txt /tests/golden/types-tuple-context-nested/tree/txt

1869−/* typ-524 %txt /tests/golden/types-tuple-context-nested/types/txt

1870−/* src-525 %jibb /tests/golden/types-union-alias/source/jibb

1871−/* tok-525 %txt /tests/golden/types-union-alias/tokens/txt

1872−/* tre-525 %txt /tests/golden/types-union-alias/tree/txt

1873−/* typ-525 %txt /tests/golden/types-union-alias/types/txt

1874−/* src-526 %jibb /tests/golden/types-union-branch-context/source/jibb

1875−/* tok-526 %txt /tests/golden/types-union-branch-context/tokens/txt

1876−/* tre-526 %txt /tests/golden/types-union-branch-context/tree/txt

1877−/* typ-526 %txt /tests/golden/types-union-branch-context/types/txt

1878−/* src-527 %jibb /tests/golden/types-union-branch-pending/source/jibb

1879−/* tok-527 %txt /tests/golden/types-union-branch-pending/tokens/txt

1880−/* tre-527 %txt /tests/golden/types-union-branch-pending/tree/txt

1881−/* typ-527 %txt /tests/golden/types-union-branch-pending/types/txt

1882−/* src-528 %jibb /tests/golden/types-union-constructor-shape/source/jibb

1883−/* tok-528 %txt /tests/golden/types-union-constructor-shape/tokens/txt

1884−/* tre-528 %txt /tests/golden/types-union-constructor-shape/tree/txt

1885−/* typ-528 %txt /tests/golden/types-union-constructor-shape/types/txt

1886−/* src-529 %jibb /tests/golden/types-union-context-flow/source/jibb

1887−/* tok-529 %txt /tests/golden/types-union-context-flow/tokens/txt

1888−/* tre-529 %txt /tests/golden/types-union-context-flow/tree/txt

1889−/* typ-529 %txt /tests/golden/types-union-context-flow/types/txt

1890−/* src-530 %jibb /tests/golden/types-union-finite/source/jibb

1891−/* tok-530 %txt /tests/golden/types-union-finite/tokens/txt

1892−/* tre-530 %txt /tests/golden/types-union-finite/tree/txt

1893−/* typ-530 %txt /tests/golden/types-union-finite/types/txt

1894−/* src-531 %jibb /tests/golden/types-union-finite-context/source/jibb

1895−/* tok-531 %txt /tests/golden/types-union-finite-context/tokens/txt

1896−/* tre-531 %txt /tests/golden/types-union-finite-context/tree/txt

1897−/* typ-531 %txt /tests/golden/types-union-finite-context/types/txt

1898−/* src-532 %jibb /tests/golden/types-union-finite-generic/source/jibb

1899−/* tok-532 %txt /tests/golden/types-union-finite-generic/tokens/txt

1900−/* tre-532 %txt /tests/golden/types-union-finite-generic/tree/txt

1901−/* typ-532 %txt /tests/golden/types-union-finite-generic/types/txt

1902−/* src-533 %jibb /tests/golden/types-union-finite-limit/source/jibb

1903−/* tok-533 %txt /tests/golden/types-union-finite-limit/tokens/txt

1904−/* tre-533 %txt /tests/golden/types-union-finite-limit/tree/txt

1905−/* typ-533 %txt /tests/golden/types-union-finite-limit/types/txt

1906−/* src-534 %jibb /tests/golden/types-union-import/source/jibb

1907−/* tok-534 %txt /tests/golden/types-union-import/tokens/txt

1908−/* tre-534 %txt /tests/golden/types-union-import/tree/txt

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

1910−/* typ-534 %txt /tests/golden/types-union-import/types/txt

1911−/* mtre-534 %txt /tests/golden/types-union-import/module-trees/txt

1912−/* src-535 %jibb /tests/golden/types-union-local-pending/source/jibb

1913−/* tok-535 %txt /tests/golden/types-union-local-pending/tokens/txt

1914−/* tre-535 %txt /tests/golden/types-union-local-pending/tree/txt

1915−/* typ-535 %txt /tests/golden/types-union-local-pending/types/txt

1916−/* src-536 %jibb /tests/golden/types-union-overlap/source/jibb

1917−/* tok-536 %txt /tests/golden/types-union-overlap/tokens/txt

1918−/* tre-536 %txt /tests/golden/types-union-overlap/tree/txt

1919−/* typ-536 %txt /tests/golden/types-union-overlap/types/txt

1920−/* src-537 %jibb /tests/golden/types-union-overlap-nested/source/jibb

1921−/* tok-537 %txt /tests/golden/types-union-overlap-nested/tokens/txt

1922−/* tre-537 %txt /tests/golden/types-union-overlap-nested/tree/txt

1923−/* typ-537 %txt /tests/golden/types-union-overlap-nested/types/txt

1924−/* src-538 %jibb /tests/golden/types-union-pattern-result-context/source/jibb

1925−/* tok-538 %txt /tests/golden/types-union-pattern-result-context/tokens/txt

1926−/* tre-538 %txt /tests/golden/types-union-pattern-result-context/tree/txt

1927−/* typ-538 %txt /tests/golden/types-union-pattern-result-context/types/txt

1928−/* src-539 %jibb /tests/golden/types-union-pattern-result-controls/source/jibb

1929−/* tok-539 %txt /tests/golden/types-union-pattern-result-controls/tokens/txt

1930−/* tre-539 %txt /tests/golden/types-union-pattern-result-controls/tree/txt

1931−/* typ-539 %txt /tests/golden/types-union-pattern-result-controls/types/txt

1932−/* src-540 %jibb /tests/golden/types-union-patterns/source/jibb

1933−/* tok-540 %txt /tests/golden/types-union-patterns/tokens/txt

1934−/* tre-540 %txt /tests/golden/types-union-patterns/tree/txt

1935−/* typ-540 %txt /tests/golden/types-union-patterns/types/txt

1936−/* src-541 %jibb /tests/golden/types-union-patterns-generic/source/jibb

1937−/* tok-541 %txt /tests/golden/types-union-patterns-generic/tokens/txt

1938−/* tre-541 %txt /tests/golden/types-union-patterns-generic/tree/txt

1939−/* typ-541 %txt /tests/golden/types-union-patterns-generic/types/txt

1940−/* src-542 %jibb /tests/golden/types-union-patterns-import/source/jibb

1941−/* tok-542 %txt /tests/golden/types-union-patterns-import/tokens/txt

1942−/* tre-542 %txt /tests/golden/types-union-patterns-import/tree/txt

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

1944−/* typ-542 %txt /tests/golden/types-union-patterns-import/types/txt

1945−/* mtre-542 %txt /tests/golden/types-union-patterns-import/module-trees/txt

1946−/* src-543 %jibb /tests/golden/types-union-phantom-generic/source/jibb

1947−/* tok-543 %txt /tests/golden/types-union-phantom-generic/tokens/txt

1948−/* tre-543 %txt /tests/golden/types-union-phantom-generic/tree/txt

1949−/* typ-543 %txt /tests/golden/types-union-phantom-generic/types/txt

1950−/* src-544 %jibb /tests/golden/types-union-print-cross-namespace/source/jibb

1951−/* tok-544 %txt /tests/golden/types-union-print-cross-namespace/tokens/txt

1952−/* tre-544 %txt /tests/golden/types-union-print-cross-namespace/tree/txt

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

1954−/* typ-544 %txt /tests/golden/types-union-print-cross-namespace/types/txt

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

1956−/* src-545 %jibb /tests/golden/types-union-print-distinct/source/jibb

1957−/* tok-545 %txt /tests/golden/types-union-print-distinct/tokens/txt

1958−/* tre-545 %txt /tests/golden/types-union-print-distinct/tree/txt

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

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

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

1962−/* typ-545 %txt /tests/golden/types-union-print-distinct/types/txt

1963−/* mtre-545 %txt /tests/golden/types-union-print-distinct/module-trees/txt

1964−/* src-546 %jibb /tests/golden/types-union-print-escape/source/jibb

1965−/* tok-546 %txt /tests/golden/types-union-print-escape/tokens/txt

1966−/* tre-546 %txt /tests/golden/types-union-print-escape/tree/txt

1967−/* typ-546 %txt /tests/golden/types-union-print-escape/types/txt

1968−/* src-547 %jibb /tests/golden/types-union-print-local/source/jibb

1969−/* tok-547 %txt /tests/golden/types-union-print-local/tokens/txt

1970−/* tre-547 %txt /tests/golden/types-union-print-local/tree/txt

1971−/* typ-547 %txt /tests/golden/types-union-print-local/types/txt

1972−/* src-548 %jibb /tests/golden/types-union-print-nested/source/jibb

1973−/* tok-548 %txt /tests/golden/types-union-print-nested/tokens/txt

1974−/* tre-548 %txt /tests/golden/types-union-print-nested/tree/txt

1975−/* typ-548 %txt /tests/golden/types-union-print-nested/types/txt

1976−/* src-549 %jibb /tests/golden/types-union-print-same-origin/source/jibb

1977−/* tok-549 %txt /tests/golden/types-union-print-same-origin/tokens/txt

1978−/* tre-549 %txt /tests/golden/types-union-print-same-origin/tree/txt

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

1980−/* typ-549 %txt /tests/golden/types-union-print-same-origin/types/txt

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

1982−/* src-550 %jibb /tests/golden/types-union-print-transitive/source/jibb

1983−/* tok-550 %txt /tests/golden/types-union-print-transitive/tokens/txt

1984−/* tre-550 %txt /tests/golden/types-union-print-transitive/tree/txt

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

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

1987−/* typ-550 %txt /tests/golden/types-union-print-transitive/types/txt

1988−/* mtre-550 %txt /tests/golden/types-union-print-transitive/module-trees/txt

1989−/* src-551 %jibb /tests/golden/types-union-singleton/source/jibb

1990−/* tok-551 %txt /tests/golden/types-union-singleton/tokens/txt

1991−/* tre-551 %txt /tests/golden/types-union-singleton/tree/txt

1992−/* typ-551 %txt /tests/golden/types-union-singleton/types/txt

1993−/* src-552 %jibb /tests/golden/types-union-tag-atoms/source/jibb

1994−/* tok-552 %txt /tests/golden/types-union-tag-atoms/tokens/txt

1995−/* tre-552 %txt /tests/golden/types-union-tag-atoms/tree/txt

1996−/* typ-552 %txt /tests/golden/types-union-tag-atoms/types/txt

1997−/* src-553 %jibb /tests/golden/types-union-tags/source/jibb

1998−/* tok-553 %txt /tests/golden/types-union-tags/tokens/txt

1999−/* tre-553 %txt /tests/golden/types-union-tags/tree/txt

2000−/* typ-553 %txt /tests/golden/types-union-tags/types/txt

2001−/* src-554 %jibb /tests/golden/types-union-unresolved/source/jibb

2002−/* tok-554 %txt /tests/golden/types-union-unresolved/tokens/txt

2003−/* tre-554 %txt /tests/golden/types-union-unresolved/tree/txt

2004−/* typ-554 %txt /tests/golden/types-union-unresolved/types/txt

2005−/* src-555 %jibb /tests/golden/types-union-unresolved-flow/source/jibb

2006−/* tok-555 %txt /tests/golden/types-union-unresolved-flow/tokens/txt

2007−/* tre-555 %txt /tests/golden/types-union-unresolved-flow/tree/txt

2008−/* typ-555 %txt /tests/golden/types-union-unresolved-flow/types/txt

2009−/* src-556 %jibb /tests/golden/types-unit-construction/source/jibb

2010−/* tok-556 %txt /tests/golden/types-unit-construction/tokens/txt

2011−/* tre-556 %txt /tests/golden/types-unit-construction/tree/txt

2012−/* typ-556 %txt /tests/golden/types-unit-construction/types/txt

2013−/* src-557 %jibb /tests/golden/types-unit-context/source/jibb

2014−/* tok-557 %txt /tests/golden/types-unit-context/tokens/txt

2015−/* tre-557 %txt /tests/golden/types-unit-context/tree/txt

2016−/* typ-557 %txt /tests/golden/types-unit-context/types/txt

2017−/* src-558 %jibb /tests/golden/types-unit-patterns/source/jibb

2018−/* tok-558 %txt /tests/golden/types-unit-patterns/tokens/txt

2019−/* tre-558 %txt /tests/golden/types-unit-patterns/tree/txt

2020−/* typ-558 %txt /tests/golden/types-unit-patterns/types/txt

2021−/* src-559 %jibb /tests/golden/types-value-cycle-shadow/source/jibb

2022−/* tok-559 %txt /tests/golden/types-value-cycle-shadow/tokens/txt

2023−/* tre-559 %txt /tests/golden/types-value-cycle-shadow/tree/txt

2024−/* typ-559 %txt /tests/golden/types-value-cycle-shadow/types/txt

2025−/* src-560 %jibb /tests/golden/types-value-cycle-unsupported/source/jibb

2026−/* tok-560 %txt /tests/golden/types-value-cycle-unsupported/tokens/txt

2027−/* tre-560 %txt /tests/golden/types-value-cycle-unsupported/tree/txt

2028−/* typ-560 %txt /tests/golden/types-value-cycle-unsupported/types/txt

2029−/* src-561 %jibb /tests/golden/types-value-cycles/source/jibb

2030−/* tok-561 %txt /tests/golden/types-value-cycles/tokens/txt

2031−/* tre-561 %txt /tests/golden/types-value-cycles/tree/txt

2032−/* typ-561 %txt /tests/golden/types-value-cycles/types/txt

1570+/* src-455 %jibb /tests/golden/types-module-field-ambiguous/source/jibb

1571+/* tok-455 %txt /tests/golden/types-module-field-ambiguous/tokens/txt

1572+/* tre-455 %txt /tests/golden/types-module-field-ambiguous/tree/txt

1573+/* mod-455-1 %jibb /tests/golden/types-module-field-ambiguous/modules/ui/lib/jibb

1574+/* typ-455 %txt /tests/golden/types-module-field-ambiguous/types/txt

1575+/* mtre-455 %txt /tests/golden/types-module-field-ambiguous/module-trees/txt

1576+/* src-456 %jibb /tests/golden/types-module-field-nonrecord/source/jibb

1577+/* tok-456 %txt /tests/golden/types-module-field-nonrecord/tokens/txt

1578+/* tre-456 %txt /tests/golden/types-module-field-nonrecord/tree/txt

1579+/* mod-456-1 %jibb /tests/golden/types-module-field-nonrecord/modules/ui/lib/jibb

1580+/* typ-456 %txt /tests/golden/types-module-field-nonrecord/types/txt

1581+/* mtre-456 %txt /tests/golden/types-module-field-nonrecord/module-trees/txt

1582+/* src-457 %jibb /tests/golden/types-module-field-path/source/jibb

1583+/* tok-457 %txt /tests/golden/types-module-field-path/tokens/txt

1584+/* tre-457 %txt /tests/golden/types-module-field-path/tree/txt

1585+/* mod-457-1 %jibb /tests/golden/types-module-field-path/modules/ui/lib/jibb

1586+/* typ-457 %txt /tests/golden/types-module-field-path/types/txt

1587+/* mtre-457 %txt /tests/golden/types-module-field-path/module-trees/txt

1588+/* src-458 %jibb /tests/golden/types-module-field-shadow/source/jibb

1589+/* tok-458 %txt /tests/golden/types-module-field-shadow/tokens/txt

1590+/* tre-458 %txt /tests/golden/types-module-field-shadow/tree/txt

1591+/* mod-458-1 %jibb /tests/golden/types-module-field-shadow/modules/ui/lib/jibb

1592+/* typ-458 %txt /tests/golden/types-module-field-shadow/types/txt

1593+/* mtre-458 %txt /tests/golden/types-module-field-shadow/module-trees/txt

1594+/* src-459 %jibb /tests/golden/types-module-fixtures/source/jibb

1595+/* tok-459 %txt /tests/golden/types-module-fixtures/tokens/txt

1596+/* tre-459 %txt /tests/golden/types-module-fixtures/tree/txt

1597+/* mod-459-1 %jibb /tests/golden/types-module-fixtures/modules/ui/api/blog/jibb

1598+/* mod-459-2 %jibb /tests/golden/types-module-fixtures/modules/ui/components/card/jibb

1599+/* typ-459 %txt /tests/golden/types-module-fixtures/types/txt

1600+/* mtre-459 %txt /tests/golden/types-module-fixtures/module-trees/txt

1601+/* src-460 %jibb /tests/golden/types-module-mixed/source/jibb

1602+/* tok-460 %txt /tests/golden/types-module-mixed/tokens/txt

1603+/* tre-460 %txt /tests/golden/types-module-mixed/tree/txt

1604+/* mod-460-1 %jibb /tests/golden/types-module-mixed/modules/ui/helper/jibb

1605+/* typ-460 %txt /tests/golden/types-module-mixed/types/txt

1606+/* imp-460-1 %txt /tests/golden/types-module-mixed/sur/fixture/txt

1607+/* mark-460-1 %txt /tests/golden/types-module-mixed/mar/label/txt

1608+/* mtre-460 %txt /tests/golden/types-module-mixed/module-trees/txt

1609+/* src-461 %jibb /tests/golden/types-multi-call/source/jibb

1610+/* tok-461 %txt /tests/golden/types-multi-call/tokens/txt

1611+/* tre-461 %txt /tests/golden/types-multi-call/tree/txt

1612+/* typ-461 %txt /tests/golden/types-multi-call/types/txt

1613+/* src-462 %jibb /tests/golden/types-multi-import/source/jibb

1614+/* tok-462 %txt /tests/golden/types-multi-import/tokens/txt

1615+/* tre-462 %txt /tests/golden/types-multi-import/tree/txt

1616+/* mod-462-1 %jibb /tests/golden/types-multi-import/modules/ui/lib/jibb

1617+/* typ-462 %txt /tests/golden/types-multi-import/types/txt

1618+/* mtre-462 %txt /tests/golden/types-multi-import/module-trees/txt

1619+/* src-463 %jibb /tests/golden/types-nested-missing-tag/source/jibb

1620+/* tok-463 %txt /tests/golden/types-nested-missing-tag/tokens/txt

1621+/* tre-463 %txt /tests/golden/types-nested-missing-tag/tree/txt

1622+/* typ-463 %txt /tests/golden/types-nested-missing-tag/types/txt

1623+/* src-464 %jibb /tests/golden/types-null-context/source/jibb

1624+/* tok-464 %txt /tests/golden/types-null-context/tokens/txt

1625+/* tre-464 %txt /tests/golden/types-null-context/tree/txt

1626+/* typ-464 %txt /tests/golden/types-null-context/types/txt

1627+/* src-465 %jibb /tests/golden/types-null-overlap/source/jibb

1628+/* tok-465 %txt /tests/golden/types-null-overlap/tokens/txt

1629+/* tre-465 %txt /tests/golden/types-null-overlap/tree/txt

1630+/* typ-465 %txt /tests/golden/types-null-overlap/types/txt

1631+/* src-466 %jibb /tests/golden/types-null-unresolved/source/jibb

1632+/* tok-466 %txt /tests/golden/types-null-unresolved/tokens/txt

1633+/* tre-466 %txt /tests/golden/types-null-unresolved/tree/txt

1634+/* typ-466 %txt /tests/golden/types-null-unresolved/types/txt

1635+/* src-467 %jibb /tests/golden/types-partial-apply/source/jibb

1636+/* tok-467 %txt /tests/golden/types-partial-apply/tokens/txt

1637+/* tre-467 %txt /tests/golden/types-partial-apply/tree/txt

1638+/* typ-467 %txt /tests/golden/types-partial-apply/types/txt

1639+/* src-468 %jibb /tests/golden/types-partial-atom-alias/source/jibb

1640+/* tok-468 %txt /tests/golden/types-partial-atom-alias/tokens/txt

1641+/* tre-468 %txt /tests/golden/types-partial-atom-alias/tree/txt

1642+/* typ-468 %txt /tests/golden/types-partial-atom-alias/types/txt

1643+/* src-469 %jibb /tests/golden/types-partial-atom-constraint/source/jibb

1644+/* tok-469 %txt /tests/golden/types-partial-atom-constraint/tokens/txt

1645+/* tre-469 %txt /tests/golden/types-partial-atom-constraint/tree/txt

1646+/* typ-469 %txt /tests/golden/types-partial-atom-constraint/types/txt

1647+/* src-470 %jibb /tests/golden/types-partial-atom-widening/source/jibb

1648+/* tok-470 %txt /tests/golden/types-partial-atom-widening/tokens/txt

1649+/* tre-470 %txt /tests/golden/types-partial-atom-widening/tree/txt

1650+/* typ-470 %txt /tests/golden/types-partial-atom-widening/types/txt

1651+/* src-471 %jibb /tests/golden/types-partial-aura/source/jibb

1652+/* tok-471 %txt /tests/golden/types-partial-aura/tokens/txt

1653+/* tre-471 %txt /tests/golden/types-partial-aura/tree/txt

1654+/* typ-471 %txt /tests/golden/types-partial-aura/types/txt

1655+/* src-472 %jibb /tests/golden/types-partial-aura-family/source/jibb

1656+/* tok-472 %txt /tests/golden/types-partial-aura-family/tokens/txt

1657+/* tre-472 %txt /tests/golden/types-partial-aura-family/tree/txt

1658+/* typ-472 %txt /tests/golden/types-partial-aura-family/types/txt

1659+/* src-473 %jibb /tests/golden/types-partial-aura-generalization/source/jibb

1660+/* tok-473 %txt /tests/golden/types-partial-aura-generalization/tokens/txt

1661+/* tre-473 %txt /tests/golden/types-partial-aura-generalization/tree/txt

1662+/* typ-473 %txt /tests/golden/types-partial-aura-generalization/types/txt

1663+/* src-474 %jibb /tests/golden/types-partial-bare-atom/source/jibb

1664+/* tok-474 %txt /tests/golden/types-partial-bare-atom/tokens/txt

1665+/* tre-474 %txt /tests/golden/types-partial-bare-atom/tree/txt

1666+/* typ-474 %txt /tests/golden/types-partial-bare-atom/types/txt

1667+/* src-475 %jibb /tests/golden/types-partial-branch-widening/source/jibb

1668+/* tok-475 %txt /tests/golden/types-partial-branch-widening/tokens/txt

1669+/* tre-475 %txt /tests/golden/types-partial-branch-widening/tree/txt

1670+/* typ-475 %txt /tests/golden/types-partial-branch-widening/types/txt

1671+/* src-476 %jibb /tests/golden/types-partial-conflicting-sites/source/jibb

1672+/* tok-476 %txt /tests/golden/types-partial-conflicting-sites/tokens/txt

1673+/* tre-476 %txt /tests/golden/types-partial-conflicting-sites/tree/txt

1674+/* typ-476 %txt /tests/golden/types-partial-conflicting-sites/types/txt

1675+/* src-477 %jibb /tests/golden/types-partial-decimal-default/source/jibb

1676+/* tok-477 %txt /tests/golden/types-partial-decimal-default/tokens/txt

1677+/* tre-477 %txt /tests/golden/types-partial-decimal-default/tree/txt

1678+/* typ-477 %txt /tests/golden/types-partial-decimal-default/types/txt

1679+/* src-478 %jibb /tests/golden/types-partial-dependency-chain/source/jibb

1680+/* tok-478 %txt /tests/golden/types-partial-dependency-chain/tokens/txt

1681+/* tre-478 %txt /tests/golden/types-partial-dependency-chain/tree/txt

1682+/* typ-478 %txt /tests/golden/types-partial-dependency-chain/types/txt

1683+/* src-479 %jibb /tests/golden/types-partial-explicit-capital/source/jibb

1684+/* tok-479 %txt /tests/golden/types-partial-explicit-capital/tokens/txt

1685+/* tre-479 %txt /tests/golden/types-partial-explicit-capital/tree/txt

1686+/* typ-479 %txt /tests/golden/types-partial-explicit-capital/types/txt

1687+/* src-480 %jibb /tests/golden/types-partial-forward/source/jibb

1688+/* tok-480 %txt /tests/golden/types-partial-forward/tokens/txt

1689+/* tre-480 %txt /tests/golden/types-partial-forward/tree/txt

1690+/* typ-480 %txt /tests/golden/types-partial-forward/types/txt

1691+/* src-481 %jibb /tests/golden/types-partial-generalization/source/jibb

1692+/* tok-481 %txt /tests/golden/types-partial-generalization/tokens/txt

1693+/* tre-481 %txt /tests/golden/types-partial-generalization/tree/txt

1694+/* typ-481 %txt /tests/golden/types-partial-generalization/types/txt

1695+/* src-482 %jibb /tests/golden/types-partial-identity/source/jibb

1696+/* tok-482 %txt /tests/golden/types-partial-identity/tokens/txt

1697+/* tre-482 %txt /tests/golden/types-partial-identity/tree/txt

1698+/* typ-482 %txt /tests/golden/types-partial-identity/types/txt

1699+/* src-483 %jibb /tests/golden/types-partial-independent-atoms/source/jibb

1700+/* tok-483 %txt /tests/golden/types-partial-independent-atoms/tokens/txt

1701+/* tre-483 %txt /tests/golden/types-partial-independent-atoms/tree/txt

1702+/* typ-483 %txt /tests/golden/types-partial-independent-atoms/types/txt

1703+/* src-484 %jibb /tests/golden/types-partial-local-molds/source/jibb

1704+/* tok-484 %txt /tests/golden/types-partial-local-molds/tokens/txt

1705+/* tre-484 %txt /tests/golden/types-partial-local-molds/tree/txt

1706+/* typ-484 %txt /tests/golden/types-partial-local-molds/types/txt

1707+/* src-485 %jibb /tests/golden/types-partial-locals/source/jibb

1708+/* tok-485 %txt /tests/golden/types-partial-locals/tokens/txt

1709+/* tre-485 %txt /tests/golden/types-partial-locals/tree/txt

1710+/* typ-485 %txt /tests/golden/types-partial-locals/types/txt

1711+/* src-486 %jibb /tests/golden/types-partial-many-atom-constraints/source/jibb

1712+/* tok-486 %txt /tests/golden/types-partial-many-atom-constraints/tokens/txt

1713+/* tre-486 %txt /tests/golden/types-partial-many-atom-constraints/tree/txt

1714+/* typ-486 %txt /tests/golden/types-partial-many-atom-constraints/types/txt

1715+/* src-487 %jibb /tests/golden/types-partial-mold-bare-aura/source/jibb

1716+/* tok-487 %txt /tests/golden/types-partial-mold-bare-aura/tokens/txt

1717+/* tre-487 %txt /tests/golden/types-partial-mold-bare-aura/tree/txt

1718+/* typ-487 %txt /tests/golden/types-partial-mold-bare-aura/types/txt

1719+/* src-488 %jibb /tests/golden/types-partial-mold-composite/source/jibb

1720+/* tok-488 %txt /tests/golden/types-partial-mold-composite/tokens/txt

1721+/* tre-488 %txt /tests/golden/types-partial-mold-composite/tree/txt

1722+/* typ-488 %txt /tests/golden/types-partial-mold-composite/types/txt

1723+/* src-489 %jibb /tests/golden/types-partial-mold-forward/source/jibb

1724+/* tok-489 %txt /tests/golden/types-partial-mold-forward/tokens/txt

1725+/* tre-489 %txt /tests/golden/types-partial-mold-forward/tree/txt

1726+/* typ-489 %txt /tests/golden/types-partial-mold-forward/types/txt

1727+/* src-490 %jibb /tests/golden/types-partial-mold-recursive/source/jibb

1728+/* tok-490 %txt /tests/golden/types-partial-mold-recursive/tokens/txt

1729+/* tre-490 %txt /tests/golden/types-partial-mold-recursive/tree/txt

1730+/* typ-490 %txt /tests/golden/types-partial-mold-recursive/types/txt

1731+/* src-491 %jibb /tests/golden/types-partial-occurs/source/jibb

1732+/* tok-491 %txt /tests/golden/types-partial-occurs/tokens/txt

1733+/* tre-491 %txt /tests/golden/types-partial-occurs/tree/txt

1734+/* typ-491 %txt /tests/golden/types-partial-occurs/types/txt

1735+/* src-492 %jibb /tests/golden/types-partial-projection/source/jibb

1736+/* tok-492 %txt /tests/golden/types-partial-projection/tokens/txt

1737+/* tre-492 %txt /tests/golden/types-partial-projection/tree/txt

1738+/* typ-492 %txt /tests/golden/types-partial-projection/types/txt

1739+/* src-493 %jibb /tests/golden/types-partial-shadow-global/source/jibb

1740+/* tok-493 %txt /tests/golden/types-partial-shadow-global/tokens/txt

1741+/* tre-493 %txt /tests/golden/types-partial-shadow-global/tree/txt

1742+/* typ-493 %txt /tests/golden/types-partial-shadow-global/types/txt

1743+/* src-494 %jibb /tests/golden/types-partial-shared-tvar/source/jibb

1744+/* tok-494 %txt /tests/golden/types-partial-shared-tvar/tokens/txt

1745+/* tre-494 %txt /tests/golden/types-partial-shared-tvar/tree/txt

1746+/* typ-494 %txt /tests/golden/types-partial-shared-tvar/types/txt

1747+/* src-495 %jibb /tests/golden/types-partial-union-cases/source/jibb

1748+/* tok-495 %txt /tests/golden/types-partial-union-cases/tokens/txt

1749+/* tre-495 %txt /tests/golden/types-partial-union-cases/tree/txt

1750+/* typ-495 %txt /tests/golden/types-partial-union-cases/types/txt

1751+/* src-496 %jibb /tests/golden/types-partial-union-edges/source/jibb

1752+/* tok-496 %txt /tests/golden/types-partial-union-edges/tokens/txt

1753+/* tre-496 %txt /tests/golden/types-partial-union-edges/tree/txt

1754+/* typ-496 %txt /tests/golden/types-partial-union-edges/types/txt

1755+/* src-497 %jibb /tests/golden/types-partial-unresolved-tag/source/jibb

1756+/* tok-497 %txt /tests/golden/types-partial-unresolved-tag/tokens/txt

1757+/* tre-497 %txt /tests/golden/types-partial-unresolved-tag/tree/txt

1758+/* typ-497 %txt /tests/golden/types-partial-unresolved-tag/types/txt

1759+/* src-498 %jibb /tests/golden/types-prelude-direct/source/jibb

1760+/* tok-498 %txt /tests/golden/types-prelude-direct/tokens/txt

1761+/* tre-498 %txt /tests/golden/types-prelude-direct/tree/txt

1762+/* typ-498 %txt /tests/golden/types-prelude-direct/types/txt

1763+/* src-499 %jibb /tests/golden/types-prelude-interface/source/jibb

1764+/* tok-499 %txt /tests/golden/types-prelude-interface/tokens/txt

1765+/* tre-499 %txt /tests/golden/types-prelude-interface/tree/txt

1766+/* mod-499-1 %jibb /tests/golden/types-prelude-interface/modules/ui/left/jibb

1767+/* mod-499-2 %jibb /tests/golden/types-prelude-interface/modules/ui/right/jibb

1768+/* typ-499 %txt /tests/golden/types-prelude-interface/types/txt

1769+/* mtre-499 %txt /tests/golden/types-prelude-interface/module-trees/txt

1770+/* src-500 %jibb /tests/golden/types-prelude-list-functions/source/jibb

1771+/* tok-500 %txt /tests/golden/types-prelude-list-functions/tokens/txt

1772+/* tre-500 %txt /tests/golden/types-prelude-list-functions/tree/txt

1773+/* mod-500-1 %jibb /tests/golden/types-prelude-list-functions/modules/ui/lib/jibb

1774+/* typ-500 %txt /tests/golden/types-prelude-list-functions/types/txt

1775+/* mtre-500 %txt /tests/golden/types-prelude-list-functions/module-trees/txt

1776+/* src-501 %jibb /tests/golden/types-prelude-list-helpers/source/jibb

1777+/* tok-501 %txt /tests/golden/types-prelude-list-helpers/tokens/txt

1778+/* tre-501 %txt /tests/golden/types-prelude-list-helpers/tree/txt

1779+/* typ-501 %txt /tests/golden/types-prelude-list-helpers/types/txt

1780+/* src-502 %jibb /tests/golden/types-prelude-unit-helpers/source/jibb

1781+/* tok-502 %txt /tests/golden/types-prelude-unit-helpers/tokens/txt

1782+/* tre-502 %txt /tests/golden/types-prelude-unit-helpers/tree/txt

1783+/* typ-502 %txt /tests/golden/types-prelude-unit-helpers/types/txt

1784+/* src-503 %jibb /tests/golden/types-record-bound-variable/source/jibb

1785+/* tok-503 %txt /tests/golden/types-record-bound-variable/tokens/txt

1786+/* tre-503 %txt /tests/golden/types-record-bound-variable/tree/txt

1787+/* typ-503 %txt /tests/golden/types-record-bound-variable/types/txt

1788+/* src-504 %jibb /tests/golden/types-record-cast-context/source/jibb

1789+/* tok-504 %txt /tests/golden/types-record-cast-context/tokens/txt

1790+/* tre-504 %txt /tests/golden/types-record-cast-context/tree/txt

1791+/* typ-504 %txt /tests/golden/types-record-cast-context/types/txt

1792+/* src-505 %jibb /tests/golden/types-record-change/source/jibb

1793+/* tok-505 %txt /tests/golden/types-record-change/tokens/txt

1794+/* tre-505 %txt /tests/golden/types-record-change/tree/txt

1795+/* typ-505 %txt /tests/golden/types-record-change/types/txt

1796+/* src-506 %jibb /tests/golden/types-record-change-generic/source/jibb

1797+/* tok-506 %txt /tests/golden/types-record-change-generic/tokens/txt

1798+/* tre-506 %txt /tests/golden/types-record-change-generic/tree/txt

1799+/* typ-506 %txt /tests/golden/types-record-change-generic/types/txt

1800+/* src-507 %jibb /tests/golden/types-record-faces/source/jibb

1801+/* tok-507 %txt /tests/golden/types-record-faces/tokens/txt

1802+/* tre-507 %txt /tests/golden/types-record-faces/tree/txt

1803+/* typ-507 %txt /tests/golden/types-record-faces/types/txt

1804+/* src-508 %jibb /tests/golden/types-record-import/source/jibb

1805+/* tok-508 %txt /tests/golden/types-record-import/tokens/txt

1806+/* tre-508 %txt /tests/golden/types-record-import/tree/txt

1807+/* mod-508-1 %jibb /tests/golden/types-record-import/modules/ui/lib/jibb

1808+/* typ-508 %txt /tests/golden/types-record-import/types/txt

1809+/* mtre-508 %txt /tests/golden/types-record-import/module-trees/txt

1810+/* src-509 %jibb /tests/golden/types-record-local-scheme/source/jibb

1811+/* tok-509 %txt /tests/golden/types-record-local-scheme/tokens/txt

1812+/* tre-509 %txt /tests/golden/types-record-local-scheme/tree/txt

1813+/* typ-509 %txt /tests/golden/types-record-local-scheme/types/txt

1814+/* src-510 %jibb /tests/golden/types-record-nested/source/jibb

1815+/* tok-510 %txt /tests/golden/types-record-nested/tokens/txt

1816+/* tre-510 %txt /tests/golden/types-record-nested/tree/txt

1817+/* typ-510 %txt /tests/golden/types-record-nested/types/txt

1818+/* src-511 %jibb /tests/golden/types-record-to-tuple/source/jibb

1819+/* tok-511 %txt /tests/golden/types-record-to-tuple/tokens/txt

1820+/* tre-511 %txt /tests/golden/types-record-to-tuple/tree/txt

1821+/* typ-511 %txt /tests/golden/types-record-to-tuple/types/txt

1822+/* src-512 %jibb /tests/golden/types-recursion-scc-failures/source/jibb

1823+/* tok-512 %txt /tests/golden/types-recursion-scc-failures/tokens/txt

1824+/* tre-512 %txt /tests/golden/types-recursion-scc-failures/tree/txt

1825+/* typ-512 %txt /tests/golden/types-recursion-scc-failures/types/txt

1826+/* src-513 %jibb /tests/golden/types-recursion-scc-groups/source/jibb

1827+/* tok-513 %txt /tests/golden/types-recursion-scc-groups/tokens/txt

1828+/* tre-513 %txt /tests/golden/types-recursion-scc-groups/tree/txt

1829+/* typ-513 %txt /tests/golden/types-recursion-scc-groups/types/txt

1830+/* src-514 %jibb /tests/golden/types-recursion-scc-import/source/jibb

1831+/* tok-514 %txt /tests/golden/types-recursion-scc-import/tokens/txt

1832+/* tre-514 %txt /tests/golden/types-recursion-scc-import/tree/txt

1833+/* mod-514-1 %jibb /tests/golden/types-recursion-scc-import/modules/ui/lib/jibb

1834+/* typ-514 %txt /tests/golden/types-recursion-scc-import/types/txt

1835+/* mtre-514 %txt /tests/golden/types-recursion-scc-import/module-trees/txt

1836+/* src-515 %jibb /tests/golden/types-recursion-scc-import-bad/source/jibb

1837+/* tok-515 %txt /tests/golden/types-recursion-scc-import-bad/tokens/txt

1838+/* tre-515 %txt /tests/golden/types-recursion-scc-import-bad/tree/txt

1839+/* mod-515-1 %jibb /tests/golden/types-recursion-scc-import-bad/modules/ui/lib/jibb

1840+/* typ-515 %txt /tests/golden/types-recursion-scc-import-bad/types/txt

1841+/* mtre-515 %txt /tests/golden/types-recursion-scc-import-bad/module-trees/txt

1842+/* src-516 %jibb /tests/golden/types-recursion-scc-local/source/jibb

1843+/* tok-516 %txt /tests/golden/types-recursion-scc-local/tokens/txt

1844+/* tre-516 %txt /tests/golden/types-recursion-scc-local/tree/txt

1845+/* typ-516 %txt /tests/golden/types-recursion-scc-local/types/txt

1846+/* src-517 %jibb /tests/golden/types-recursion-scc-order/source/jibb

1847+/* tok-517 %txt /tests/golden/types-recursion-scc-order/tokens/txt

1848+/* tre-517 %txt /tests/golden/types-recursion-scc-order/tree/txt

1849+/* typ-517 %txt /tests/golden/types-recursion-scc-order/types/txt

1850+/* src-518 %jibb /tests/golden/types-recursion-scc-shadow/source/jibb

1851+/* tok-518 %txt /tests/golden/types-recursion-scc-shadow/tokens/txt

1852+/* tre-518 %txt /tests/golden/types-recursion-scc-shadow/tree/txt

1853+/* typ-518 %txt /tests/golden/types-recursion-scc-shadow/types/txt

1854+/* src-519 %jibb /tests/golden/types-recursive-branch/source/jibb

1855+/* tok-519 %txt /tests/golden/types-recursive-branch/tokens/txt

1856+/* tre-519 %txt /tests/golden/types-recursive-branch/tree/txt

1857+/* typ-519 %txt /tests/golden/types-recursive-branch/types/txt

1858+/* src-520 %jibb /tests/golden/types-recursive-gate/source/jibb

1859+/* tok-520 %txt /tests/golden/types-recursive-gate/tokens/txt

1860+/* tre-520 %txt /tests/golden/types-recursive-gate/tree/txt

1861+/* typ-520 %txt /tests/golden/types-recursive-gate/types/txt

1862+/* src-521 %jibb /tests/golden/types-recursive-sample/source/jibb

1863+/* tok-521 %txt /tests/golden/types-recursive-sample/tokens/txt

1864+/* tre-521 %txt /tests/golden/types-recursive-sample/tree/txt

1865+/* typ-521 %txt /tests/golden/types-recursive-sample/types/txt

1866+/* src-522 %jibb /tests/golden/types-scope-library-poke/source/jibb

1867+/* tok-522 %txt /tests/golden/types-scope-library-poke/tokens/txt

1868+/* tre-522 %txt /tests/golden/types-scope-library-poke/tree/txt

1869+/* typ-522 %txt /tests/golden/types-scope-library-poke/types/txt

1870+/* src-523 %jibb /tests/golden/types-scope-root-api/source/jibb

1871+/* tok-523 %txt /tests/golden/types-scope-root-api/tokens/txt

1872+/* tre-523 %txt /tests/golden/types-scope-root-api/tree/txt

1873+/* typ-523 %txt /tests/golden/types-scope-root-api/types/txt

1874+/* src-524 %jibb /tests/golden/types-scope-store-duplicate/source/jibb

1875+/* tok-524 %txt /tests/golden/types-scope-store-duplicate/tokens/txt

1876+/* tre-524 %txt /tests/golden/types-scope-store-duplicate/tree/txt

1877+/* typ-524 %txt /tests/golden/types-scope-store-duplicate/types/txt

1878+/* src-525 %jibb /tests/golden/types-scope-store-shadow/source/jibb

1879+/* tok-525 %txt /tests/golden/types-scope-store-shadow/tokens/txt

1880+/* tre-525 %txt /tests/golden/types-scope-store-shadow/tree/txt

1881+/* typ-525 %txt /tests/golden/types-scope-store-shadow/types/txt

1882+/* src-526 %jibb /tests/golden/types-string-interpolation/source/jibb

1883+/* tok-526 %txt /tests/golden/types-string-interpolation/tokens/txt

1884+/* tre-526 %txt /tests/golden/types-string-interpolation/tree/txt

1885+/* typ-526 %txt /tests/golden/types-string-interpolation/types/txt

1886+/* src-527 %jibb /tests/golden/types-tuple-context/source/jibb

1887+/* tok-527 %txt /tests/golden/types-tuple-context/tokens/txt

1888+/* tre-527 %txt /tests/golden/types-tuple-context/tree/txt

1889+/* typ-527 %txt /tests/golden/types-tuple-context/types/txt

1890+/* src-528 %jibb /tests/golden/types-tuple-context-nested/source/jibb

1891+/* tok-528 %txt /tests/golden/types-tuple-context-nested/tokens/txt

1892+/* tre-528 %txt /tests/golden/types-tuple-context-nested/tree/txt

1893+/* typ-528 %txt /tests/golden/types-tuple-context-nested/types/txt

1894+/* src-529 %jibb /tests/golden/types-union-alias/source/jibb

1895+/* tok-529 %txt /tests/golden/types-union-alias/tokens/txt

1896+/* tre-529 %txt /tests/golden/types-union-alias/tree/txt

1897+/* typ-529 %txt /tests/golden/types-union-alias/types/txt

1898+/* src-530 %jibb /tests/golden/types-union-branch-context/source/jibb

1899+/* tok-530 %txt /tests/golden/types-union-branch-context/tokens/txt

1900+/* tre-530 %txt /tests/golden/types-union-branch-context/tree/txt

1901+/* typ-530 %txt /tests/golden/types-union-branch-context/types/txt

1902+/* src-531 %jibb /tests/golden/types-union-branch-pending/source/jibb

1903+/* tok-531 %txt /tests/golden/types-union-branch-pending/tokens/txt

1904+/* tre-531 %txt /tests/golden/types-union-branch-pending/tree/txt

1905+/* typ-531 %txt /tests/golden/types-union-branch-pending/types/txt

1906+/* src-532 %jibb /tests/golden/types-union-constructor-shape/source/jibb

1907+/* tok-532 %txt /tests/golden/types-union-constructor-shape/tokens/txt

1908+/* tre-532 %txt /tests/golden/types-union-constructor-shape/tree/txt

1909+/* typ-532 %txt /tests/golden/types-union-constructor-shape/types/txt

1910+/* src-533 %jibb /tests/golden/types-union-context-flow/source/jibb

1911+/* tok-533 %txt /tests/golden/types-union-context-flow/tokens/txt

1912+/* tre-533 %txt /tests/golden/types-union-context-flow/tree/txt

1913+/* typ-533 %txt /tests/golden/types-union-context-flow/types/txt

1914+/* src-534 %jibb /tests/golden/types-union-finite/source/jibb

1915+/* tok-534 %txt /tests/golden/types-union-finite/tokens/txt

1916+/* tre-534 %txt /tests/golden/types-union-finite/tree/txt

1917+/* typ-534 %txt /tests/golden/types-union-finite/types/txt

1918+/* src-535 %jibb /tests/golden/types-union-finite-context/source/jibb

1919+/* tok-535 %txt /tests/golden/types-union-finite-context/tokens/txt

1920+/* tre-535 %txt /tests/golden/types-union-finite-context/tree/txt

1921+/* typ-535 %txt /tests/golden/types-union-finite-context/types/txt

1922+/* src-536 %jibb /tests/golden/types-union-finite-generic/source/jibb

1923+/* tok-536 %txt /tests/golden/types-union-finite-generic/tokens/txt

1924+/* tre-536 %txt /tests/golden/types-union-finite-generic/tree/txt

1925+/* typ-536 %txt /tests/golden/types-union-finite-generic/types/txt

1926+/* src-537 %jibb /tests/golden/types-union-finite-limit/source/jibb

1927+/* tok-537 %txt /tests/golden/types-union-finite-limit/tokens/txt

1928+/* tre-537 %txt /tests/golden/types-union-finite-limit/tree/txt

1929+/* typ-537 %txt /tests/golden/types-union-finite-limit/types/txt

1930+/* src-538 %jibb /tests/golden/types-union-import/source/jibb

1931+/* tok-538 %txt /tests/golden/types-union-import/tokens/txt

1932+/* tre-538 %txt /tests/golden/types-union-import/tree/txt

1933+/* mod-538-1 %jibb /tests/golden/types-union-import/modules/ui/lib/jibb

1934+/* typ-538 %txt /tests/golden/types-union-import/types/txt

1935+/* mtre-538 %txt /tests/golden/types-union-import/module-trees/txt

1936+/* src-539 %jibb /tests/golden/types-union-local-pending/source/jibb

1937+/* tok-539 %txt /tests/golden/types-union-local-pending/tokens/txt

1938+/* tre-539 %txt /tests/golden/types-union-local-pending/tree/txt

1939+/* typ-539 %txt /tests/golden/types-union-local-pending/types/txt

1940+/* src-540 %jibb /tests/golden/types-union-overlap/source/jibb

1941+/* tok-540 %txt /tests/golden/types-union-overlap/tokens/txt

1942+/* tre-540 %txt /tests/golden/types-union-overlap/tree/txt

1943+/* typ-540 %txt /tests/golden/types-union-overlap/types/txt

1944+/* src-541 %jibb /tests/golden/types-union-overlap-nested/source/jibb

1945+/* tok-541 %txt /tests/golden/types-union-overlap-nested/tokens/txt

1946+/* tre-541 %txt /tests/golden/types-union-overlap-nested/tree/txt

1947+/* typ-541 %txt /tests/golden/types-union-overlap-nested/types/txt

1948+/* src-542 %jibb /tests/golden/types-union-pattern-result-context/source/jibb

1949+/* tok-542 %txt /tests/golden/types-union-pattern-result-context/tokens/txt

1950+/* tre-542 %txt /tests/golden/types-union-pattern-result-context/tree/txt

1951+/* typ-542 %txt /tests/golden/types-union-pattern-result-context/types/txt

1952+/* src-543 %jibb /tests/golden/types-union-pattern-result-controls/source/jibb

1953+/* tok-543 %txt /tests/golden/types-union-pattern-result-controls/tokens/txt

1954+/* tre-543 %txt /tests/golden/types-union-pattern-result-controls/tree/txt

1955+/* typ-543 %txt /tests/golden/types-union-pattern-result-controls/types/txt

1956+/* src-544 %jibb /tests/golden/types-union-patterns/source/jibb

1957+/* tok-544 %txt /tests/golden/types-union-patterns/tokens/txt

1958+/* tre-544 %txt /tests/golden/types-union-patterns/tree/txt

1959+/* typ-544 %txt /tests/golden/types-union-patterns/types/txt

1960+/* src-545 %jibb /tests/golden/types-union-patterns-generic/source/jibb

1961+/* tok-545 %txt /tests/golden/types-union-patterns-generic/tokens/txt

1962+/* tre-545 %txt /tests/golden/types-union-patterns-generic/tree/txt

1963+/* typ-545 %txt /tests/golden/types-union-patterns-generic/types/txt

1964+/* src-546 %jibb /tests/golden/types-union-patterns-import/source/jibb

1965+/* tok-546 %txt /tests/golden/types-union-patterns-import/tokens/txt

1966+/* tre-546 %txt /tests/golden/types-union-patterns-import/tree/txt

1967+/* mod-546-1 %jibb /tests/golden/types-union-patterns-import/modules/ui/lib/jibb

1968+/* typ-546 %txt /tests/golden/types-union-patterns-import/types/txt

1969+/* mtre-546 %txt /tests/golden/types-union-patterns-import/module-trees/txt

1970+/* src-547 %jibb /tests/golden/types-union-phantom-generic/source/jibb

1971+/* tok-547 %txt /tests/golden/types-union-phantom-generic/tokens/txt

1972+/* tre-547 %txt /tests/golden/types-union-phantom-generic/tree/txt

1973+/* typ-547 %txt /tests/golden/types-union-phantom-generic/types/txt

1974+/* src-548 %jibb /tests/golden/types-union-print-cross-namespace/source/jibb

1975+/* tok-548 %txt /tests/golden/types-union-print-cross-namespace/tokens/txt

1976+/* tre-548 %txt /tests/golden/types-union-print-cross-namespace/tree/txt

1977+/* mod-548-1 %jibb /tests/golden/types-union-print-cross-namespace/modules/ui/lib/jibb

1978+/* typ-548 %txt /tests/golden/types-union-print-cross-namespace/types/txt

1979+/* mtre-548 %txt /tests/golden/types-union-print-cross-namespace/module-trees/txt

1980+/* src-549 %jibb /tests/golden/types-union-print-distinct/source/jibb

1981+/* tok-549 %txt /tests/golden/types-union-print-distinct/tokens/txt

1982+/* tre-549 %txt /tests/golden/types-union-print-distinct/tree/txt

1983+/* mod-549-1 %jibb /tests/golden/types-union-print-distinct/modules/ui/left/jibb

1984+/* mod-549-2 %jibb /tests/golden/types-union-print-distinct/modules/ui/right/jibb

1985+/* mod-549-3 %jibb /tests/golden/types-union-print-distinct/modules/ui/twin/jibb

1986+/* typ-549 %txt /tests/golden/types-union-print-distinct/types/txt

1987+/* mtre-549 %txt /tests/golden/types-union-print-distinct/module-trees/txt

1988+/* src-550 %jibb /tests/golden/types-union-print-escape/source/jibb

1989+/* tok-550 %txt /tests/golden/types-union-print-escape/tokens/txt

1990+/* tre-550 %txt /tests/golden/types-union-print-escape/tree/txt

1991+/* typ-550 %txt /tests/golden/types-union-print-escape/types/txt

1992+/* src-551 %jibb /tests/golden/types-union-print-local/source/jibb

1993+/* tok-551 %txt /tests/golden/types-union-print-local/tokens/txt

1994+/* tre-551 %txt /tests/golden/types-union-print-local/tree/txt

1995+/* typ-551 %txt /tests/golden/types-union-print-local/types/txt

1996+/* src-552 %jibb /tests/golden/types-union-print-nested/source/jibb

1997+/* tok-552 %txt /tests/golden/types-union-print-nested/tokens/txt

1998+/* tre-552 %txt /tests/golden/types-union-print-nested/tree/txt

1999+/* typ-552 %txt /tests/golden/types-union-print-nested/types/txt

2000+/* src-553 %jibb /tests/golden/types-union-print-same-origin/source/jibb

2001+/* tok-553 %txt /tests/golden/types-union-print-same-origin/tokens/txt

2002+/* tre-553 %txt /tests/golden/types-union-print-same-origin/tree/txt

2003+/* mod-553-1 %jibb /tests/golden/types-union-print-same-origin/modules/ui/shared/jibb

2004+/* typ-553 %txt /tests/golden/types-union-print-same-origin/types/txt

2005+/* mtre-553 %txt /tests/golden/types-union-print-same-origin/module-trees/txt

2006+/* src-554 %jibb /tests/golden/types-union-print-transitive/source/jibb

2007+/* tok-554 %txt /tests/golden/types-union-print-transitive/tokens/txt

2008+/* tre-554 %txt /tests/golden/types-union-print-transitive/tree/txt

2009+/* mod-554-1 %jibb /tests/golden/types-union-print-transitive/modules/ui/mid/jibb

2010+/* mod-554-2 %jibb /tests/golden/types-union-print-transitive/modules/ui/base/jibb

2011+/* typ-554 %txt /tests/golden/types-union-print-transitive/types/txt

2012+/* mtre-554 %txt /tests/golden/types-union-print-transitive/module-trees/txt

2013+/* src-555 %jibb /tests/golden/types-union-singleton/source/jibb

2014+/* tok-555 %txt /tests/golden/types-union-singleton/tokens/txt

2015+/* tre-555 %txt /tests/golden/types-union-singleton/tree/txt

2016+/* typ-555 %txt /tests/golden/types-union-singleton/types/txt

2017+/* src-556 %jibb /tests/golden/types-union-tag-atoms/source/jibb

2018+/* tok-556 %txt /tests/golden/types-union-tag-atoms/tokens/txt

2019+/* tre-556 %txt /tests/golden/types-union-tag-atoms/tree/txt

2020+/* typ-556 %txt /tests/golden/types-union-tag-atoms/types/txt

2021+/* src-557 %jibb /tests/golden/types-union-tags/source/jibb

2022+/* tok-557 %txt /tests/golden/types-union-tags/tokens/txt

2023+/* tre-557 %txt /tests/golden/types-union-tags/tree/txt

2024+/* typ-557 %txt /tests/golden/types-union-tags/types/txt

2025+/* src-558 %jibb /tests/golden/types-union-unresolved/source/jibb

2026+/* tok-558 %txt /tests/golden/types-union-unresolved/tokens/txt

2027+/* tre-558 %txt /tests/golden/types-union-unresolved/tree/txt

2028+/* typ-558 %txt /tests/golden/types-union-unresolved/types/txt

2029+/* src-559 %jibb /tests/golden/types-union-unresolved-flow/source/jibb

2030+/* tok-559 %txt /tests/golden/types-union-unresolved-flow/tokens/txt

2031+/* tre-559 %txt /tests/golden/types-union-unresolved-flow/tree/txt

2032+/* typ-559 %txt /tests/golden/types-union-unresolved-flow/types/txt

2033+/* src-560 %jibb /tests/golden/types-unit-construction/source/jibb

2034+/* tok-560 %txt /tests/golden/types-unit-construction/tokens/txt

2035+/* tre-560 %txt /tests/golden/types-unit-construction/tree/txt

2036+/* typ-560 %txt /tests/golden/types-unit-construction/types/txt

2037+/* src-561 %jibb /tests/golden/types-unit-context/source/jibb

2038+/* tok-561 %txt /tests/golden/types-unit-context/tokens/txt

2039+/* tre-561 %txt /tests/golden/types-unit-context/tree/txt

2040+/* typ-561 %txt /tests/golden/types-unit-context/types/txt

2041+/* src-562 %jibb /tests/golden/types-unit-patterns/source/jibb

2042+/* tok-562 %txt /tests/golden/types-unit-patterns/tokens/txt

2043+/* tre-562 %txt /tests/golden/types-unit-patterns/tree/txt

2044+/* typ-562 %txt /tests/golden/types-unit-patterns/types/txt

2045+/* src-563 %jibb /tests/golden/types-value-cycle-shadow/source/jibb

2046+/* tok-563 %txt /tests/golden/types-value-cycle-shadow/tokens/txt

2047+/* tre-563 %txt /tests/golden/types-value-cycle-shadow/tree/txt

2048+/* typ-563 %txt /tests/golden/types-value-cycle-shadow/types/txt

2049+/* src-564 %jibb /tests/golden/types-value-cycle-unsupported/source/jibb

2050+/* tok-564 %txt /tests/golden/types-value-cycle-unsupported/tokens/txt

2051+/* tre-564 %txt /tests/golden/types-value-cycle-unsupported/tree/txt

2052+/* typ-564 %txt /tests/golden/types-value-cycle-unsupported/types/txt

2053+/* src-565 %jibb /tests/golden/types-value-cycles/source/jibb

2054+/* tok-565 %txt /tests/golden/types-value-cycles/tokens/txt

2055+/* tre-565 %txt /tests/golden/types-value-cycles/tree/txt

2056+/* typ-565 %txt /tests/golden/types-value-cycles/types/txt

20332057=/ prepared-prelude (prepare-prelude-with-internal:jibb prelude-source internal-source)

20342058|%

20352059:: one arm per case

@@ -2942,220 +2966,228 @@

29422966 (weld (check ~.types-missing-tag-imported src-453 `tok-453 `tre-453) (check-import-types ~.types-missing-tag-imported ~[%tests %golden ~.types-missing-tag-imported %source %jibb] src-453 `typ-453 ~[[%fixture %choice imp-453-1] [%fixture %nested-choice imp-453-2]]))

29432967++ test-types-missing-tag-named

29442968 (weld (check ~.types-missing-tag-named src-454 `tok-454 `tre-454) (check-module-types ~.types-missing-tag-named ~[%tests %golden ~.types-missing-tag-named %source %jibb] src-454 `typ-454 ~ ~ ~))

2969+++ test-types-module-field-ambiguous

2970+ (weld (weld (check ~.types-module-field-ambiguous src-455 `tok-455 `tre-455) (check-module-types ~.types-module-field-ambiguous ~[%tests %golden ~.types-module-field-ambiguous %source %jibb] src-455 `typ-455 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-455-1]])) (check-module-trees ~.types-module-field-ambiguous `mtre-455 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-455-1]]))

2971+++ test-types-module-field-nonrecord

2972+ (weld (weld (check ~.types-module-field-nonrecord src-456 `tok-456 `tre-456) (check-module-types ~.types-module-field-nonrecord ~[%tests %golden ~.types-module-field-nonrecord %source %jibb] src-456 `typ-456 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-456-1]])) (check-module-trees ~.types-module-field-nonrecord `mtre-456 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-456-1]]))

2973+++ test-types-module-field-path

2974+ (weld (weld (check ~.types-module-field-path src-457 `tok-457 `tre-457) (check-module-types ~.types-module-field-path ~[%tests %golden ~.types-module-field-path %source %jibb] src-457 `typ-457 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-457-1]])) (check-module-trees ~.types-module-field-path `mtre-457 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-457-1]]))

2975+++ test-types-module-field-shadow

2976+ (weld (weld (check ~.types-module-field-shadow src-458 `tok-458 `tre-458) (check-module-types ~.types-module-field-shadow ~[%tests %golden ~.types-module-field-shadow %source %jibb] src-458 `typ-458 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-458-1]])) (check-module-trees ~.types-module-field-shadow `mtre-458 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-458-1]]))

29452977++ test-types-module-fixtures

2946− (weld (weld (check-at ~.types-module-fixtures ~[~.ui ~.blog ~.index ~.jibb] src-455 `tok-455 `tre-455) (check-module-types ~.types-module-fixtures ~[~.ui ~.blog ~.index ~.jibb] src-455 `typ-455 ~ ~ ~[['/ui/api/blog.jibb' ~[~.ui ~.api ~.blog ~.jibb] mod-455-1] ['/ui/components/card.jibb' ~[~.ui ~.components ~.card ~.jibb] mod-455-2]])) (check-module-trees ~.types-module-fixtures `mtre-455 ~[['/ui/api/blog.jibb' ~[~.ui ~.api ~.blog ~.jibb] mod-455-1] ['/ui/components/card.jibb' ~[~.ui ~.components ~.card ~.jibb] mod-455-2]]))

2978+ (weld (weld (check-at ~.types-module-fixtures ~[~.ui ~.blog ~.index ~.jibb] src-459 `tok-459 `tre-459) (check-module-types ~.types-module-fixtures ~[~.ui ~.blog ~.index ~.jibb] src-459 `typ-459 ~ ~ ~[['/ui/api/blog.jibb' ~[~.ui ~.api ~.blog ~.jibb] mod-459-1] ['/ui/components/card.jibb' ~[~.ui ~.components ~.card ~.jibb] mod-459-2]])) (check-module-trees ~.types-module-fixtures `mtre-459 ~[['/ui/api/blog.jibb' ~[~.ui ~.api ~.blog ~.jibb] mod-459-1] ['/ui/components/card.jibb' ~[~.ui ~.components ~.card ~.jibb] mod-459-2]]))

29472979++ test-types-module-mixed

2948− (weld (weld (check ~.types-module-mixed src-456 `tok-456 `tre-456) (check-module-types ~.types-module-mixed ~[%tests %golden ~.types-module-mixed %source %jibb] src-456 `typ-456 ~[[%fixture %title imp-456-1]] ~[[%label mark-456-1]] ~[['/ui/helper.jibb' ~[~.ui ~.helper ~.jibb] mod-456-1]])) (check-module-trees ~.types-module-mixed `mtre-456 ~[['/ui/helper.jibb' ~[~.ui ~.helper ~.jibb] mod-456-1]]))

2980+ (weld (weld (check ~.types-module-mixed src-460 `tok-460 `tre-460) (check-module-types ~.types-module-mixed ~[%tests %golden ~.types-module-mixed %source %jibb] src-460 `typ-460 ~[[%fixture %title imp-460-1]] ~[[%label mark-460-1]] ~[['/ui/helper.jibb' ~[~.ui ~.helper ~.jibb] mod-460-1]])) (check-module-trees ~.types-module-mixed `mtre-460 ~[['/ui/helper.jibb' ~[~.ui ~.helper ~.jibb] mod-460-1]]))

29492981++ test-types-multi-call

2950− (weld (check ~.types-multi-call src-457 `tok-457 `tre-457) (check-module-types ~.types-multi-call ~[%tests %golden ~.types-multi-call %source %jibb] src-457 `typ-457 ~ ~ ~))

2982+ (weld (check ~.types-multi-call src-461 `tok-461 `tre-461) (check-module-types ~.types-multi-call ~[%tests %golden ~.types-multi-call %source %jibb] src-461 `typ-461 ~ ~ ~))

29512983++ test-types-multi-import

2952− (weld (weld (check ~.types-multi-import src-458 `tok-458 `tre-458) (check-module-types ~.types-multi-import ~[%tests %golden ~.types-multi-import %source %jibb] src-458 `typ-458 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-458-1]])) (check-module-trees ~.types-multi-import `mtre-458 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-458-1]]))

2984+ (weld (weld (check ~.types-multi-import src-462 `tok-462 `tre-462) (check-module-types ~.types-multi-import ~[%tests %golden ~.types-multi-import %source %jibb] src-462 `typ-462 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-462-1]])) (check-module-trees ~.types-multi-import `mtre-462 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-462-1]]))

29532985++ test-types-nested-missing-tag

2954− (weld (check ~.types-nested-missing-tag src-459 `tok-459 `tre-459) (check-module-types ~.types-nested-missing-tag ~[%tests %golden ~.types-nested-missing-tag %source %jibb] src-459 `typ-459 ~ ~ ~))

2986+ (weld (check ~.types-nested-missing-tag src-463 `tok-463 `tre-463) (check-module-types ~.types-nested-missing-tag ~[%tests %golden ~.types-nested-missing-tag %source %jibb] src-463 `typ-463 ~ ~ ~))

29552987++ test-types-null-context

2956− (weld (check ~.types-null-context src-460 `tok-460 `tre-460) (check-types ~.types-null-context ~[%tests %golden ~.types-null-context %source %jibb] src-460 `typ-460))

2988+ (weld (check ~.types-null-context src-464 `tok-464 `tre-464) (check-types ~.types-null-context ~[%tests %golden ~.types-null-context %source %jibb] src-464 `typ-464))

29572989++ test-types-null-overlap

2958− (weld (check ~.types-null-overlap src-461 `tok-461 `tre-461) (check-types ~.types-null-overlap ~[%tests %golden ~.types-null-overlap %source %jibb] src-461 `typ-461))

2990+ (weld (check ~.types-null-overlap src-465 `tok-465 `tre-465) (check-types ~.types-null-overlap ~[%tests %golden ~.types-null-overlap %source %jibb] src-465 `typ-465))

29592991++ test-types-null-unresolved

2960− (weld (check ~.types-null-unresolved src-462 `tok-462 `tre-462) (check-types ~.types-null-unresolved ~[%tests %golden ~.types-null-unresolved %source %jibb] src-462 `typ-462))

2992+ (weld (check ~.types-null-unresolved src-466 `tok-466 `tre-466) (check-types ~.types-null-unresolved ~[%tests %golden ~.types-null-unresolved %source %jibb] src-466 `typ-466))

29612993++ test-types-partial-apply

2962− (weld (check ~.types-partial-apply src-463 `tok-463 `tre-463) (check-types ~.types-partial-apply ~[%tests %golden ~.types-partial-apply %source %jibb] src-463 `typ-463))

2994+ (weld (check ~.types-partial-apply src-467 `tok-467 `tre-467) (check-types ~.types-partial-apply ~[%tests %golden ~.types-partial-apply %source %jibb] src-467 `typ-467))

29632995++ test-types-partial-atom-alias

2964− (weld (check ~.types-partial-atom-alias src-464 `tok-464 `tre-464) (check-types ~.types-partial-atom-alias ~[%tests %golden ~.types-partial-atom-alias %source %jibb] src-464 `typ-464))

2996+ (weld (check ~.types-partial-atom-alias src-468 `tok-468 `tre-468) (check-types ~.types-partial-atom-alias ~[%tests %golden ~.types-partial-atom-alias %source %jibb] src-468 `typ-468))

29652997++ test-types-partial-atom-constraint

2966− (weld (check ~.types-partial-atom-constraint src-465 `tok-465 `tre-465) (check-types ~.types-partial-atom-constraint ~[%tests %golden ~.types-partial-atom-constraint %source %jibb] src-465 `typ-465))

2998+ (weld (check ~.types-partial-atom-constraint src-469 `tok-469 `tre-469) (check-types ~.types-partial-atom-constraint ~[%tests %golden ~.types-partial-atom-constraint %source %jibb] src-469 `typ-469))

29672999++ test-types-partial-atom-widening

2968− (weld (check ~.types-partial-atom-widening src-466 `tok-466 `tre-466) (check-types ~.types-partial-atom-widening ~[%tests %golden ~.types-partial-atom-widening %source %jibb] src-466 `typ-466))

3000+ (weld (check ~.types-partial-atom-widening src-470 `tok-470 `tre-470) (check-types ~.types-partial-atom-widening ~[%tests %golden ~.types-partial-atom-widening %source %jibb] src-470 `typ-470))

29693001++ test-types-partial-aura

2970− (weld (check ~.types-partial-aura src-467 `tok-467 `tre-467) (check-types ~.types-partial-aura ~[%tests %golden ~.types-partial-aura %source %jibb] src-467 `typ-467))

3002+ (weld (check ~.types-partial-aura src-471 `tok-471 `tre-471) (check-types ~.types-partial-aura ~[%tests %golden ~.types-partial-aura %source %jibb] src-471 `typ-471))

29713003++ test-types-partial-aura-family

2972− (weld (check ~.types-partial-aura-family src-468 `tok-468 `tre-468) (check-types ~.types-partial-aura-family ~[%tests %golden ~.types-partial-aura-family %source %jibb] src-468 `typ-468))

3004+ (weld (check ~.types-partial-aura-family src-472 `tok-472 `tre-472) (check-types ~.types-partial-aura-family ~[%tests %golden ~.types-partial-aura-family %source %jibb] src-472 `typ-472))

29733005++ test-types-partial-aura-generalization

2974− (weld (check ~.types-partial-aura-generalization src-469 `tok-469 `tre-469) (check-types ~.types-partial-aura-generalization ~[%tests %golden ~.types-partial-aura-generalization %source %jibb] src-469 `typ-469))

3006+ (weld (check ~.types-partial-aura-generalization src-473 `tok-473 `tre-473) (check-types ~.types-partial-aura-generalization ~[%tests %golden ~.types-partial-aura-generalization %source %jibb] src-473 `typ-473))

29753007++ test-types-partial-bare-atom

2976− (weld (check ~.types-partial-bare-atom src-470 `tok-470 `tre-470) (check-types ~.types-partial-bare-atom ~[%tests %golden ~.types-partial-bare-atom %source %jibb] src-470 `typ-470))

3008+ (weld (check ~.types-partial-bare-atom src-474 `tok-474 `tre-474) (check-types ~.types-partial-bare-atom ~[%tests %golden ~.types-partial-bare-atom %source %jibb] src-474 `typ-474))

29773009++ test-types-partial-branch-widening

2978− (weld (check ~.types-partial-branch-widening src-471 `tok-471 `tre-471) (check-types ~.types-partial-branch-widening ~[%tests %golden ~.types-partial-branch-widening %source %jibb] src-471 `typ-471))

3010+ (weld (check ~.types-partial-branch-widening src-475 `tok-475 `tre-475) (check-types ~.types-partial-branch-widening ~[%tests %golden ~.types-partial-branch-widening %source %jibb] src-475 `typ-475))

29793011++ test-types-partial-conflicting-sites

2980− (weld (check ~.types-partial-conflicting-sites src-472 `tok-472 `tre-472) (check-types ~.types-partial-conflicting-sites ~[%tests %golden ~.types-partial-conflicting-sites %source %jibb] src-472 `typ-472))

3012+ (weld (check ~.types-partial-conflicting-sites src-476 `tok-476 `tre-476) (check-types ~.types-partial-conflicting-sites ~[%tests %golden ~.types-partial-conflicting-sites %source %jibb] src-476 `typ-476))

29813013++ test-types-partial-decimal-default

2982− (weld (check ~.types-partial-decimal-default src-473 `tok-473 `tre-473) (check-types ~.types-partial-decimal-default ~[%tests %golden ~.types-partial-decimal-default %source %jibb] src-473 `typ-473))

3014+ (weld (check ~.types-partial-decimal-default src-477 `tok-477 `tre-477) (check-types ~.types-partial-decimal-default ~[%tests %golden ~.types-partial-decimal-default %source %jibb] src-477 `typ-477))

29833015++ test-types-partial-dependency-chain

2984− (weld (check ~.types-partial-dependency-chain src-474 `tok-474 `tre-474) (check-types ~.types-partial-dependency-chain ~[%tests %golden ~.types-partial-dependency-chain %source %jibb] src-474 `typ-474))

3016+ (weld (check ~.types-partial-dependency-chain src-478 `tok-478 `tre-478) (check-types ~.types-partial-dependency-chain ~[%tests %golden ~.types-partial-dependency-chain %source %jibb] src-478 `typ-478))

29853017++ test-types-partial-explicit-capital

2986− (weld (check ~.types-partial-explicit-capital src-475 `tok-475 `tre-475) (check-types ~.types-partial-explicit-capital ~[%tests %golden ~.types-partial-explicit-capital %source %jibb] src-475 `typ-475))

3018+ (weld (check ~.types-partial-explicit-capital src-479 `tok-479 `tre-479) (check-types ~.types-partial-explicit-capital ~[%tests %golden ~.types-partial-explicit-capital %source %jibb] src-479 `typ-479))

29873019++ test-types-partial-forward

2988− (weld (check ~.types-partial-forward src-476 `tok-476 `tre-476) (check-types ~.types-partial-forward ~[%tests %golden ~.types-partial-forward %source %jibb] src-476 `typ-476))

3020+ (weld (check ~.types-partial-forward src-480 `tok-480 `tre-480) (check-types ~.types-partial-forward ~[%tests %golden ~.types-partial-forward %source %jibb] src-480 `typ-480))

29893021++ test-types-partial-generalization

2990− (weld (check ~.types-partial-generalization src-477 `tok-477 `tre-477) (check-types ~.types-partial-generalization ~[%tests %golden ~.types-partial-generalization %source %jibb] src-477 `typ-477))

3022+ (weld (check ~.types-partial-generalization src-481 `tok-481 `tre-481) (check-types ~.types-partial-generalization ~[%tests %golden ~.types-partial-generalization %source %jibb] src-481 `typ-481))

29913023++ test-types-partial-identity

2992− (weld (check ~.types-partial-identity src-478 `tok-478 `tre-478) (check-types ~.types-partial-identity ~[%tests %golden ~.types-partial-identity %source %jibb] src-478 `typ-478))

3024+ (weld (check ~.types-partial-identity src-482 `tok-482 `tre-482) (check-types ~.types-partial-identity ~[%tests %golden ~.types-partial-identity %source %jibb] src-482 `typ-482))

29933025++ test-types-partial-independent-atoms

2994− (weld (check ~.types-partial-independent-atoms src-479 `tok-479 `tre-479) (check-types ~.types-partial-independent-atoms ~[%tests %golden ~.types-partial-independent-atoms %source %jibb] src-479 `typ-479))

3026+ (weld (check ~.types-partial-independent-atoms src-483 `tok-483 `tre-483) (check-types ~.types-partial-independent-atoms ~[%tests %golden ~.types-partial-independent-atoms %source %jibb] src-483 `typ-483))

29953027++ test-types-partial-local-molds

2996− (weld (check ~.types-partial-local-molds src-480 `tok-480 `tre-480) (check-types ~.types-partial-local-molds ~[%tests %golden ~.types-partial-local-molds %source %jibb] src-480 `typ-480))

3028+ (weld (check ~.types-partial-local-molds src-484 `tok-484 `tre-484) (check-types ~.types-partial-local-molds ~[%tests %golden ~.types-partial-local-molds %source %jibb] src-484 `typ-484))

29973029++ test-types-partial-locals

2998− (weld (check ~.types-partial-locals src-481 `tok-481 `tre-481) (check-types ~.types-partial-locals ~[%tests %golden ~.types-partial-locals %source %jibb] src-481 `typ-481))

3030+ (weld (check ~.types-partial-locals src-485 `tok-485 `tre-485) (check-types ~.types-partial-locals ~[%tests %golden ~.types-partial-locals %source %jibb] src-485 `typ-485))

29993031++ test-types-partial-many-atom-constraints

3000− (weld (check ~.types-partial-many-atom-constraints src-482 `tok-482 `tre-482) (check-types ~.types-partial-many-atom-constraints ~[%tests %golden ~.types-partial-many-atom-constraints %source %jibb] src-482 `typ-482))

3032+ (weld (check ~.types-partial-many-atom-constraints src-486 `tok-486 `tre-486) (check-types ~.types-partial-many-atom-constraints ~[%tests %golden ~.types-partial-many-atom-constraints %source %jibb] src-486 `typ-486))

30013033++ test-types-partial-mold-bare-aura

3002− (weld (check ~.types-partial-mold-bare-aura src-483 `tok-483 `tre-483) (check-types ~.types-partial-mold-bare-aura ~[%tests %golden ~.types-partial-mold-bare-aura %source %jibb] src-483 `typ-483))

3034+ (weld (check ~.types-partial-mold-bare-aura src-487 `tok-487 `tre-487) (check-types ~.types-partial-mold-bare-aura ~[%tests %golden ~.types-partial-mold-bare-aura %source %jibb] src-487 `typ-487))

30033035++ test-types-partial-mold-composite

3004− (weld (check ~.types-partial-mold-composite src-484 `tok-484 `tre-484) (check-types ~.types-partial-mold-composite ~[%tests %golden ~.types-partial-mold-composite %source %jibb] src-484 `typ-484))

3036+ (weld (check ~.types-partial-mold-composite src-488 `tok-488 `tre-488) (check-types ~.types-partial-mold-composite ~[%tests %golden ~.types-partial-mold-composite %source %jibb] src-488 `typ-488))

30053037++ test-types-partial-mold-forward

3006− (weld (check ~.types-partial-mold-forward src-485 `tok-485 `tre-485) (check-types ~.types-partial-mold-forward ~[%tests %golden ~.types-partial-mold-forward %source %jibb] src-485 `typ-485))

3038+ (weld (check ~.types-partial-mold-forward src-489 `tok-489 `tre-489) (check-types ~.types-partial-mold-forward ~[%tests %golden ~.types-partial-mold-forward %source %jibb] src-489 `typ-489))

30073039++ test-types-partial-mold-recursive

3008− (weld (check ~.types-partial-mold-recursive src-486 `tok-486 `tre-486) (check-types ~.types-partial-mold-recursive ~[%tests %golden ~.types-partial-mold-recursive %source %jibb] src-486 `typ-486))

3040+ (weld (check ~.types-partial-mold-recursive src-490 `tok-490 `tre-490) (check-types ~.types-partial-mold-recursive ~[%tests %golden ~.types-partial-mold-recursive %source %jibb] src-490 `typ-490))

30093041++ test-types-partial-occurs

3010− (weld (check ~.types-partial-occurs src-487 `tok-487 `tre-487) (check-types ~.types-partial-occurs ~[%tests %golden ~.types-partial-occurs %source %jibb] src-487 `typ-487))

3042+ (weld (check ~.types-partial-occurs src-491 `tok-491 `tre-491) (check-types ~.types-partial-occurs ~[%tests %golden ~.types-partial-occurs %source %jibb] src-491 `typ-491))

30113043++ test-types-partial-projection

3012− (weld (check ~.types-partial-projection src-488 `tok-488 `tre-488) (check-types ~.types-partial-projection ~[%tests %golden ~.types-partial-projection %source %jibb] src-488 `typ-488))

3044+ (weld (check ~.types-partial-projection src-492 `tok-492 `tre-492) (check-types ~.types-partial-projection ~[%tests %golden ~.types-partial-projection %source %jibb] src-492 `typ-492))

30133045++ test-types-partial-shadow-global

3014− (weld (check ~.types-partial-shadow-global src-489 `tok-489 `tre-489) (check-types ~.types-partial-shadow-global ~[%tests %golden ~.types-partial-shadow-global %source %jibb] src-489 `typ-489))

3046+ (weld (check ~.types-partial-shadow-global src-493 `tok-493 `tre-493) (check-types ~.types-partial-shadow-global ~[%tests %golden ~.types-partial-shadow-global %source %jibb] src-493 `typ-493))

30153047++ test-types-partial-shared-tvar

3016− (weld (check ~.types-partial-shared-tvar src-490 `tok-490 `tre-490) (check-types ~.types-partial-shared-tvar ~[%tests %golden ~.types-partial-shared-tvar %source %jibb] src-490 `typ-490))

3048+ (weld (check ~.types-partial-shared-tvar src-494 `tok-494 `tre-494) (check-types ~.types-partial-shared-tvar ~[%tests %golden ~.types-partial-shared-tvar %source %jibb] src-494 `typ-494))

30173049++ test-types-partial-union-cases

3018− (weld (check ~.types-partial-union-cases src-491 `tok-491 `tre-491) (check-types ~.types-partial-union-cases ~[%tests %golden ~.types-partial-union-cases %source %jibb] src-491 `typ-491))

3050+ (weld (check ~.types-partial-union-cases src-495 `tok-495 `tre-495) (check-types ~.types-partial-union-cases ~[%tests %golden ~.types-partial-union-cases %source %jibb] src-495 `typ-495))

30193051++ test-types-partial-union-edges

3020− (weld (check ~.types-partial-union-edges src-492 `tok-492 `tre-492) (check-types ~.types-partial-union-edges ~[%tests %golden ~.types-partial-union-edges %source %jibb] src-492 `typ-492))

3052+ (weld (check ~.types-partial-union-edges src-496 `tok-496 `tre-496) (check-types ~.types-partial-union-edges ~[%tests %golden ~.types-partial-union-edges %source %jibb] src-496 `typ-496))

30213053++ test-types-partial-unresolved-tag

3022− (weld (check ~.types-partial-unresolved-tag src-493 `tok-493 `tre-493) (check-types ~.types-partial-unresolved-tag ~[%tests %golden ~.types-partial-unresolved-tag %source %jibb] src-493 `typ-493))

3054+ (weld (check ~.types-partial-unresolved-tag src-497 `tok-497 `tre-497) (check-types ~.types-partial-unresolved-tag ~[%tests %golden ~.types-partial-unresolved-tag %source %jibb] src-497 `typ-497))

30233055++ test-types-prelude-direct

3024− (weld (check ~.types-prelude-direct src-494 `tok-494 `tre-494) (check-module-types ~.types-prelude-direct ~[%tests %golden ~.types-prelude-direct %source %jibb] src-494 `typ-494 ~ ~ ~))

3056+ (weld (check ~.types-prelude-direct src-498 `tok-498 `tre-498) (check-module-types ~.types-prelude-direct ~[%tests %golden ~.types-prelude-direct %source %jibb] src-498 `typ-498 ~ ~ ~))

30253057++ test-types-prelude-interface

3026− (weld (weld (check ~.types-prelude-interface src-495 `tok-495 `tre-495) (check-module-types ~.types-prelude-interface ~[%tests %golden ~.types-prelude-interface %source %jibb] src-495 `typ-495 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-495-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-495-2]])) (check-module-trees ~.types-prelude-interface `mtre-495 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-495-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-495-2]]))

3058+ (weld (weld (check ~.types-prelude-interface src-499 `tok-499 `tre-499) (check-module-types ~.types-prelude-interface ~[%tests %golden ~.types-prelude-interface %source %jibb] src-499 `typ-499 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-499-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-499-2]])) (check-module-trees ~.types-prelude-interface `mtre-499 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-499-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-499-2]]))

30273059++ test-types-prelude-list-functions

3028− (weld (weld (check ~.types-prelude-list-functions src-496 `tok-496 `tre-496) (check-module-types ~.types-prelude-list-functions ~[%tests %golden ~.types-prelude-list-functions %source %jibb] src-496 `typ-496 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-496-1]])) (check-module-trees ~.types-prelude-list-functions `mtre-496 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-496-1]]))

3060+ (weld (weld (check ~.types-prelude-list-functions src-500 `tok-500 `tre-500) (check-module-types ~.types-prelude-list-functions ~[%tests %golden ~.types-prelude-list-functions %source %jibb] src-500 `typ-500 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-500-1]])) (check-module-trees ~.types-prelude-list-functions `mtre-500 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-500-1]]))

30293061++ test-types-prelude-list-helpers

3030− (weld (check ~.types-prelude-list-helpers src-497 `tok-497 `tre-497) (check-module-types ~.types-prelude-list-helpers ~[%tests %golden ~.types-prelude-list-helpers %source %jibb] src-497 `typ-497 ~ ~ ~))

3062+ (weld (check ~.types-prelude-list-helpers src-501 `tok-501 `tre-501) (check-module-types ~.types-prelude-list-helpers ~[%tests %golden ~.types-prelude-list-helpers %source %jibb] src-501 `typ-501 ~ ~ ~))

30313063++ test-types-prelude-unit-helpers

3032− (weld (check ~.types-prelude-unit-helpers src-498 `tok-498 `tre-498) (check-module-types ~.types-prelude-unit-helpers ~[%tests %golden ~.types-prelude-unit-helpers %source %jibb] src-498 `typ-498 ~ ~ ~))

3064+ (weld (check ~.types-prelude-unit-helpers src-502 `tok-502 `tre-502) (check-module-types ~.types-prelude-unit-helpers ~[%tests %golden ~.types-prelude-unit-helpers %source %jibb] src-502 `typ-502 ~ ~ ~))

30333065++ test-types-record-bound-variable

3034− (weld (check ~.types-record-bound-variable src-499 `tok-499 `tre-499) (check-types ~.types-record-bound-variable ~[%tests %golden ~.types-record-bound-variable %source %jibb] src-499 `typ-499))

3066+ (weld (check ~.types-record-bound-variable src-503 `tok-503 `tre-503) (check-types ~.types-record-bound-variable ~[%tests %golden ~.types-record-bound-variable %source %jibb] src-503 `typ-503))

30353067++ test-types-record-cast-context

3036− (weld (check ~.types-record-cast-context src-500 `tok-500 `tre-500) (check-module-types ~.types-record-cast-context ~[%tests %golden ~.types-record-cast-context %source %jibb] src-500 `typ-500 ~ ~ ~))

3068+ (weld (check ~.types-record-cast-context src-504 `tok-504 `tre-504) (check-module-types ~.types-record-cast-context ~[%tests %golden ~.types-record-cast-context %source %jibb] src-504 `typ-504 ~ ~ ~))

30373069++ test-types-record-change

3038− (weld (check ~.types-record-change src-501 `tok-501 `tre-501) (check-module-types ~.types-record-change ~[%tests %golden ~.types-record-change %source %jibb] src-501 `typ-501 ~ ~ ~))

3070+ (weld (check ~.types-record-change src-505 `tok-505 `tre-505) (check-module-types ~.types-record-change ~[%tests %golden ~.types-record-change %source %jibb] src-505 `typ-505 ~ ~ ~))

30393071++ test-types-record-change-generic

3040− (weld (check ~.types-record-change-generic src-502 `tok-502 `tre-502) (check-module-types ~.types-record-change-generic ~[%tests %golden ~.types-record-change-generic %source %jibb] src-502 `typ-502 ~ ~ ~))

3072+ (weld (check ~.types-record-change-generic src-506 `tok-506 `tre-506) (check-module-types ~.types-record-change-generic ~[%tests %golden ~.types-record-change-generic %source %jibb] src-506 `typ-506 ~ ~ ~))

30413073++ test-types-record-faces

3042− (weld (check ~.types-record-faces src-503 `tok-503 `tre-503) (check-types ~.types-record-faces ~[%tests %golden ~.types-record-faces %source %jibb] src-503 `typ-503))

3074+ (weld (check ~.types-record-faces src-507 `tok-507 `tre-507) (check-types ~.types-record-faces ~[%tests %golden ~.types-record-faces %source %jibb] src-507 `typ-507))

30433075++ test-types-record-import

3044− (weld (weld (check ~.types-record-import src-504 `tok-504 `tre-504) (check-module-types ~.types-record-import ~[%tests %golden ~.types-record-import %source %jibb] src-504 `typ-504 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-504-1]])) (check-module-trees ~.types-record-import `mtre-504 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-504-1]]))

3076+ (weld (weld (check ~.types-record-import src-508 `tok-508 `tre-508) (check-module-types ~.types-record-import ~[%tests %golden ~.types-record-import %source %jibb] src-508 `typ-508 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-508-1]])) (check-module-trees ~.types-record-import `mtre-508 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-508-1]]))

30453077++ test-types-record-local-scheme

3046− (weld (check ~.types-record-local-scheme src-505 `tok-505 `tre-505) (check-types ~.types-record-local-scheme ~[%tests %golden ~.types-record-local-scheme %source %jibb] src-505 `typ-505))

3078+ (weld (check ~.types-record-local-scheme src-509 `tok-509 `tre-509) (check-types ~.types-record-local-scheme ~[%tests %golden ~.types-record-local-scheme %source %jibb] src-509 `typ-509))

30473079++ test-types-record-nested

3048− (weld (check ~.types-record-nested src-506 `tok-506 `tre-506) (check-types ~.types-record-nested ~[%tests %golden ~.types-record-nested %source %jibb] src-506 `typ-506))

3080+ (weld (check ~.types-record-nested src-510 `tok-510 `tre-510) (check-types ~.types-record-nested ~[%tests %golden ~.types-record-nested %source %jibb] src-510 `typ-510))

30493081++ test-types-record-to-tuple

3050− (weld (check ~.types-record-to-tuple src-507 `tok-507 `tre-507) (check-types ~.types-record-to-tuple ~[%tests %golden ~.types-record-to-tuple %source %jibb] src-507 `typ-507))

3082+ (weld (check ~.types-record-to-tuple src-511 `tok-511 `tre-511) (check-types ~.types-record-to-tuple ~[%tests %golden ~.types-record-to-tuple %source %jibb] src-511 `typ-511))

30513083++ test-types-recursion-scc-failures

3052− (weld (check ~.types-recursion-scc-failures src-508 `tok-508 `tre-508) (check-module-types ~.types-recursion-scc-failures ~[%tests %golden ~.types-recursion-scc-failures %source %jibb] src-508 `typ-508 ~ ~ ~))

3084+ (weld (check ~.types-recursion-scc-failures src-512 `tok-512 `tre-512) (check-module-types ~.types-recursion-scc-failures ~[%tests %golden ~.types-recursion-scc-failures %source %jibb] src-512 `typ-512 ~ ~ ~))

30533085++ test-types-recursion-scc-groups

3054− (weld (check ~.types-recursion-scc-groups src-509 `tok-509 `tre-509) (check-module-types ~.types-recursion-scc-groups ~[%tests %golden ~.types-recursion-scc-groups %source %jibb] src-509 `typ-509 ~ ~ ~))

3086+ (weld (check ~.types-recursion-scc-groups src-513 `tok-513 `tre-513) (check-module-types ~.types-recursion-scc-groups ~[%tests %golden ~.types-recursion-scc-groups %source %jibb] src-513 `typ-513 ~ ~ ~))

30553087++ test-types-recursion-scc-import

3056− (weld (weld (check ~.types-recursion-scc-import src-510 `tok-510 `tre-510) (check-module-types ~.types-recursion-scc-import ~[%tests %golden ~.types-recursion-scc-import %source %jibb] src-510 `typ-510 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-510-1]])) (check-module-trees ~.types-recursion-scc-import `mtre-510 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-510-1]]))

3088+ (weld (weld (check ~.types-recursion-scc-import src-514 `tok-514 `tre-514) (check-module-types ~.types-recursion-scc-import ~[%tests %golden ~.types-recursion-scc-import %source %jibb] src-514 `typ-514 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-514-1]])) (check-module-trees ~.types-recursion-scc-import `mtre-514 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-514-1]]))

30573089++ test-types-recursion-scc-import-bad

3058− (weld (weld (check ~.types-recursion-scc-import-bad src-511 `tok-511 `tre-511) (check-module-types ~.types-recursion-scc-import-bad ~[%tests %golden ~.types-recursion-scc-import-bad %source %jibb] src-511 `typ-511 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-511-1]])) (check-module-trees ~.types-recursion-scc-import-bad `mtre-511 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-511-1]]))

3090+ (weld (weld (check ~.types-recursion-scc-import-bad src-515 `tok-515 `tre-515) (check-module-types ~.types-recursion-scc-import-bad ~[%tests %golden ~.types-recursion-scc-import-bad %source %jibb] src-515 `typ-515 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-515-1]])) (check-module-trees ~.types-recursion-scc-import-bad `mtre-515 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-515-1]]))

30593091++ test-types-recursion-scc-local

3060− (weld (check ~.types-recursion-scc-local src-512 `tok-512 `tre-512) (check-module-types ~.types-recursion-scc-local ~[%tests %golden ~.types-recursion-scc-local %source %jibb] src-512 `typ-512 ~ ~ ~))

3092+ (weld (check ~.types-recursion-scc-local src-516 `tok-516 `tre-516) (check-module-types ~.types-recursion-scc-local ~[%tests %golden ~.types-recursion-scc-local %source %jibb] src-516 `typ-516 ~ ~ ~))

30613093++ test-types-recursion-scc-order

3062− (weld (check ~.types-recursion-scc-order src-513 `tok-513 `tre-513) (check-module-types ~.types-recursion-scc-order ~[%tests %golden ~.types-recursion-scc-order %source %jibb] src-513 `typ-513 ~ ~ ~))

3094+ (weld (check ~.types-recursion-scc-order src-517 `tok-517 `tre-517) (check-module-types ~.types-recursion-scc-order ~[%tests %golden ~.types-recursion-scc-order %source %jibb] src-517 `typ-517 ~ ~ ~))

30633095++ test-types-recursion-scc-shadow

3064− (weld (check ~.types-recursion-scc-shadow src-514 `tok-514 `tre-514) (check-module-types ~.types-recursion-scc-shadow ~[%tests %golden ~.types-recursion-scc-shadow %source %jibb] src-514 `typ-514 ~ ~ ~))

3096+ (weld (check ~.types-recursion-scc-shadow src-518 `tok-518 `tre-518) (check-module-types ~.types-recursion-scc-shadow ~[%tests %golden ~.types-recursion-scc-shadow %source %jibb] src-518 `typ-518 ~ ~ ~))

30653097++ test-types-recursive-branch

3066− (weld (check ~.types-recursive-branch src-515 `tok-515 `tre-515) (check-module-types ~.types-recursive-branch ~[%tests %golden ~.types-recursive-branch %source %jibb] src-515 `typ-515 ~ ~ ~))

3098+ (weld (check ~.types-recursive-branch src-519 `tok-519 `tre-519) (check-module-types ~.types-recursive-branch ~[%tests %golden ~.types-recursive-branch %source %jibb] src-519 `typ-519 ~ ~ ~))

30673099++ test-types-recursive-gate

3068− (weld (check ~.types-recursive-gate src-516 `tok-516 `tre-516) (check-types ~.types-recursive-gate ~[%tests %golden ~.types-recursive-gate %source %jibb] src-516 `typ-516))

3100+ (weld (check ~.types-recursive-gate src-520 `tok-520 `tre-520) (check-types ~.types-recursive-gate ~[%tests %golden ~.types-recursive-gate %source %jibb] src-520 `typ-520))

30693101++ test-types-recursive-sample

3070− (weld (check ~.types-recursive-sample src-517 `tok-517 `tre-517) (check-types ~.types-recursive-sample ~[%tests %golden ~.types-recursive-sample %source %jibb] src-517 `typ-517))

3102+ (weld (check ~.types-recursive-sample src-521 `tok-521 `tre-521) (check-types ~.types-recursive-sample ~[%tests %golden ~.types-recursive-sample %source %jibb] src-521 `typ-521))

30713103++ test-types-scope-library-poke

3072− (weld (check-at ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-518 `tok-518 `tre-518) (check-module-types ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-518 `typ-518 ~ ~ ~))

3104+ (weld (check-at ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-522 `tok-522 `tre-522) (check-module-types ~.types-scope-library-poke ~[~.ui ~.lib ~.library ~.jibb] src-522 `typ-522 ~ ~ ~))

30733105++ test-types-scope-root-api

3074− (weld (check-at ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-519 `tok-519 `tre-519) (check-module-types ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-519 `typ-519 ~ ~ ~))

3106+ (weld (check-at ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-523 `tok-523 `tre-523) (check-module-types ~.types-scope-root-api ~[~.ui ~.api ~.todo ~.jibb] src-523 `typ-523 ~ ~ ~))

30753107++ test-types-scope-store-duplicate

3076− (weld (check-at ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-520 `tok-520 `tre-520) (check-module-types ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-520 `typ-520 ~ ~ ~))

3108+ (weld (check-at ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-524 `tok-524 `tre-524) (check-module-types ~.types-scope-store-duplicate ~[~.ui ~.stores ~.cart ~.jibb] src-524 `typ-524 ~ ~ ~))

30773109++ test-types-scope-store-shadow

3078− (weld (check-at ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-521 `tok-521 `tre-521) (check-module-types ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-521 `typ-521 ~ ~ ~))

3110+ (weld (check-at ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-525 `tok-525 `tre-525) (check-module-types ~.types-scope-store-shadow ~[~.ui ~.stores ~.cart ~.jibb] src-525 `typ-525 ~ ~ ~))

30793111++ test-types-string-interpolation

3080− (weld (check ~.types-string-interpolation src-522 `tok-522 `tre-522) (check-module-types ~.types-string-interpolation ~[%tests %golden ~.types-string-interpolation %source %jibb] src-522 `typ-522 ~ ~ ~))

3112+ (weld (check ~.types-string-interpolation src-526 `tok-526 `tre-526) (check-module-types ~.types-string-interpolation ~[%tests %golden ~.types-string-interpolation %source %jibb] src-526 `typ-526 ~ ~ ~))

30813113++ test-types-tuple-context

3082− (weld (check ~.types-tuple-context src-523 `tok-523 `tre-523) (check-module-types ~.types-tuple-context ~[%tests %golden ~.types-tuple-context %source %jibb] src-523 `typ-523 ~ ~ ~))

3114+ (weld (check ~.types-tuple-context src-527 `tok-527 `tre-527) (check-module-types ~.types-tuple-context ~[%tests %golden ~.types-tuple-context %source %jibb] src-527 `typ-527 ~ ~ ~))

30833115++ test-types-tuple-context-nested

3084− (weld (check ~.types-tuple-context-nested src-524 `tok-524 `tre-524) (check-module-types ~.types-tuple-context-nested ~[%tests %golden ~.types-tuple-context-nested %source %jibb] src-524 `typ-524 ~ ~ ~))

3116+ (weld (check ~.types-tuple-context-nested src-528 `tok-528 `tre-528) (check-module-types ~.types-tuple-context-nested ~[%tests %golden ~.types-tuple-context-nested %source %jibb] src-528 `typ-528 ~ ~ ~))

30853117++ test-types-union-alias

3086− (weld (check ~.types-union-alias src-525 `tok-525 `tre-525) (check-types ~.types-union-alias ~[%tests %golden ~.types-union-alias %source %jibb] src-525 `typ-525))

3118+ (weld (check ~.types-union-alias src-529 `tok-529 `tre-529) (check-types ~.types-union-alias ~[%tests %golden ~.types-union-alias %source %jibb] src-529 `typ-529))

30873119++ test-types-union-branch-context

3088− (weld (check ~.types-union-branch-context src-526 `tok-526 `tre-526) (check-types ~.types-union-branch-context ~[%tests %golden ~.types-union-branch-context %source %jibb] src-526 `typ-526))

3120+ (weld (check ~.types-union-branch-context src-530 `tok-530 `tre-530) (check-types ~.types-union-branch-context ~[%tests %golden ~.types-union-branch-context %source %jibb] src-530 `typ-530))

30893121++ test-types-union-branch-pending

3090− (weld (check ~.types-union-branch-pending src-527 `tok-527 `tre-527) (check-types ~.types-union-branch-pending ~[%tests %golden ~.types-union-branch-pending %source %jibb] src-527 `typ-527))

3122+ (weld (check ~.types-union-branch-pending src-531 `tok-531 `tre-531) (check-types ~.types-union-branch-pending ~[%tests %golden ~.types-union-branch-pending %source %jibb] src-531 `typ-531))

30913123++ test-types-union-constructor-shape

3092− (weld (check ~.types-union-constructor-shape src-528 `tok-528 `tre-528) (check-types ~.types-union-constructor-shape ~[%tests %golden ~.types-union-constructor-shape %source %jibb] src-528 `typ-528))

3124+ (weld (check ~.types-union-constructor-shape src-532 `tok-532 `tre-532) (check-types ~.types-union-constructor-shape ~[%tests %golden ~.types-union-constructor-shape %source %jibb] src-532 `typ-532))

30933125++ test-types-union-context-flow

3094− (weld (check ~.types-union-context-flow src-529 `tok-529 `tre-529) (check-types ~.types-union-context-flow ~[%tests %golden ~.types-union-context-flow %source %jibb] src-529 `typ-529))

3126+ (weld (check ~.types-union-context-flow src-533 `tok-533 `tre-533) (check-types ~.types-union-context-flow ~[%tests %golden ~.types-union-context-flow %source %jibb] src-533 `typ-533))

30953127++ test-types-union-finite

3096− (weld (check ~.types-union-finite src-530 `tok-530 `tre-530) (check-module-types ~.types-union-finite ~[%tests %golden ~.types-union-finite %source %jibb] src-530 `typ-530 ~ ~ ~))

3128+ (weld (check ~.types-union-finite src-534 `tok-534 `tre-534) (check-module-types ~.types-union-finite ~[%tests %golden ~.types-union-finite %source %jibb] src-534 `typ-534 ~ ~ ~))

30973129++ test-types-union-finite-context

3098− (weld (check ~.types-union-finite-context src-531 `tok-531 `tre-531) (check-module-types ~.types-union-finite-context ~[%tests %golden ~.types-union-finite-context %source %jibb] src-531 `typ-531 ~ ~ ~))

3130+ (weld (check ~.types-union-finite-context src-535 `tok-535 `tre-535) (check-module-types ~.types-union-finite-context ~[%tests %golden ~.types-union-finite-context %source %jibb] src-535 `typ-535 ~ ~ ~))

30993131++ test-types-union-finite-generic

3100− (weld (check ~.types-union-finite-generic src-532 `tok-532 `tre-532) (check-module-types ~.types-union-finite-generic ~[%tests %golden ~.types-union-finite-generic %source %jibb] src-532 `typ-532 ~ ~ ~))

3132+ (weld (check ~.types-union-finite-generic src-536 `tok-536 `tre-536) (check-module-types ~.types-union-finite-generic ~[%tests %golden ~.types-union-finite-generic %source %jibb] src-536 `typ-536 ~ ~ ~))

31013133++ test-types-union-finite-limit

3102− (weld (check ~.types-union-finite-limit src-533 `tok-533 `tre-533) (check-module-types ~.types-union-finite-limit ~[%tests %golden ~.types-union-finite-limit %source %jibb] src-533 `typ-533 ~ ~ ~))

3134+ (weld (check ~.types-union-finite-limit src-537 `tok-537 `tre-537) (check-module-types ~.types-union-finite-limit ~[%tests %golden ~.types-union-finite-limit %source %jibb] src-537 `typ-537 ~ ~ ~))

31033135++ test-types-union-import

3104− (weld (weld (check ~.types-union-import src-534 `tok-534 `tre-534) (check-module-types ~.types-union-import ~[%tests %golden ~.types-union-import %source %jibb] src-534 `typ-534 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-534-1]])) (check-module-trees ~.types-union-import `mtre-534 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-534-1]]))

3136+ (weld (weld (check ~.types-union-import src-538 `tok-538 `tre-538) (check-module-types ~.types-union-import ~[%tests %golden ~.types-union-import %source %jibb] src-538 `typ-538 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-538-1]])) (check-module-trees ~.types-union-import `mtre-538 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-538-1]]))

31053137++ test-types-union-local-pending

3106− (weld (check ~.types-union-local-pending src-535 `tok-535 `tre-535) (check-types ~.types-union-local-pending ~[%tests %golden ~.types-union-local-pending %source %jibb] src-535 `typ-535))

3138+ (weld (check ~.types-union-local-pending src-539 `tok-539 `tre-539) (check-types ~.types-union-local-pending ~[%tests %golden ~.types-union-local-pending %source %jibb] src-539 `typ-539))

31073139++ test-types-union-overlap

3108− (weld (check ~.types-union-overlap src-536 `tok-536 `tre-536) (check-types ~.types-union-overlap ~[%tests %golden ~.types-union-overlap %source %jibb] src-536 `typ-536))

3140+ (weld (check ~.types-union-overlap src-540 `tok-540 `tre-540) (check-types ~.types-union-overlap ~[%tests %golden ~.types-union-overlap %source %jibb] src-540 `typ-540))

31093141++ test-types-union-overlap-nested

3110− (weld (check ~.types-union-overlap-nested src-537 `tok-537 `tre-537) (check-types ~.types-union-overlap-nested ~[%tests %golden ~.types-union-overlap-nested %source %jibb] src-537 `typ-537))

3142+ (weld (check ~.types-union-overlap-nested src-541 `tok-541 `tre-541) (check-types ~.types-union-overlap-nested ~[%tests %golden ~.types-union-overlap-nested %source %jibb] src-541 `typ-541))

31113143++ test-types-union-pattern-result-context

3112− (weld (check ~.types-union-pattern-result-context src-538 `tok-538 `tre-538) (check-module-types ~.types-union-pattern-result-context ~[%tests %golden ~.types-union-pattern-result-context %source %jibb] src-538 `typ-538 ~ ~ ~))

3144+ (weld (check ~.types-union-pattern-result-context src-542 `tok-542 `tre-542) (check-module-types ~.types-union-pattern-result-context ~[%tests %golden ~.types-union-pattern-result-context %source %jibb] src-542 `typ-542 ~ ~ ~))

31133145++ test-types-union-pattern-result-controls

3114− (weld (check ~.types-union-pattern-result-controls src-539 `tok-539 `tre-539) (check-module-types ~.types-union-pattern-result-controls ~[%tests %golden ~.types-union-pattern-result-controls %source %jibb] src-539 `typ-539 ~ ~ ~))

3146+ (weld (check ~.types-union-pattern-result-controls src-543 `tok-543 `tre-543) (check-module-types ~.types-union-pattern-result-controls ~[%tests %golden ~.types-union-pattern-result-controls %source %jibb] src-543 `typ-543 ~ ~ ~))

31153147++ test-types-union-patterns

3116− (weld (check ~.types-union-patterns src-540 `tok-540 `tre-540) (check-module-types ~.types-union-patterns ~[%tests %golden ~.types-union-patterns %source %jibb] src-540 `typ-540 ~ ~ ~))

3148+ (weld (check ~.types-union-patterns src-544 `tok-544 `tre-544) (check-module-types ~.types-union-patterns ~[%tests %golden ~.types-union-patterns %source %jibb] src-544 `typ-544 ~ ~ ~))

31173149++ test-types-union-patterns-generic

3118− (weld (check ~.types-union-patterns-generic src-541 `tok-541 `tre-541) (check-module-types ~.types-union-patterns-generic ~[%tests %golden ~.types-union-patterns-generic %source %jibb] src-541 `typ-541 ~ ~ ~))

3150+ (weld (check ~.types-union-patterns-generic src-545 `tok-545 `tre-545) (check-module-types ~.types-union-patterns-generic ~[%tests %golden ~.types-union-patterns-generic %source %jibb] src-545 `typ-545 ~ ~ ~))

31193151++ test-types-union-patterns-import

3120− (weld (weld (check ~.types-union-patterns-import src-542 `tok-542 `tre-542) (check-module-types ~.types-union-patterns-import ~[%tests %golden ~.types-union-patterns-import %source %jibb] src-542 `typ-542 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-542-1]])) (check-module-trees ~.types-union-patterns-import `mtre-542 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-542-1]]))

3152+ (weld (weld (check ~.types-union-patterns-import src-546 `tok-546 `tre-546) (check-module-types ~.types-union-patterns-import ~[%tests %golden ~.types-union-patterns-import %source %jibb] src-546 `typ-546 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-546-1]])) (check-module-trees ~.types-union-patterns-import `mtre-546 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-546-1]]))

31213153++ test-types-union-phantom-generic

3122− (weld (check ~.types-union-phantom-generic src-543 `tok-543 `tre-543) (check-types ~.types-union-phantom-generic ~[%tests %golden ~.types-union-phantom-generic %source %jibb] src-543 `typ-543))

3154+ (weld (check ~.types-union-phantom-generic src-547 `tok-547 `tre-547) (check-types ~.types-union-phantom-generic ~[%tests %golden ~.types-union-phantom-generic %source %jibb] src-547 `typ-547))

31233155++ test-types-union-print-cross-namespace

3124− (weld (weld (check ~.types-union-print-cross-namespace src-544 `tok-544 `tre-544) (check-module-types ~.types-union-print-cross-namespace ~[%tests %golden ~.types-union-print-cross-namespace %source %jibb] src-544 `typ-544 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-544-1]])) (check-module-trees ~.types-union-print-cross-namespace `mtre-544 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-544-1]]))

3156+ (weld (weld (check ~.types-union-print-cross-namespace src-548 `tok-548 `tre-548) (check-module-types ~.types-union-print-cross-namespace ~[%tests %golden ~.types-union-print-cross-namespace %source %jibb] src-548 `typ-548 ~ ~ ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-548-1]])) (check-module-trees ~.types-union-print-cross-namespace `mtre-548 ~[['/ui/lib.jibb' ~[~.ui ~.lib ~.jibb] mod-548-1]]))

31253157++ test-types-union-print-distinct

3126− (weld (weld (check ~.types-union-print-distinct src-545 `tok-545 `tre-545) (check-module-types ~.types-union-print-distinct ~[%tests %golden ~.types-union-print-distinct %source %jibb] src-545 `typ-545 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-545-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-545-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-545-3]])) (check-module-trees ~.types-union-print-distinct `mtre-545 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-545-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-545-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-545-3]]))

3158+ (weld (weld (check ~.types-union-print-distinct src-549 `tok-549 `tre-549) (check-module-types ~.types-union-print-distinct ~[%tests %golden ~.types-union-print-distinct %source %jibb] src-549 `typ-549 ~ ~ ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-549-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-549-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-549-3]])) (check-module-trees ~.types-union-print-distinct `mtre-549 ~[['/ui/left.jibb' ~[~.ui ~.left ~.jibb] mod-549-1] ['/ui/right.jibb' ~[~.ui ~.right ~.jibb] mod-549-2] ['/ui/twin.jibb' ~[~.ui ~.twin ~.jibb] mod-549-3]]))

31273159++ test-types-union-print-escape

3128− (weld (check ~.types-union-print-escape src-546 `tok-546 `tre-546) (check-types ~.types-union-print-escape ~[%tests %golden ~.types-union-print-escape %source %jibb] src-546 `typ-546))

3160+ (weld (check ~.types-union-print-escape src-550 `tok-550 `tre-550) (check-types ~.types-union-print-escape ~[%tests %golden ~.types-union-print-escape %source %jibb] src-550 `typ-550))

31293161++ test-types-union-print-local

3130− (weld (check ~.types-union-print-local src-547 `tok-547 `tre-547) (check-types ~.types-union-print-local ~[%tests %golden ~.types-union-print-local %source %jibb] src-547 `typ-547))

3162+ (weld (check ~.types-union-print-local src-551 `tok-551 `tre-551) (check-types ~.types-union-print-local ~[%tests %golden ~.types-union-print-local %source %jibb] src-551 `typ-551))

31313163++ test-types-union-print-nested

3132− (weld (check ~.types-union-print-nested src-548 `tok-548 `tre-548) (check-types ~.types-union-print-nested ~[%tests %golden ~.types-union-print-nested %source %jibb] src-548 `typ-548))

3164+ (weld (check ~.types-union-print-nested src-552 `tok-552 `tre-552) (check-types ~.types-union-print-nested ~[%tests %golden ~.types-union-print-nested %source %jibb] src-552 `typ-552))

31333165++ test-types-union-print-same-origin

3134− (weld (weld (check ~.types-union-print-same-origin src-549 `tok-549 `tre-549) (check-module-types ~.types-union-print-same-origin ~[%tests %golden ~.types-union-print-same-origin %source %jibb] src-549 `typ-549 ~ ~ ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-549-1]])) (check-module-trees ~.types-union-print-same-origin `mtre-549 ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-549-1]]))

3166+ (weld (weld (check ~.types-union-print-same-origin src-553 `tok-553 `tre-553) (check-module-types ~.types-union-print-same-origin ~[%tests %golden ~.types-union-print-same-origin %source %jibb] src-553 `typ-553 ~ ~ ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-553-1]])) (check-module-trees ~.types-union-print-same-origin `mtre-553 ~[['/ui/shared.jibb' ~[~.ui ~.shared ~.jibb] mod-553-1]]))

31353167++ test-types-union-print-transitive

3136− (weld (weld (check ~.types-union-print-transitive src-550 `tok-550 `tre-550) (check-module-types ~.types-union-print-transitive ~[%tests %golden ~.types-union-print-transitive %source %jibb] src-550 `typ-550 ~ ~ ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-550-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-550-2]])) (check-module-trees ~.types-union-print-transitive `mtre-550 ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-550-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-550-2]]))

3168+ (weld (weld (check ~.types-union-print-transitive src-554 `tok-554 `tre-554) (check-module-types ~.types-union-print-transitive ~[%tests %golden ~.types-union-print-transitive %source %jibb] src-554 `typ-554 ~ ~ ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-554-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-554-2]])) (check-module-trees ~.types-union-print-transitive `mtre-554 ~[['/ui/mid.jibb' ~[~.ui ~.mid ~.jibb] mod-554-1] ['/ui/base.jibb' ~[~.ui ~.base ~.jibb] mod-554-2]]))

31373169++ test-types-union-singleton

3138− (weld (check ~.types-union-singleton src-551 `tok-551 `tre-551) (check-types ~.types-union-singleton ~[%tests %golden ~.types-union-singleton %source %jibb] src-551 `typ-551))

3170+ (weld (check ~.types-union-singleton src-555 `tok-555 `tre-555) (check-types ~.types-union-singleton ~[%tests %golden ~.types-union-singleton %source %jibb] src-555 `typ-555))

31393171++ test-types-union-tag-atoms

3140− (weld (check ~.types-union-tag-atoms src-552 `tok-552 `tre-552) (check-types ~.types-union-tag-atoms ~[%tests %golden ~.types-union-tag-atoms %source %jibb] src-552 `typ-552))

3172+ (weld (check ~.types-union-tag-atoms src-556 `tok-556 `tre-556) (check-types ~.types-union-tag-atoms ~[%tests %golden ~.types-union-tag-atoms %source %jibb] src-556 `typ-556))

31413173++ test-types-union-tags

3142− (weld (check ~.types-union-tags src-553 `tok-553 `tre-553) (check-types ~.types-union-tags ~[%tests %golden ~.types-union-tags %source %jibb] src-553 `typ-553))

3174+ (weld (check ~.types-union-tags src-557 `tok-557 `tre-557) (check-types ~.types-union-tags ~[%tests %golden ~.types-union-tags %source %jibb] src-557 `typ-557))

31433175++ test-types-union-unresolved

3144− (weld (check ~.types-union-unresolved src-554 `tok-554 `tre-554) (check-types ~.types-union-unresolved ~[%tests %golden ~.types-union-unresolved %source %jibb] src-554 `typ-554))

3176+ (weld (check ~.types-union-unresolved src-558 `tok-558 `tre-558) (check-types ~.types-union-unresolved ~[%tests %golden ~.types-union-unresolved %source %jibb] src-558 `typ-558))

31453177++ test-types-union-unresolved-flow

3146− (weld (check ~.types-union-unresolved-flow src-555 `tok-555 `tre-555) (check-types ~.types-union-unresolved-flow ~[%tests %golden ~.types-union-unresolved-flow %source %jibb] src-555 `typ-555))

3178+ (weld (check ~.types-union-unresolved-flow src-559 `tok-559 `tre-559) (check-types ~.types-union-unresolved-flow ~[%tests %golden ~.types-union-unresolved-flow %source %jibb] src-559 `typ-559))

31473179++ test-types-unit-construction

3148− (weld (check ~.types-unit-construction src-556 `tok-556 `tre-556) (check-module-types ~.types-unit-construction ~[%tests %golden ~.types-unit-construction %source %jibb] src-556 `typ-556 ~ ~ ~))

3180+ (weld (check ~.types-unit-construction src-560 `tok-560 `tre-560) (check-module-types ~.types-unit-construction ~[%tests %golden ~.types-unit-construction %source %jibb] src-560 `typ-560 ~ ~ ~))

31493181++ test-types-unit-context

3150− (weld (check ~.types-unit-context src-557 `tok-557 `tre-557) (check-module-types ~.types-unit-context ~[%tests %golden ~.types-unit-context %source %jibb] src-557 `typ-557 ~ ~ ~))

3182+ (weld (check ~.types-unit-context src-561 `tok-561 `tre-561) (check-module-types ~.types-unit-context ~[%tests %golden ~.types-unit-context %source %jibb] src-561 `typ-561 ~ ~ ~))

31513183++ test-types-unit-patterns

3152− (weld (check ~.types-unit-patterns src-558 `tok-558 `tre-558) (check-types ~.types-unit-patterns ~[%tests %golden ~.types-unit-patterns %source %jibb] src-558 `typ-558))

3184+ (weld (check ~.types-unit-patterns src-562 `tok-562 `tre-562) (check-types ~.types-unit-patterns ~[%tests %golden ~.types-unit-patterns %source %jibb] src-562 `typ-562))

31533185++ test-types-value-cycle-shadow

3154− (weld (check ~.types-value-cycle-shadow src-559 `tok-559 `tre-559) (check-module-types ~.types-value-cycle-shadow ~[%tests %golden ~.types-value-cycle-shadow %source %jibb] src-559 `typ-559 ~ ~ ~))

3186+ (weld (check ~.types-value-cycle-shadow src-563 `tok-563 `tre-563) (check-module-types ~.types-value-cycle-shadow ~[%tests %golden ~.types-value-cycle-shadow %source %jibb] src-563 `typ-563 ~ ~ ~))

31553187++ test-types-value-cycle-unsupported

3156− (weld (check ~.types-value-cycle-unsupported src-560 `tok-560 `tre-560) (check-module-types ~.types-value-cycle-unsupported ~[%tests %golden ~.types-value-cycle-unsupported %source %jibb] src-560 `typ-560 ~ ~ ~))

3188+ (weld (check ~.types-value-cycle-unsupported src-564 `tok-564 `tre-564) (check-module-types ~.types-value-cycle-unsupported ~[%tests %golden ~.types-value-cycle-unsupported %source %jibb] src-564 `typ-564 ~ ~ ~))

31573189++ test-types-value-cycles

3158− (weld (check ~.types-value-cycles src-561 `tok-561 `tre-561) (check-module-types ~.types-value-cycles ~[%tests %golden ~.types-value-cycles %source %jibb] src-561 `typ-561 ~ ~ ~))

3190+ (weld (check ~.types-value-cycles src-565 `tok-565 `tre-565) (check-module-types ~.types-value-cycles ~[%tests %golden ~.types-value-cycles %source %jibb] src-565 `typ-565 ~ ~ ~))

31593191::

31603192:: +check: run golden:jibb on a case and compare both outputs

31613193::