Resolves the boolean value of the type and falls back to [`Truthiness::Ambiguous`] if the type doesn't implement `__bool__` correctly. This method sh

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

Checks all open files

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

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

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

Return the underlying [`ParseError`].

Returns a list of syntax errors found during parsing.

Evaluate a comparison recursively, treating `left` as the operand being constrained. For example, proving that every constraint of `EQUAL_VALUES` com

Extract a `ClassLiteral` from a `Type`, handling various type forms.

Returns a list of all annotated attributes defined in this class, or any of its superclasses. See [`StaticClassLiteral::own_fields`] for more details

Return positional parameter at given index, or `None` if `index` is out of range. Does not return variadic parameter.

Returns the redirect target for the given code.

Apply the "goto declaration" interpretation to these definitions.

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

Infer the type of a collection literal expression.

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.

Is the symbol defined in this scope, vs referring to some enclosing scope? There are three common cases where a name refers to an enclosing scope: 1

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

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`].

Returns the [`TextRange`] of the `line` with the given index. The start points to the first character's [byte offset](TextSize), the end up to, and in

Run lint rules over a module.

Returns the inferred type of the class member named `name`. Only bound members or those marked as `ClassVars` are considered. You must provide the `i

The full path that this entry represents.

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.

Sets `string` with `style` for given `line`, starting from `col`. If `line` does not exist in our buffer, adds empty lines up to the given and fills t

Loads this constraint set into a new builder, invokes a callback with that builder, and returns the result. This is more efficient than [`ConstraintS