Module rustc::ty::_match [−][src]
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Re-exports
use ty; |
use ty::Ty; |
use ty::TyCtxt; |
use ty::error::TypeError; |
use ty::relate; |
use ty::relate::Relate; |
use ty::relate::TypeRelation; |
use ty::relate::RelateResult; |
Structs
Match |
[ Experimental ] A type "A" matches "B" if the fresh types in B could be substituted 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. |