Enum GoalSource

Source

pub enum GoalSource {
    Misc,
    ImplWhereBound,
    InstantiateHigherRanked,
    AliasWellFormed,
}

Expand description

Why a specific goal has to be proven.

This is necessary as we treat nested goals different depending on their source. This is currently mostly used by proof tree visitors but will be used by cycle handling in the future.

Variants§

§

Misc

§

ImplWhereBound

We’re proving a where-bound of an impl.

FIXME(-Znext-solver=coinductive): Explain how and why this changes whether cycles are coinductive.

§

InstantiateHigherRanked

Instantiating a higher-ranked goal and re-proving it.

§

AliasWellFormed

Predicate required for an alias projection to be well-formed. This is used in two places: projecting to an opaque whose hidden type is already registered in the opaque type storage, and for rigid projections.

Enum GoalSourceCopy item path

Variants§

Misc

ImplWhereBound

InstantiateHigherRanked

AliasWellFormed

Trait Implementations§

impl Clone for GoalSource

fn clone(&self) -> GoalSource

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

impl Debug for GoalSource

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

impl Hash for GoalSource

fn hash<__H>(&self, state: &mut __H)where __H: Hasher,

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

impl<__CTX> HashStable<__CTX> for GoalSource

fn hash_stable( &self, __hcx: &mut __CTX, __hasher: &mut StableHasher<SipHasher128>, )

impl PartialEq for GoalSource

fn eq(&self, other: &GoalSource) -> bool

fn ne(&self, other: &Rhs) -> bool

impl<I> TypeFoldable<I> for GoalSourcewhere I: Interner,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<GoalSource, <F as FallibleTypeFolder<I>>::Error>where F: FallibleTypeFolder<I>,

fn fold_with<F>(self, _: &mut F) -> GoalSourcewhere F: TypeFolder<I>,

impl<I> TypeVisitable<I> for GoalSourcewhere I: Interner,

fn visit_with<F>(&self, _: &mut F) -> <F as TypeVisitor<I>>::Resultwhere F: TypeVisitor<I>,

impl Copy for GoalSource

impl Eq for GoalSource

impl StructuralPartialEq for GoalSource

Auto Trait Implementations§

impl DynSend for GoalSource

impl DynSync for GoalSource

impl Freeze for GoalSource

impl RefUnwindSafe for GoalSource

impl Send for GoalSource

impl Sync for GoalSource

impl Unpin for GoalSource

impl UnwindSafe for GoalSource

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> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dst: *mut u8)

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<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

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> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

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)

Enum GoalSource

fn hash<H>(&self, state: &mut H)
where __H: Hasher,

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

impl<CTX> HashStable<CTX> for GoalSource

fn hash_stable( &self, hcx: &mut CTX, __hasher: &mut StableHasher<SipHasher128>, )

impl<I> TypeFoldable<I> for GoalSource
where I: Interner,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<GoalSource, <F as FallibleTypeFolder<I>>::Error>
where F: FallibleTypeFolder<I>,

fn fold_with<F>(self, _: &mut F) -> GoalSource
where F: TypeFolder<I>,

impl<I> TypeVisitable<I> for GoalSource
where I: Interner,

fn visit_with<F>(&self, _: &mut F) -> <F as TypeVisitor<I>>::Result
where F: TypeVisitor<I>,

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,

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

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

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

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

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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>,

impl<I, T> TypeVisitableExt<I> for T
where I: Interner, T: TypeVisitable<I>,

impl<I, T, U> Upcast<I, U> for T
where U: UpcastFrom<I, T>,

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

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