Re-exports§
use std::fmt;🔒use std::rc::Rc;🔒use rustc_errors::Diag;🔒use rustc_hir::def_id::LocalDefId;🔒use rustc_infer::infer::region_constraints::Constraint;🔒use rustc_infer::infer::region_constraints::ConstraintKind;🔒use rustc_infer::infer::region_constraints::RegionConstraintData;🔒use rustc_infer::infer::InferCtxt;🔒use rustc_infer::infer::RegionResolutionError;🔒use rustc_infer::infer::RegionVariableOrigin;🔒use rustc_infer::infer::SubregionOrigin;🔒use rustc_infer::infer::TyCtxtInferExt as _;🔒use rustc_infer::traits::ObligationCause;🔒use rustc_infer::traits::query::CanonicalTypeOpAscribeUserTypeGoal;🔒use rustc_infer::traits::query::CanonicalTypeOpNormalizeGoal;🔒use rustc_infer::traits::query::CanonicalTypeOpProvePredicateGoal;🔒use rustc_middle::ty::error::TypeError;🔒use rustc_middle::ty;🔒use rustc_middle::ty::RePlaceholder;🔒use rustc_middle::ty::Region;🔒use rustc_middle::ty::RegionVid;🔒use rustc_middle::ty::Ty;🔒use rustc_middle::ty::TyCtxt;🔒use rustc_middle::ty::TypeFoldable;🔒use rustc_middle::ty::UniverseIndex;🔒use rustc_span::Span;🔒use rustc_trait_selection::error_reporting::InferCtxtErrorExt;🔒use rustc_trait_selection::error_reporting::infer::nice_region_error::NiceRegionError;🔒use rustc_trait_selection::traits::ObligationCtxt;🔒use rustc_trait_selection::traits::query::type_op::ascribe_user_type::type_op_ascribe_user_type_with_span;🔒use rustc_trait_selection::traits::query::type_op::prove_predicate::type_op_prove_predicate_with_cause;🔒use tracing::debug;🔒use tracing::instrument;🔒use tracing::instrument;🔒use crate::MirBorrowckCtxt;🔒use crate::session_diagnostics::HigherRankedErrorCause;🔒use crate::session_diagnostics::HigherRankedLifetimeError;🔒use crate::session_diagnostics::HigherRankedSubtypeError;🔒
Structs§
Enums§
- Universe
Info 🔒 - What operation a universe was created for.