Module outlives 

The outlives relation T: 'a or 'a: 'b. This code frequently refers to rules defined in RFC 1214 (OutlivesFooBar), so see that RFC for reference.

Re-exports

use derive_where::derive_where; 🔒

use smallvec::SmallVec; 🔒

use smallvec::smallvec; 🔒

use crate::data_structures::SsoHashSet; 🔒

use crate::visit::TypeSuperVisitable; 🔒

use crate::visit::TypeVisitable; 🔒

use crate::visit::TypeVisitableExt as _; 🔒

use crate::visit::TypeVisitor; 🔒

use crate as ty; 🔒

use crate::AliasTy; 🔒

use crate::Interner; 🔒

use crate::OutlivesClause; 🔒

use crate::Region; 🔒

use crate::Unnormalized; 🔒

use crate::inherent::*; 🔒

Structs

OutlivesCollector 🔒

Enums

Component

Functions

compute_alias_components_recursive

Collect Components for all the args of alias_ty.

declared_bounds_from_definition

Given a projection like <T as Foo<'x>>::Bar, returns any bounds declared in the trait definition. For example, if the trait were

push_outlives_components

Push onto out all the things that must outlive 'a for the condition ty0: 'a to hold. Note that ty0 must be a fully resolved type.