Enum rustc_next_trait_solver::canonicalizer::CanonicalizeMode

source ·

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.

Enum rustc_next_trait_solver::canonicalizer::CanonicalizeMode

Variants§

Input

Response

Fields

Trait Implementations§

impl Clone for CanonicalizeMode

fn clone(&self) -> CanonicalizeMode

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

impl Debug for CanonicalizeMode

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

impl Copy for CanonicalizeMode

Auto Trait Implementations§

impl DynSend for CanonicalizeMode

impl DynSync for CanonicalizeMode

impl Freeze for CanonicalizeMode

impl RefUnwindSafe for CanonicalizeMode

impl Send for CanonicalizeMode

impl Sync for CanonicalizeMode

impl Unpin for CanonicalizeMode

impl UnwindSafe for CanonicalizeMode

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment = _

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T, R> CollectAndApply<T, R> for T

fn collect_and_apply<I, F>(iter: I, f: F) -> Rwhere I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

type Output = R

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> Pointable for T

const ALIGN: usize = _

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self>

impl<'a, T> Captures<'a> for Twhere T: ?Sized,

Layout§

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn collect_and_apply<I, F>(iter: I, f: F) -> R
where I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

impl<'a, T> Captures<'a> for T
where T: ?Sized,