Adds an "info" sub-diagnostic with the given message. If callers want to add an "info" sub-diagnostic with annotations, then create a [`SubDiagnostic

Return the full tree, replacing it with an empty tree.

Converts the path to an owned [`SystemPathBuf`].

Get semantic tokens for the entire file

Send a `textDocument/didOpen` notification

Return `true` if the [`Module`] was "seen" anywhere in the semantic model. This is used as a fast path to avoid unnecessary work when resolving symbol

Set the message on the primary annotation for this diagnostic. If a message already exists on the primary annotation, then this overwrites the existi

Creates a new rule selection from all known lints in the registry, including lints that are default by default. Lints that are disabled by default use

Generate a [`Command`] for the `ruff check` command.

Returns a human-readable name for this variance, matching the keyword argument names used in `TypeVar(covariant=True)` / `TypeVar(contravariant=True)`

Returns the expression contained in this parsed output.

Returns the concatenated string value as a [`str`]. Note that this will perform an allocation on the first invocation if the string value is implicit

Recognizes the beginning of a fenced code block if one is present on the given line.

Flattens the hierarchical binary expression into a flat operand, operator, operand... sequence. See [`FlatBinaryExpressionSlice`] for an in depth exp

Return `true` if `expr` is a reference to `builtins.$target`, i.e. either `object` (where `object` is not overridden in the global scope), or `builtin

Returns the type that a typevar is mapped to, or None if the typevar isn't part of this mapping.

Return the [`Keyword`] with the given name, or `None` if no such [`Keyword`] exists.

Create a [`Generator`] to generate source code based on the current AST state.

Returns `true` if the given range intersects with any comment range.

Returns the memory file system. ## Panics If the underlying test system isn't the [`InMemorySystem`].

Returns the underlying class literal for this class, ignoring any specialization. For a non-generic class, this returns the class literal directly. F

Hide lines without [`Annotation`]s

Bumps the current token assuming it is of the given kind. # Panics If the current token is not of the given kind.

Writes a file to the test directory. Parent directories are created automatically if they don't exist. Content is dedented to remove common leading w

The contents of the docstring, including the opening and closing quotes.

Return the value for the argument with the given name or at the given position, or `None` if no such argument exists. Used to retrieve argument values

Returns the [`ParameterWithDefault`] with the given name, or `None` if no such [`ParameterWithDefault`] exists.

Return `true` if `member` is bound as a builtin *in the scope we are currently visiting*. Note that a "builtin binding" does *not* include explicit l

Return true if this type is assignable to type `target`. See `TypeRelation::Assignability` for more details.

Returns `true` if the file should be analyzed as a type stub.

Returns the current top-most [`Scope`].

Return the [`PythonVersion`] to use for version-related lint rules. If the user did not provide a target version, this defaults to the lowest support

Returns the [`ScopedSymbolId`] of the place named `name`.

Return `true` if the `Expr` is a reference to `typing.${target}`.

Create a [`Annotation`] with the given span for a [`Snippet`]

The [`Stylist`] for the current file, which detects the current line ending, quote, and indentation style.

Returns the start position for a node that starts at the current token.

Returns the [`TextRange`] of a given expression including parentheses, if the expression is parenthesized; or `None`, if the expression is not parenth