Module pat

Structs

PatInfo 🔒

TopInfo 🔒

Information about the expected type at the top level of type checking a pattern.

Enums

AdjustMode 🔒

Mode for adjusting the expected type and binding mode.

InheritedRefMatchRule 🔒

Variations on RFC 3627’s Rule 4: when do reference patterns match against inherited references?

MutblCap 🔒

ref mut bindings (explicit or match-ergonomics) are not allowed behind an & reference. Normally, the borrow checker enforces this, but for (currently experimental) match ergonomics, we track this when typing patterns for two purposes:

Constants

CANNOT_IMPLICITLY_DEREF_POINTER_TRAIT_OBJ 🔒

Functions

is_number 🔒