pub struct RustIrDatabase<'tcx> {
    pub(crate) interner: RustInterner<'tcx>,
}

Fields

interner: RustInterner<'tcx>

Implementations

Trait Implementations

Formats the value using the given formatter. Read more
Returns the datum for the associated type with the given id.
Returns the datum for the definition with the given id.
Returns the datum for the ADT with the given id.
Returns the representation for the ADT definition with the given id.
Returns the siza and alignment of the ADT definition with the given id.
Returns the datum for the fn definition with the given id.
Returns the datum for the impl with the given id.
Returns a list of potentially relevant impls for a given trait-id; we also supply the type parameters that we are trying to match (if known: these parameters may contain inference variables, for example). The implementor is permitted to return any superset of the applicable impls; chalk will narrow down the list to only those that truly apply. The parameters are provided as a “hint” to help the implementor do less work, but can be completely ignored if desired. Read more
Returns true if there is an explicit impl of the auto trait auto_trait_id for the type ty. This is part of the auto trait handling – if there is no explicit impl given by the user for ty, then we provide default impls (otherwise, we rely on the impls the user gave). Read more
Returns the AssociatedTyValue with the given id.
Returns any “custom program clauses” that do not derive from Rust IR. Used only in testing the underlying solver. Read more
Returns the impls that require coherence checking. This is not the full set of impls that exist: Read more
Returns the OpaqueTyDatum with the given id.
Calculates program clauses from an env. This is intended to call the program_clauses_for_env function and then possibly cache the clauses. Read more
Returns id of a trait lang item, if found
Check if a trait is object safe
Returns the “hidden type” corresponding with the opaque type.
Gets the ClosureKind for a given closure and substitution.
Gets the inputs and output for a given closure id and substitution. We pass both the ClosureId and it’s Substituion to give implementors the freedom to store associated data in the substitution (like rustc) or separately (like chalk-integration). Read more
Gets the upvars as a Ty for a given closure id and substitution. There are no restrictions on the type of upvars. Read more
Gets the substitution for the closure when used as a function. For example, for the following (not-quite-)rust code: Read more
Returns the generator datum for the generator with the given id.
Returns the generator witness datum for the generator with the given id.
Retrieves a trait’s original name. No uniqueness guarantees, but must a valid Rust identifier. Read more
Retrieves a struct’s original name. No uniqueness guarantees, but must a valid Rust identifier. Read more
Retrieves the name of an associated type. No uniqueness guarantees, but must a valid Rust identifier. Read more
Retrieves the name of an opaque type. No uniqueness guarantees, but must a valid Rust identifier. Read more
Retrieves the name of a function definition. No uniqueness guarantees, but must a valid Rust identifier. Read more
Gets the variances for the substitution of a fn def
Gets the variances for the substitution of a adt

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more
Immutably borrows from an owned value. Read more
Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

The type returned in the event of a conversion error.
Performs the conversion.
The type returned in the event of a conversion error.
Performs the conversion.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 8 bytes