Returns the path to the test directory root.

Whether to show a diff for an available fix after the main diagnostic.

Generate a [`Snapshot`] of the current semantic model.

Return the notebook content. This is the concatenation of all Python code cells.

Create a span with the range of the given expression in the file being currently type checked. If you're creating a diagnostic with snippets in files

Return a `TOMLDecodeError` where error message is suffixed with coordinates in source.

Return the zero-indexed primitive value for this [`OneIndexed`]

Attempts to convert the [`Parsed<Mod>`] into a [`Parsed<ModModule>`]. This method checks if the `syntax` field of the output is a [`Mod::Module`]. If

Given the type of an object that is iterated over in some way, return a tuple spec describing the type of objects that are yielded by that iteration.

Adds a type to this union.

Returns the scopes enclosing `node`, starting with the scope containing the node itself. Like [`Self::scope`], this handles nodes inside string annot

Applies an optional specialization to this specialization.

Returns a slice of all the [`FStringPart`]s contained in this value.

Returns `Some` if the reference is a `Symbol`, otherwise `None`.

If this type is a class instance, returns the class and its specialization.

Walks the project paths and collects the paths of all files that are included in the project.

Whether to enable colors or not.

The range of the string literal's contents. This excludes any prefixes, opening quotes or closing quotes.

Creates a new, empty virtual environment.

Create Ruff-style syntax error diagnostics for testing the various output formats.

Returns a nice debug representation that prints the source code for every comment (and not just the range).

Return the compact enum-complement view of this intersection, if it has one.

Returns the [`File`] attached to this [`Span`]. Panics if the file is a [`UnifiedFile::Ruff`] instead of a [`UnifiedFile::Ty`].

Returns the most appropriate type of this argument when there is no specific declared type.

Returns the `Span` associated with this annotation.

Returns the identifier for this diagnostic.

Infer all types for an [`Expression`] (including sub-expressions). Use rarely; only for cases where we'd otherwise risk double-inferring an expression

Test whether the given binding can be considered a dictionary. For this, we check what value might be associated with it through it's initialization,

Return `true` if `self` is a nominal instance of the given known class.

Returns whether two bound typevars represent the same occurrence, regardless of e.g. differences in their bounds or constraints due to materialization

Returns `true` if a function has an empty body, and is therefore a stub. A function body is considered to be empty if it contains only `pass` stateme

Returns an iterator over every symbol along with its ID.

Returns the [byte offsets](TextSize) for every line

Returns an iterator over the [`StringLiteral`] parts contained in this value. Note that this doesn't recurse into the f-string parts. For example, `

Given the source code for an expression, return the parsed [`Expression`]. If the expression is not guaranteed to be valid as a standalone expression

Match parameters for this constructor method and downstream constructors.

Applies the constraints between the place's last materialized node and `target`. The place's node must be an ancestor of `target`. After materializat

Returns the minimum length of this tuple.

The absolute name of the module (e.g. `foo.bar`)

Send a `textDocument/didOpen` notification

Fallback (wholly or partially) to `fallback` to create a new [`LookupResult`].

Extract parameter documentation from popular docstring formats. Returns a map of parameter names to their documentation.

Returns a shared borrow of the "primary" annotation of this diagnostic if one exists. When there are multiple primary annotations, then the first one

Normalize recursive types for cycle recovery when there's no previous value. See [`Type::recursive_type_normalized`] for more details.

Resolve the relevant settings strategy and defaults for the current invocation.

Returns the resolved client capabilities that were captured during initialization.

Returns rules matching the selector, taking into account rule groups like preview and deprecated.

The scope in which the reference is defined.

Set the offset of the diagnostic's parent statement.

Returns the severity of this diagnostic. Note that this may be different than the severity of sub-diagnostics.

Add a file to site-packages (simulating a third-party dependency). The path should be relative to site-packages root (e.g., "numpy/__init__.py").

Takes a snapshot of the current state of the matched overload bindings. # Panics Panics if the indexes of the matched overloads are not valid for th