Expand description
Helper code for building a linked list of user-type projections on the stack while visiting a THIR pattern.
This avoids having to repeatedly clone a partly-built UserTypeProjections
at every step of the traversal, which is what the previous code was doing.
Enums§
- Projected
User 🔒Types Node - Projected
User 🔒Types Op - One of a list of “operations” that can be used to lazily build projections of user-specified types.
Type Aliases§
- User
Type 🔒Indices - A single
thir::Patnode should almost never have more than 0-2 user types. We can store up to 4 inline in the same size as an ordinaryVec.