Module rustc_type_ir::canonical

Structs

• Canonical
  A “canonicalized” type V is one where all free inference variables have been rewritten to “canonical vars”. These are numbered starting from 0 in order of first appearance.