rustc_trait_selection::traits::select

Module _match

source

Structsยง

  • 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.