Returns a new BDD that is the _existential abstraction_ of `self` for a set of typevars. The result will return true whenever `self` returns true for

Extend `self` with the components of `other` # Examples ``` use ty_module_resolver::ModuleName; let mut module_name = ModuleName::new_static("foo")

Peeks the next character from the input stream without consuming it. Returns [`EOF_CHAR`] if the position is past the end of the file.

Returns the first parent of the given [`Scope`] that is not of [`ScopeKind::Type`] or [`ScopeKind::DunderClassCell`], if any.

Like [`Scope::get`], but returns all bindings with the given name, including those that were shadowed by later bindings.

For a given builtin symbol, determine whether an [`Edit`] is necessary to make the symbol available in the current scope. For example, if `zip` has be

PT013

Returns a slice of [`Token`] that are within the given `range`. The start and end offset of the given range should be either: 1. Token boundary 2. Ga

Return true if `self & other` should simplify to `Never`: if the intersection of the two types could never be inhabited by any possible runtime value.

Returns `true` if the f-string is implicitly concatenated, `false` otherwise.

Return true if this prefix indicates a "raw f-string", e.g. `rf"{bar}"` or `Rf"{bar}"`

Returns the range within this document. Only use `range` when you already have a URI context and this range is guaranteed to be within the same docum

Returns the base symbol name for this group. Callers must ensure that all symbols in this group have the same base name. This returns `None` if and

Parses a comma separated list of elements where each element is parsed using the given `parse_element` function. The difference between this function

Parses every Python expression. Matches the `expressions` rule in the [Python grammar]. The [`ExpressionContext`] can be used to match the `star_expr

Parses every Python expression except unparenthesized tuple. Matches the `named_expression` rule in the [Python grammar]. The [`ExpressionContext`] c

Applies the pending changes and persists the cache to disk, if it has been changed.

Returns the remaining text to lex. Use [`Cursor::text_len`] to get the length of the remaining text.

Returns the secondary code for the diagnostic if it exists. The "primary" code for the diagnostic is its lint name. Diagnostics in ty don't have seco

Adds a new root for `path` and returns the root. The root isn't added nor is the file root's kind updated if a root for `path` already exists.

Look up a [`KnownClass`] in its canonical module and return a [`Type`] representing that class literal. If the class cannot be found, a debug-level l

Send a `workspace/diagnostic` request with optional previous result IDs.

Stores a new file in the file system. The operation overrides the content for an existing file with the same normalized `path`.

Writes the files to the file system. The operation overrides existing files with the same normalized path. Enclosing directories are automatically c

Returns this input as a `SourceCode` for convenient querying.

Returns `true` if the current token is the start of an expression.

Returns `true` if the current token is found in the given token set.

Returns a slice of tokens before the given [`TextSize`] offset. If the given offset is between two tokens, the returned slice will end just before th

Returns the IDs of all bindings defined in this scope.

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

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

Gets the definitions for this goto target. The `alias_resolution` parameter controls whether import aliases (i.e. "x" in "from a import b as x") are

The source text of the expression (e.g., `0x0` in `f"{0x0=}"`).

Returns the fix for this diagnostic if it exists.

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

Converts the key back into its original URI.

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

Returns `true` if a function definition is an `@override` (PEP 698).