Struct OriginalQueryValues 

pub struct OriginalQueryValues<'db> {
    pub universe_map: SmallVec<[UniverseIndex; 4]>,
    pub var_values: SmallVec<[GenericArg<'db>; 8]>,
}

When we canonicalize a value to form a query, we wind up replacing various parts of it with canonical variables. This struct stores those replaced bits to remember for when we process the query result.

Fields

universe_map: SmallVec<[UniverseIndex; 4]>

Map from the universes that appear in the query to the universes in the caller context. For all queries except evaluate_goal (used by Chalk), we only ever put ROOT values into the query, so this map is very simple.

var_values: SmallVec<[GenericArg<'db>; 8]>

This is equivalent to CanonicalVarValues, but using a SmallVec yields a significant performance win.

Trait Implementations

impl<'db> Clone for OriginalQueryValues<'db>

fn clone(&self) -> OriginalQueryValues<'db>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'db> Debug for OriginalQueryValues<'db>

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<'db> Default for OriginalQueryValues<'db>

fn default() -> OriginalQueryValues<'db>

Returns the “default value” for a type.