Module higher_ranked 

Helper routines for higher-ranked things. See the doc module at the end of the file for details.

Re-exports

use rustc_middle::ty; 🔒

use rustc_middle::ty::FnMutDelegate; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeFoldable; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use super::RelateResult; 🔒

use crate::infer::InferCtxt; 🔒

use crate::infer::snapshot::CombinedSnapshot; 🔒