Module opaque_types 

Re-exports

use hir::def_id::DefId; 🔒

use hir::def_id::LocalDefId; 🔒

use rustc_hir as hir; 🔒

use rustc_middle::traits::ObligationCause; 🔒

use rustc_middle::traits::solve::Goal; 🔒

use rustc_middle::ty::error::ExpectedFound; 🔒

use rustc_middle::ty::error::TypeError; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::BottomUpFolder; 🔒

use rustc_middle::ty::OpaqueTypeKey; 🔒

use rustc_middle::ty::ProvisionalHiddenType; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeFoldable; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_middle::ty::Unnormalized; 🔒

use rustc_span::Span; 🔒

use rustc_span::bug; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use super::DefineOpaqueTypes; 🔒

use super::RegionVariableOrigin; 🔒

use crate::diagnostics::OpaqueHiddenTypeDiag; 🔒

use crate::infer::InferCtxt; 🔒

use crate::infer::InferOk; 🔒

use crate::traits; 🔒

use crate::traits::Obligation; 🔒

use crate::traits::PredicateObligations; 🔒

pub use table::OpaqueTypeStorage;

pub use table::OpaqueTypeStorageEntries;

pub use table::OpaqueTypeTable;

Modules

table 🔒