Expand description
Separates Patterns into their Value and Type components.
Structs§
- Bubbler
- The Bubbler separates Patterns into their value and type-annotation components, “bubbling” PatOp::Typed annotations up to the top of all pattern-expressions.
Functions§
- bubble_
types - Bubbles up type annotations from within a pattern to the top level.
- take 🔒