Returns the underlying package name.

Re-run the assignability check with error context collection enabled. This should normally be called when `is_assignable_to` has returned `false` and

Bind `Self` type variables in this type to a concrete self type. Uses MRO-based matching: a `Self` typevar is only bound if its owner class is in the

Send a `workspace/didChangeWorkspaceFolders` notification with the given added/removed workspace folders. The paths provided should be paths to the ro

Return the remaining input as a string slice.

Checks all open files

Infer the public type of a class member/symbol (its type as seen from outside its scope) in the given `scope`.

Determine the indentation level of an own-line comment, defined as the minimum indentation of all comments between the preceding node and the comment,

Returns the underlying completions if the convenience assertions aren't sufficiently expressive.

Returns the [`Definition`] of this function. ## Warning This uses the semantic index to find the definition of the function. This means that if the

Return a slice of the [`Edit`] elements in the [`Fix`], sorted by [`Edit::start`] in ascending order.

Returns a list of syntax errors found during parsing.

Returns the message attached to this annotation, if one exists.

Apply the "goto declaration" interpretation to these definitions.

Returns `true` if a statement or expression includes at least one comment.

Returns the range of the class's "header". For static classes, this is the class name and any arguments passed to the `class` statement. For dynamic

Returns a specialization of this class where each typevar is mapped to itself.

Create a new `ImportRequest` from a module and member. If not present in the scope, the symbol should be imported using the "import" statement.

Infer the type of a collection literal expression.

Infer all types for a [`ScopeId`], including all definitions and expressions in that scope. Use when checking a scope, or needing to provide a type fo

Return true if `self` and `other` contain at least one shared `definition`. A symbol can resolve to multiple definitions (for example, overload group

If the first segment is empty, the `CallPath` represents a "builtin binding". A builtin binding is the binding that a symbol has if it was part of Py

Returns whether this class is final.

https://github.com/astral-sh/ruff/pull/25614

Return `true` if this [`Binding`] represents a `nonlocal`. A [`Binding`] is a `nonlocal` if it's declared by a `nonlocal` statement, or shadows a [`Bi

Is the symbol `nonlocal` its containing scope?

Returns true if this overload is decorated with `@staticmethod`, or if it is implicitly a staticmethod.

Returns `true` if the given expression is an unused variable, or consists solely of references to other unused variables. This method is conservative

Return `true` if this [`Binding`] is used. This method is the opposite of [`Binding::is_unused`].

Run lint rules over a module.

Returns the next token kind without consuming it.

Helper function to push the given error, updating the current range with the error location and return the [`TokenKind::Unknown`] token.

Deletes the directory at `path`. ## Errors If the directory is not empty The `path` is not a directory The `path` does not exist

Resolves a stored property accessor to the value type exposed by that access.

Explain a `Rule` to the user.