Returns whether this constraint set never holds.

Return `true` if this class represents the builtin class `object`

Returns `true` for [whitespace](https://docs.python.org/3/reference/lexical_analysis.html#whitespace-between-tokens) characters.

Returns an iterator over the patterns and keywords in source order.

Return `true` if the call path is a reference to `typing.${target}`.

Returns the pending materialization of a class-based protocol, if any.

Advances the cursor and returns the next line.

Parse the given Python source code using the specified [`ParseOptions`]. This is same as the [`parse`] function except that it doesn't check for any

Returns the "primary" span of this diagnostic if one exists. When there are multiple primary spans, then the first one that was added to this diagnos

Resolves a module name to a module.

Adds a "sub" diagnostic to this diagnostic. This is useful when a sub diagnostic has its own annotations attached to it. For the simpler case of a su

Adds a type to this union.

Adds a tag on the primary annotation for this diagnostic. This tag is associated with the primary annotation created for every `Diagnostic` that uses

Returns an iterator of this module name and all of its parent modules. # Examples ``` use ty_module_resolver::ModuleName; assert_eq!( ModuleName::n

Return an iterator over the bases of the class.

Length of this annotation as displayed in the stderr output

Similar to [`Type::member`], but allows the caller to specify what policy should be used when looking up attributes. See [`MemberLookupPolicy`] for mo

Returns whether this `TypedDict` is implicitly open, closed, or has explicit extra items. A class-based `TypedDict` inherits the first explicit polic

Add leading or trailing whitespace to a snippet, if it's immediately preceded or followed by an identifier or keyword.

Specify files to be created in the `site-packages` mock directory

Returns the position encoding that was negotiated during initialization.

Returns whether this is a nominal instance of a particular [`KnownClass`].

Infers the type of an `expression` that is guaranteed to be in the same file as the calling query. This is a small helper around [`infer_expression_t

Returns `true` if there are no fixes in the map.

Returns the comment's preceding node. The direct child node (ignoring lists) of the [`enclosing_node`](DecoratedComment::enclosing_node) that precede

Pushes the given line as part of this code example.

Returns the re-mapped position or `position` if no mapping exists.

Run the benchmark using `hyperfine`.

A convenient wrapper around [`check_path`], that additionally asserts that fixes converge after a fixed number of iterations.

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

Walk the `NewTypeBase` chain to find the underlying non-newtype `Type`. There might not be one if this `NewType` is cyclical, and we fall back to `obj

Return `true` if the `Expr` contains an expression that appears to include a side-effect (like a function call). Accepts a closure that determines wh

Return the positional argument at the given index, or `None` if no such argument exists.

Returns whether this is a known class.

Returns an iterator over the fixes in the map, along with the file path.

Loads a reference to the parsed module. Note that holding on to the reference will prevent garbage collection of the AST. This method will reparse th

Returns an iterator over all the overloads that matched for this call binding.

Repeating a source-order tree cannot change the first occurrence of any constraint, so combining identical trees must reuse their existing sidecar.

Pushes a new [`Binding`] and returns its [`BindingId`].

Generic function to remove arguments or keyword arguments in function calls and class definitions. (For classes, `args` should be considered `bases`.)