Module coroutine_witnesses 

Re-exports

use rustc_infer::infer::TyCtxtInferExt; 🔒

use rustc_infer::infer::canonical::QueryRegionConstraint; 🔒

use rustc_infer::infer::canonical::query_response::make_query_region_constraints; 🔒

use rustc_infer::traits::Obligation; 🔒

use rustc_infer::traits::ObligationCause; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_middle::ty::fold_regions; 🔒

use rustc_span::def_id::DefId; 🔒

use rustc_trait_selection::traits::ObligationCtxt; 🔒

use rustc_trait_selection::traits::with_replaced_escaping_bound_vars; 🔒

Functions

compute_assumptions 🔒

coroutine_hidden_types 🔒

Return the set of types that should be taken into account when checking trait bounds on a coroutine’s internal state. This properly replaces ReErased with new existential bound lifetimes.