Enum CanonicalizeMode

pub enum CanonicalizeMode {
    Input,
    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

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 Clone for CanonicalizeMode

fn clone(&self) -> CanonicalizeMode

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CanonicalizeMode

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

Formats the value using the given formatter.

impl Copy for CanonicalizeMode

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: 4 bytes

Size for each variant:

• Input: 0 bytes
• Response: 4 bytes