Like `normalize_vars`, but displays `?` when the entire type is a bare type variable (meaning "unconstrained / unknown").

Clone the arena, normalize type variable numbering to 1..n.

Offset all free type variables by `num_free_vars`, updating the counter.

Like `options_to_attrset_ty` but with doc comment emission control and optional `@source` annotation emission.

Extract parameter labels from a SignatureHelp result.

TODO: might be worth caching this

Parse the JSON output from `tix --format json check` and extract stats + diagnostics.

Parse a source location string like `nixpkgs:lib/trivial.nix:61:8`. Splits from the right on `:` to extract line/column, then splits the remaining pre

Helper to build an alias entry pointing at another package set.

Helper to build a callable attrset (has __functor).

Helper to build a lambda with known parameter names.

Verify that the cursor is on a renameable name and return its range.

Walk an interned annotation type and the corresponding expression in parallel, adding the annotation's param types as lower bounds on the inferred par

Read a pre-computed option tree JSON file.

Helper: create a registry with a stub file on disk, returning the registry and the stub file path.

Remove patterns subsumed by a broader recursive glob in the same set.

Helper for single-file rename tests (no cross-file context).

Given an optional alias name, look up all source locations and convert each to an LSP Location. Reads each `.tix` file from disk to build a LineIndex

Resolve a path that may point to a directory, applying Nix's convention of loading `default.nix` from directories. Returns `None` if the path is a di

Substitute `TypeOf(name)` nodes in exported `ParsedTy` trees with the actual inferred types from `binding_types`. Unresolved `TypeOf` nodes (name not

Walk a type through a series of field names, resolving each one.

Restore narrowing overrides from saved state. Handles nested narrowing correctly by restoring in reverse order.

Read current process RSS from /proc/self/statm (Linux). Returns MB, or 0 on non-Linux platforms.

Run type inference using precomputed syntax data. Does not need the analysis mutex. Returns the check result and timing. Delegates to `lang_check::ru

Generate LSP diagnostics for bindings whose inferred type is `?` (bare type variable). Skips params/pat-fields (genuinely polymorphic) and names that

Set imported type exports for cross-file type import resolution.

Set inferred file types for resolving `typeof import("path")`.

Iterate over all doc comment strings stored in this map (from both expressions and names).

Flat list of all files in this layer (convenience for eviction logic).

Allocate an empty open attrset type `{ ... }`.

Generate a random attrset with 1-4 fields of primitive types. Returns (RawTy::AttrSet, nix_text, field_names).

Check whether two OutputTy values are provably disjoint (their intersection is uninhabited). Delegates to the shared `are_shapes_disjoint` logic in `l

Check whether two constructor shapes are provably disjoint (their intersection is uninhabited). Disjointness rules: - **Different constructor kinds**

Generate a concrete argument for a parameter type.

Build a fresh TypeAliasRegistry from editor-provided stubs. Built-in nixpkgs stubs are always loaded. Additional stubs from editor settings (`nix.ser

Multi-file inference with fixpoint iteration for cyclic imports. Unlike `check_multifile` which processes deps in a single pass, this iterates all fi

Type-check Nix source with a pre-loaded type alias registry.

Close a file.

Compute code actions for the given range in the document. The LSP client sends the cursor range and any diagnostics the editor shows at that range. W

Code actions for a range in a file.

Collect an applied type: `type_func "(" type_expr ")"`.

Collect an applied type: `type_func "(" type_expr ")"`.

Collect attrpath segments from an Attrpath node, relative to a boundary position. When `inclusive` is true (hover), includes the segment whose end >=

Collect an attrset type from its children: `named_field*`, optional `dyn_field`, optional `open_marker`.

Collect reference names and select-chain leaf names from a body expression. Stops at nested Lambda boundaries to avoid inner-scope pollution.

Collect a cross-file type import: `import_kw "(" string_literal ")" "." user_type`.

Collect a cross-file type import: `import_kw "(" string_literal ")" "." user_type`.

Collect an intersection type from its children: `atom_type ("&" atom_type)*`. If only one member, returns it directly.

Walk up through nested AttrSet → AttrpathValue chains to collect parent path context. For `{ services.openssh = { enable. } }`, when called on the in

Collect a postfix field access chain: `atom_type ("." field_access_key)*`.

Collect a postfix field access chain: `atom_type ("." field_access_key)*`. Wraps the base type in FieldAccess for each `.key` suffix.

Recursively collect symbols from an expression.

Collect a typeof expression: `typeof_kw (import_path | identifier)`.

Collect a typeof expression: `typeof_kw (import_path | identifier)`.

Collect all names visible at a given scope, walking the scope chain from inner to outer. Inner definitions shadow outer ones (first insertion wins).

Build the combined context stubs for ContextSetup mode. Concatenates all stub files and adds `val lib :: Lib;` for context arg typing.

Deep-copy a type and its reachable subtree into a new compact arena.

Analyze source and get completions at a given byte offset.

Run completions at marker positions in a fixture file.

Check if a token offset falls inside the value expression of any `AttrpathValue` entry in the given attrset. Used to distinguish cursor-in-key-positio

Return the merged custom-stubs cache directory (`~/.cache/tix/custom-stubs/`). Each entry under this path is a `<hash>/` subdirectory containing the m

Look up the doc comment for a top-level declaration by name.

Convert a `DeclLocation` from the registry into an LSP `Location`. When the declaration has an `@source` annotation and the corresponding source root

Sort and deduplicate the bounds vectors of a variable. No-op for concrete entries. Reduces memory and speeds up subsequent bounds walks (extrusion, co

Parse Nix source with a curried conditional call (`f cond body`) and run detect_conditional_apply_narrowing on the inner Apply. In curried `f cond bo

Check whether an expression refers to a known conditional library function (e.g. `lib.optionalString`, `optionalString`, `lib.strings.optionalString`)

Detect a panic in stderr output.

Convert diagnostics for a single file into JSON format. Returns `(file_result, error_count, warning_count)`.

Render with truncation for human-facing messages.

Document symbols for a file.

Format function parameter names from `builtins.functionArgs` into a .tix attrset pattern. Each param gets a unique generic type variable. Params with

Convert a batch of `LocatedError`s into `TixDiagnostic`s.

Get all expected field names for a module path.

Reverse of `ty_for_expr`: given a TyId, return the ExprId it was pre-allocated for, or None if the TyId is outside the expression range (i.e. it's a n

Extract a short description from noogle content. Takes the first paragraph (before # Inputs, # Type, # Examples, etc.).

Extract a @source location string from a noogle entry. Prefers lambda_position (points to function body) over attr_position (points to the at

Look up the `@source` location for a field within a type alias. `alias` is the type alias name (e.g. "NixosConfig"). `path` is the dotted field path (

Find the value ExprId for a name's binding via the pre-built module index.