Expand description
As explained in crate::usefulness, values and patterns are made from constructors applied to
fields. This file defines types that represent patterns in this way.
Structs§
- Deconstructed
Pat - Values and patterns can be represented as a constructor applied to some fields. This represents
a pattern in this form. A
DeconstructedPatwill almost always come from user input; the only exception are someWildcards introduced during pattern lowering. - Indexed
Pat - A pattern with an index denoting which field it corresponds to.
- Witness
Pat - Same idea as
DeconstructedPat, except this is a fictitious pattern built up for diagnostics purposes. As such they don’t use interning and can be cloned.