Module rustc_mir_build::thir::pattern::check_match
source · Structs§
- Match
Visitor π
Enums§
- LetSource π
- Refutable
Flag π
Functions§
- 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 inbinding @ subpat
patterns. - 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. - pat_
is_ πcatchall Checks for common cases of βcatchallβ patterns that may not be intended as such. - Report unreachable arms, if any.
- Report that a match is not exhaustive.
- Report unreachable arms, if any.