Module elaborate 

Re-exports

use std::marker::PhantomData; 🔒

use smallvec::smallvec; 🔒

use crate::data_structures::HashSet; 🔒

use crate::lang_items::SolverTraitLangItem; 🔒

use crate::outlives::Component; 🔒

use crate::outlives::push_outlives_components; 🔒

use crate as ty; 🔒

use crate::Interner; 🔒

use crate::Region; 🔒

use crate::Unnormalized; 🔒

use crate::Upcast as _; 🔒

use crate::inherent::*; 🔒

Structs

ClauseWithSupertraitSpan

Elaborator

“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.

FilterToTraits

A filter around an iterator of predicates that makes it yield up just trait references.

Enums

ElaborateSized 🔒

Filter 🔒

Traits

Elaboratable

Describes how to elaborate an obligation into a sub-obligation.

Functions

elaborate

elaborate_component_to_clause 🔒

elaborate_outlives_assumptions

supertrait_def_ids

Computes the def-ids of the transitive supertraits of trait_def_id. This (intentionally) does not compute the full elaborated super-predicates but just the set of def-ids. It is used to identify which traits may define a given associated type to help avoid cycle errors, and to make size estimates for vtable layout computation.

supertraits