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 (_).

Type Aliases§