Skip to main content

Module opaque_types

rustc_infer::infer

Module opaque_types 

Source

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; 🔒

Modules§

table 🔒

Structs§

OpaqueTypeStorage
OpaqueTypeStorageEntries
The number of entries in the opaque type storage at a given point.
OpaqueTypeTable