Resolve an inference variable to a generic term, given the variance of the location in which it appears

Attempts to resolve generic argments like `foo[u32]`.

Joins non-empty segments into a dot-separated spec ID. Given a file prefix, the current heading segments, and an optional local name, produces the fu

Returns true if a self arg requires a default permission. See [`PopulateDefaultSymbols`] trait for examples.

Sets the symbolic type for a program variable. Used during environment construction but typically you should use [`Self::push_program_variable_with_ty

Remove each candidate `c1 \in candidates` where there exists another candidates `c2 \in candidates` and `c1 <: c2`

Aggregate style (struct, etc)

Create a JSON value for `value` but only up to a limited depth. Values past that depth are represented as a "..." string.

Walk all expressions containing the given `span` and invoke `op`. Stops if `op` returns `ControlFlow::Break`.

The WASM representations for the fields of some aggregate type (could be a struct or a class).

Returns the [`WasmRepr`][] for a Dada type.

Compute the absolute span of this anchor's contents.

Add a crate named `crate_name` sourced at `source` into our list. We can never have two crates with the same name. If a crate `k` named `crate_name`

Given a .dada file, finds the enclosing crate and adds it into the list of crates. Given some path `a/b/c.dada`, we decide that `c` is a submodule of

Add a crate that is rooted in the given `dada` file. The crate is named after the file name.

The types of each field of some aggregate type given the values `ty_args` for its generic arguments.

Block the current task on changes to the given inference variable. # Panics If called when [`Self::check_complete`][] returns true.

[Block control-flow instructions][cfi] like `if` and friends come equipped with an associated "block type". This is a function type indicating the *in

Return a vector with all variables that are "bound" in the environment. These correspond to in-scope function parameters, generic types, etc.

Scans all chapters for headings matching `` ## `Nonterminal` definition `` and builds a map from nonterminal name to relative URL for cross-chapter li

True if this could syntactically be a permission.

Returns `true` if we have fully constructed the object IR for a given function. Once this returns true, no more bounds will be added to inference vari

Check the type of a field. The returned type has two binders, the outer binder is the class, the inner binder is the `self` place.

Check the automatic construct that results when user writes parentheses, like `class Foo(...)`.

Returns the base scope used to resolve the class members. Typically this is created by invoke [`Scope::new`][].