Module utils 

Re-exports

use rustc_data_structures::fx::FxIndexMap; 🔒

use rustc_middle::ty::outlives::Component; 🔒

use rustc_middle::ty::outlives::push_outlives_components; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::GenericArg; 🔒

use rustc_middle::ty::GenericArgKind; 🔒

use rustc_middle::ty::Region; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_span::Span; 🔒

use rustc_span::bug; 🔒

use rustc_span::span_bug; 🔒

use smallvec::smallvec; 🔒

Functions

insert_outlives_clause 🔒

Given a requirement T: 'a or 'b: 'a, deduce the outlives_component and add it to required_clauses

is_free_region 🔒

Type Aliases

RequiredClauses 🔒

Tracks the T: 'a or 'a: 'a clauses that we have inferred must be added to the struct header.