Struct rustc_trait_selection::traits::util::Elaborator

source ·

pub struct Elaborator<'tcx, O> {
    stack: Vec<O, Global>,
    visited: PredicateSet<'tcx>,
    only_self: bool,
}

Expand description

“Elaboration” is the process of identifying all the predicates that are implied by a source predicate. Currently, this basically means walking the “supertraits” and other similar assumptions. For example, if we know that T: Ord, the elaborator would deduce that T: PartialOrd holds as well. Similarly, if we have trait Foo: 'static, and we know that T: Foo, then we know that T: 'static.

Fields§

§stack: Vec<O, Global>§visited: PredicateSet<'tcx>§only_self: bool

Auto Trait Implementations§

§

Struct rustc_trait_selection::traits::util::Elaborator

Fields§

Auto Trait Implementations§

impl<'tcx, O> !RefUnwindSafe for Elaborator<'tcx, O>

impl<'tcx, O> !Send for Elaborator<'tcx, O>

impl<'tcx, O> !Sync for Elaborator<'tcx, O>

impl<'tcx, O> Unpin for Elaborator<'tcx, O>where O: Unpin,

impl<'tcx, O> !UnwindSafe for Elaborator<'tcx, O>

Blanket Implementations§

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

fn from(t: T) -> T

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

fn into(self) -> U

impl<I> IntoIterator for Iwhere I: Iterator,

type Item = <I as Iterator>::Item

type IntoIter = I

fn into_iter(self) -> I

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>

Layout§