Module _match 

Re-exports

use rustc_hir::def_id::DefId; 🔒

use rustc_infer::infer::relate; 🔒

use rustc_infer::infer::relate::Relate; 🔒

use rustc_infer::infer::relate::RelateResult; 🔒

use rustc_infer::infer::relate::TypeRelation; 🔒

use rustc_infer::infer::relate::structurally_relate_tys; 🔒

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

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

use rustc_middle::ty; 🔒

use rustc_middle::ty::InferConst; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

Structs

MatchAgainstFreshVars 🔒

A type “A” matches “B” if the fresh types in B could be instantiated with values so as to make it equal to A. Matching is intended to be used only on freshened types, and it basically indicates if the non-freshened versions of A and B could have been unified.