pub enum CanonicalizeMode {
Input,
Response {
max_input_universe: UniverseIndex,
},
}
Expand description
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
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.
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.
Trait Implementations§
source§impl Clone for CanonicalizeMode
impl Clone for CanonicalizeMode
source§fn clone(&self) -> CanonicalizeMode
fn clone(&self) -> CanonicalizeMode
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl Debug for CanonicalizeMode
impl Debug for CanonicalizeMode
impl Copy for CanonicalizeMode
Auto Trait Implementations§
impl RefUnwindSafe for CanonicalizeMode
impl Send for CanonicalizeMode
impl Sync for CanonicalizeMode
impl Unpin for CanonicalizeMode
impl UnwindSafe for CanonicalizeMode
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
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 bytesResponse
: 4 bytes