Add a binding for the given definition. Returns the result of the `infer_value_ty` closure, which is called with the declared type as type context.

Returns all supported semantic token types as enum variants.

Access the resulting code, borrowing the result

Return the [`ast::StmtFunctionDef`] of the definition, if it's a function definition.

Invokes a closure, capturing and returning the cause of an unwinding panic if one occurs. ### Thread safety This is implemented by installing a cust

Returns an [`Iterator`] over the current expression hierarchy, from the current [`Expr`] through to any parents.

Returns `true` if this is the id of the global scope

Returns `true` if this is a keyword-variadic parameter.

Returns `true` if the expression is a literal expression. A literal expression is either a string literal, bytes literal, integer, float, complex num

If this type is a class instance, returns its class.

Infer the combined type from an iterator of bindings, and return it together with boundness information in a [`Place`]. The type will be a union if t

Set the value of the `AtomicNodeIndex`.

Set the fix for this diagnostic.

Calls `self`. Returns a [`CallError`] if `self` is (always or possibly) not callable, or if the arguments are not compatible with the formal parameter

Returns an iterator over the fixes in the map.

The code that is ignored by the `noqa` directive.

Returns an iterator over the direct child scopes of `scope`.

Introspects this diagnostic and returns what kind of "primary" message it contains for concise formatting. When we concisely format diagnostics, we l

Returns the underlying test DB.

Returns the default registry with all known semantic lints.

Current exit block, which may change during construction

Get the initialization result

Return a new tuple-spec builder that reflects the intersection of this tuple and another tuple, or `None` if the intersection is impossible (e.g., two

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 whether two bound typevars represent the same occurrence, regardless of e.g. differences in their bounds or constraints due to materialization

Return the display kind of the function-like node.

Length of this annotation as displayed in the stderr output

Build a declared type from a [`DeclarationsIterator`]. If there is only one declaration, or all declarations declare the same type, returns `Ok(..)`.

Expand this complement to the union of enum literals that remain possible.

Returns the [`Tokens`] for the parsed type annotation if the checker is in a typing context or the parsed source code.

Return the numeric value for this [`LineLength`]

Write the transformed source file to the given writer. For Jupyter notebooks, this will write out the notebook as JSON.

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

Adds a member to the table or updates the flags of an existing member if it already exists. Members are identified by their expression, which is hash

Return `true` if any base class matches a [`QualifiedName`] predicate.

Returns a slice containing the remaining comments.