Skip to main content

Module match_check

Module match_check 

Source
Expand description

Validation of matches.

This module provides lowering from hir_def::hir::Pat to self::Pat and match checking algorithm.

It is modeled on the rustc module rustc_mir_build::thir::pattern.

Modulesยง

pat_analysis ๐Ÿ”’
Interface with rustc_pattern_analysis.
pat_util ๐Ÿ”’
Pattern utilities.

Structsยง

FieldPat ๐Ÿ”’
Pat ๐Ÿ”’
PatCtxt ๐Ÿ”’
WriteWith ๐Ÿ”’

Enumsยง

PatKind ๐Ÿ”’
Close relative to rustc_mir_build::thir::pattern::PatKind
PatternError ๐Ÿ”’