Enum rustc_mir_build::thir::pattern::_match::FilteredField

pub(in thir::pattern::_match) enum FilteredField<'p, 'tcx> {
    Kept(&'p Pat<'tcx>),
    Hidden(Ty<'tcx>),
}

Some fields need to be explicitly hidden away in certain cases; see the comment above the Fields struct. This struct represents such a potentially-hidden field. When a field is hidden we still keep its type around.

Variants

Kept(&'p Pat<'tcx>)

Hidden(Ty<'tcx>)

Implementations

impl<'p, 'tcx> FilteredField<'p, 'tcx>

pub(in thir::pattern::_match) fn kept(
    self
) -> Option<&'p Pat<'tcx>>

pub(in thir::pattern::_match) fn to_pattern(
    self
) -> Pat<'tcx>

Trait Implementations

impl<'p, 'tcx> Clone for FilteredField<'p, 'tcx>

pub fn clone(&self) -> FilteredField<'p, 'tcx>

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'p, 'tcx> Copy for FilteredField<'p, 'tcx>

impl<'p, 'tcx> Debug for FilteredField<'p, 'tcx>

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.