Module check_match

Structs

• MatchVisitor 🔒

Enums

• LetSource 🔒
• RefutableFlag 🔒

Functions

• check_borrow_conflicts_in_at_patterns 🔒
  Check if a by-value binding is by-value. That is, check if the binding’s type is not Copy. Check that there are no borrow or move conflicts in binding @ subpat patterns.
• check_for_bindings_named_same_as_variants 🔒
• check_match 🔒
• check_never_pattern 🔒
  Check that never patterns are only used on inhabited types.
• collect_special_tys 🔒
  Collect types that require specific explanations when they show up in witnesses.
• find_fallback_pattern_typo 🔒
  Detect typos that were meant to be a const but were interpreted as a new pattern binding.
• joined_uncovered_patterns 🔒
• maybe_point_at_variant 🔒
• pat_is_catchall 🔒
  Checks for common cases of “catchall” patterns that may not be intended as such.
• report_adt_defined_here 🔒
• report_arm_reachability 🔒
  Report unreachable arms, if any.
• report_irrefutable_let_patterns 🔒
• report_non_exhaustive_match 🔒
  Report that a match is not exhaustive.
• report_unreachable_pattern 🔒
  Report unreachable arms, if any.