Re-exportsยง
use rustc_data_structures::fx::FxHashSet;๐use rustc_infer::infer::TyCtxtInferExt;๐use rustc_infer::infer::canonical::Canonical;๐use rustc_infer::infer::canonical::QueryResponse;๐use rustc_middle::query::Providers;๐use rustc_middle::traits::query::DropckConstraint;๐use rustc_middle::traits::query::DropckOutlivesResult;๐use rustc_middle::ty;๐use rustc_middle::ty::GenericArgs;๐use rustc_middle::ty::TyCtxt;๐use rustc_span::def_id::DefId;๐use rustc_span::DUMMY_SP;๐use rustc_span::bug;๐use rustc_trait_selection::infer::InferCtxtBuilderExt;๐use rustc_trait_selection::traits::query::dropck_outlives::compute_dropck_outlives_inner;๐use rustc_trait_selection::traits::query::dropck_outlives::dtorck_constraint_for_ty_inner;๐use rustc_trait_selection::traits::query::CanonicalDropckOutlivesGoal;๐use rustc_trait_selection::traits::query::NoSolution;๐use tracing::debug;๐
Functionsยง
- adt_
dtorck_ ๐constraint - Calculates the dtorck constraint for a type.
- dedup_
dtorck_ ๐constraint - dropck_
outlives ๐ - provide ๐