Struct InterPat 

struct InterPat<'tcx> {
    place: Option<Place<'tcx>>,
    testable_case: Option<TestableCase<'tcx>>,
    subpats: Vec<InterPat<'tcx>>,
    or_subpats: Option<Box<[InterPat<'tcx>]>>,
    ascriptions: Vec<Ascription<'tcx>>,
    binding: Option<Binding<'tcx>>,
    pattern_span: Span,
    is_never: bool,
}

“Intermediate pattern”, a partly-lowered THIR Pat that has not yet been squashed into a forest of refutable MatchPairTree nodes.

FIXME(Zalathar): This could potentially be split into different enum variants for or-patterns and non-or patterns, but for now the flat structure makes construction a bit easier, at the cost of more complicated invariants.

Fields

place: Option<Place<'tcx>>

Place that this pattern node will test.

If None, we’re in a closure that didn’t capture the relevant place, because it won’t actually be tested.

testable_case: Option<TestableCase<'tcx>>

Testable condition to compare the place to (e.g. “is 3” or “is Some”).

If None, this pattern node is irrefutable or an or-pattern, though it might have refutable descendants.

subpats: Vec<InterPat<'tcx>>

Immediate subpatterns of a node that is not an or-pattern.

or_subpats: Option<Box<[InterPat<'tcx>]>>

Immediate subpatterns of an or-pattern node.

Invariant: If this is Some, then fields subpats, testable_case, and binding must all be empty.

ascriptions: Vec<Ascription<'tcx>>

binding: Option<Binding<'tcx>>

Binding to establish for a PatKind::Binding node.

pattern_span: Span

Span field of the THIR pattern this node was created from.

is_never: bool

True if this pattern can never match, because all of its alternatives contain a ! pattern.

Implementations

impl<'tcx> InterPat<'tcx>

fn lower_thir_pat( cx: &mut Builder<'_, 'tcx>, place_builder: PlaceBuilder<'tcx>, pattern: &Pat<'tcx>, ) -> Self

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 160 bytes