Module liveness_constraints 

Re-exports

use rustc_hir::def_id::DefId; 🔒

use rustc_middle::ty::relate; 🔒

use rustc_middle::ty::relate::Relate; 🔒

use rustc_middle::ty::relate::RelateResult; 🔒

use rustc_middle::ty::relate::TypeRelation; 🔒

use rustc_middle::ty::relate::relate_args_with_variances; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeVisitable; 🔒

use super::ConstraintDirection; 🔒

use crate::polonius::LiveRegionVariances; 🔒

use crate::universal_regions::UniversalRegions; 🔒

Structs

VarianceExtractor 🔒

Extracts variances for regions contained within types. Follows the same structure as rustc_infer’s Generalizer: we try to relate a type with itself to track and extract the variances of regions.

Functions

record_live_region_variance 🔒

Record the variance of each region contained within the given value.