Module chalk_ir::zip [−][src]
Expand description
Traits for “zipping” types, walking through two structures and checking that they match.
Traits
The Zip trait walks two values, invoking the Zipper methods where
appropriate, but otherwise requiring strict equality.
When we zip types, we basically traverse the structure, ensuring that it matches. When we come to types/lifetimes, we invoke the callback methods in the zipper to match them up. Primarily used during unification or similar operations.