Struct rustc_trait_selection::traits::util::Elaborator

pub struct Elaborator<'tcx> {
    pub(in traits::util) stack: Vec<Obligation<'tcx, Predicate<'tcx>>>,
    pub(in traits::util) visited: PredicateSet<'tcx>,
}

"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<Obligation<'tcx, Predicate<'tcx>>>

visited: PredicateSet<'tcx>