Module rustc::ty::_match [] [src]

🔬 This is a nightly-only experimental API. (rustc_private)

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.