StructsΒ§
- Match
Visitor π
EnumsΒ§
- LetSource π
- Refutable
Flag π
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 inbinding @ 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.