Returns the secondary code for the diagnostic if it exists, or the lint name otherwise. This is a common pattern for Ruff diagnostics, which want to

Sends a request to display an error to the client with a formatted message. The error is sent in a `window/showMessage` notification. Logs an error i

Skips the next `count` bytes. ## Panics - If `count` is larger than the remaining bytes in the input stream. - If `count` indexes into a multi-byte c

Return the patterns before and after the starred element.

Creates a text from a dynamic string. This is done by allocating a new string internally.

Returns the length of the indentation in bytes. # Panics If the indentation is longer than 4GB.

Return a truncated snippet for user-facing display.

A fallible version of [`UnionType::map`]. For each element in `self`, `transform_fn` is called on that element. If `transform_fn` returns `Some()` fo

If this type is an instance type where the class has a tuple spec, returns the tuple spec. I.e., for the type `tuple[int, str]`, this will return the

Create a [`TypingImporter`] that will import `member` from either `typing` or `typing_extensions`. On Python <`version_added_to_typing`, `member` is

Return a new tuple-spec builder that reflects the union of this tuple and another tuple. For example, if `self` is a tuple-spec builder for `tuple[Li

Updates the content of a file and ensures that the last modified file time is updated.

Write a file to the test directory

Write the notebook back to the given [`Write`] implementer.

Makes a path absolute and normalizes it without accessing the file system. Adapted from [cargo](https://github.com/rust-lang/cargo/blob/fede83ccf9734

Attempts to adds the given completion to this collection. When added, `true` is returned. This might not add the completion for a variety of reasons

Generic function to add arguments or keyword arguments to function calls. The new argument will be inserted before the first existing keyword argumen

Add a symbol to the place table and the use-def map. Return the [`ScopedPlaceId`] that uniquely identifies the symbol in both.

Returns a slice of tokens after the given [`TextSize`] offset. If the given offset is between two tokens, the returned slice will start from the foll

Return [`true`] if this [`Fix`] should be applied with at a given [`Applicability`].

Returns a tuple of the name and ID of all bindings defined in this scope.

Given a [`CommentRanges`], determine which comments are grouped together in "comment blocks". A "comment block" is a sequence of consecutive own-line

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

Derives the instance/class read/write capabilities exposed by this member. These are views of the canonical method, property, or attribute representa

Clears the salsa events.

Return the [`NodeId`] of the current [`Stmt`], if any.

Return the default string flags a generated `StringLiteral` node should use, given where we are in the AST.

Return the underlying [`ParseError`].

Return the [`ExecutionContext`] of the current scope.

Get the type of an expression from any scope in the same file. If the expression is in the current scope, and we are inferring the entire scope, just

Finish the code example by generating any final actions if applicable. This typically adds an action when the end of a code example coincides with th

Return the exact finite alternative union represented by this intersection, if available.

Flushes content buffered for the current line.

Converts every item to an object that knows how to format it.

Computes the range of all lines that this `range` covers. The range starts at the beginning of the line at `range.start()` and goes up to, and includ

Return parameter at given index, or `None` if index is out-of-range.

Returns a reference to the global [`Scope`].

Returns `true` if the parsed source code is valid i.e., it has no [`ParseError`]s. Note that this does not include version-related [`UnsupportedSynta

Returns the range of the `TypedDict` call expression.

Return `true` if the model is visiting a "string type definition" that was previously deferred when initially traversing the AST

Returns the typevars that are inferable in this generic context. This set might include more typevars than the ones directly bound by the generic cont

Returns the protocol class if this is a protocol.

Return `true` if a string is _cased_ as uppercase. A string is cased as uppercase if it contains at least one uppercase character and no lowercase ch

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

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