Check if the set contains `item`.

Eats the next token if it is a delimited token with the given delimiter; returns a `&str` slice of the token's contents.

Emit a string literal token with the given span and processed content. `quote_len` is the number of quote characters in the delimiter (1 for `"`, 3 f

Extracts inline `` {spec}`name [tags...]` `` markers from the content lines of a spec directive block. The backtick content is parsed the same way as

Returns iterator over all fields in this class.

Invoke `op` for each new lower (or upper, depending on direction) bound on `?X`.

Generalize* returns a new red-ty created by replacing any generic arguments in `red_ty` with fresh inference variables.

Resolve an identifier like `x` that we mapped to some item in a module.

Given a value of type `T` that was resolved against this scope, creates a bound version like `Binder<T>` or `Binder<Binder<T>>` where all variables de

Complete parsing and convert the parser into the resulting diagnostics (errors). Reports an error if there are any unconsumed tokens.

Convert this result into an expression, with `let ... in` statements inserted for temporaries.

Iterator that starts from self and traverses up to all super scope items.

Load the contents of `source_url` and then open it with those contents.

If this could be a permission and it is followed by a type, parse it as an application.

If `infer` is a type variable, returns the permission variable associated with `infer`. If `infer` is a permission variable, just returns `infer`.

Given that a value of type `value_ty` is on the wasm stack, pop it and store it into `to_place`.

Push the value found in `place` onto the WASM stack.

Push a value of type `val_type` found in the given memory slot.

Resolve identifier `id` (found at `span`) in the scope. Reports errors if nothing is found and returns `Err(Reported)`.

Access the lower-level type checking runtime

Returns the scope for this function; this has the function generics and parameters in scope.

Returns the type of this class, referencing the generics that appear in `scope`.

Returns an iterator over the bounds on an inference variable that appears under `perm`, yielding terms: If this is a permission inference variable, t

Replaces inline `` {spec}`name [tags...]` `` markers in content lines with HTML anchor spans and tag badges. Each marker becomes: `<span id="parent_i

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

Returns the type of the given variable. # Panics If the variable is not present.

Return the innermost class in scope (if any).

Convert `self` into a vec-of-vecs containing the bound generic symbols in outermost-to-innermost order. e.g. if you have `class[type A] { fn foo[type

Block on the debug server thread (if it has been launched)

Return the bounding perm on the permission inference variable `v` from the given `direction`.

Return the bounding type on the type inference variable `v` from the given `direction`.

True if this could syntactically be a permission.

Codegen the main function of a source file.