Module rustc_pattern_analysis::rustc
source · Modules§
- print 🔒Pattern analysis sometimes wants to print patterns as part of a user-visible diagnostic.
Structs§
- A type which has gone through
cx.reveal_opaque_ty
, i.e. if it was opaque it was replaced by the hidden type if allowed in the current body. This ensures we consistently inspect the hidden types when we should.
Functions§
- The entrypoint for this crate. Computes whether a match is exhaustive and which of its arms are useful, and runs some lints.
- Recursively expand this pattern into its subpatterns. Only useful for or-patterns.
- Returns
true
if the given pattern would be printed as a wildcard (_
).