Enum CanonicalizeMode 

enum CanonicalizeMode<I: Interner> {
    Input(CanonicalizeInputKind<I>),
    Response {
        max_input_universe: UniverseIndex,
    },
}

Whether we’re canonicalizing a query input or the query response.

When canonicalizing an input we’re in the context of the caller while canonicalizing the response happens in the context of the query.

Variants

Input(CanonicalizeInputKind<I>)

Response

FIXME: We currently return region constraints referring to placeholders and inference variables from a binder instantiated inside of the query.

In the long term we should eagerly deal with these constraints inside of the query and only propagate constraints which are actually nameable by the caller.

Fields

max_input_universe: UniverseIndex

The highest universe nameable by the caller.

All variables in a universe nameable by the caller get mapped to the root universe in the response and then mapped back to their correct universe when applying the query response in the context of the caller.

This doesn’t work for universes created inside of the query so we do remember their universe in the response.

Trait Implementations

impl<I: Clone + Interner> Clone for CanonicalizeMode<I>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<I: Copy + Interner> Copy for CanonicalizeMode<I>

impl<I: Debug + Interner> Debug for CanonicalizeMode<I>

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

Formats the value using the given formatter.

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.