Module check_match

Source

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.