Struct MatchExpressionArmCause

pub struct MatchExpressionArmCause<'tcx> {
    pub arm_block_id: Option<HirId>,
    pub arm_ty: Ty<'tcx>,
    pub arm_span: Span,
    pub prior_arm_block_id: Option<HirId>,
    pub prior_arm_ty: Ty<'tcx>,
    pub prior_arm_span: Span,
    pub scrut_span: Span,
    pub source: MatchSource,
    pub expr_span: Span,
    pub prior_non_diverging_arms: Vec<Span>,
    pub tail_defines_return_position_impl_trait: Option<LocalDefId>,
}

Fields

arm_block_id: Option<HirId>

arm_ty: Ty<'tcx>

arm_span: Span

prior_arm_block_id: Option<HirId>

prior_arm_ty: Ty<'tcx>

prior_arm_span: Span

scrut_span: Span

Span of the scrutinee of the match (the matched value).

source: MatchSource

Source of the match, i.e. match or a desugaring.

expr_span: Span

Span of the whole match expr.

prior_non_diverging_arms: Vec<Span>

Spans of the previous arms except for those that diverge (i.e. evaluate to !).

These are used for pointing out errors that may affect several arms.

tail_defines_return_position_impl_trait: Option<LocalDefId>

Is the expectation of this match expression an RPIT?

Trait Implementations

impl<'tcx> Clone for MatchExpressionArmCause<'tcx>

fn clone(&self) -> MatchExpressionArmCause<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for MatchExpressionArmCause<'tcx>

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

Formats the value using the given formatter.

impl<'tcx, __D> Decodable<__D> for MatchExpressionArmCause<'tcx>

where __D: TyDecoder<I = TyCtxt<'tcx>>,

fn decode(__decoder: &mut __D) -> MatchExpressionArmCause<'tcx>

impl<'tcx, __E> Encodable<__E> for MatchExpressionArmCause<'tcx>

where __E: TyEncoder<I = TyCtxt<'tcx>>,

fn encode(&self, __encoder: &mut __E)

impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for MatchExpressionArmCause<'tcx>

fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher<SipHasher128>, )

impl<'tcx> PartialEq for MatchExpressionArmCause<'tcx>

fn eq(&self, other: &MatchExpressionArmCause<'tcx>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for MatchExpressionArmCause<'tcx>

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<MatchExpressionArmCause<'tcx>, <__F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>

where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

The entry point for folding. To fold a value t with a folder f call: t.try_fold_with(f).

fn fold_with<F>(self, folder: &mut F) -> Self

where F: TypeFolder<I>,

A convenient alternative to try_fold_with for use with infallible folders. Do not override this method, to ensure coherence with try_fold_with.

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for MatchExpressionArmCause<'tcx>

fn visit_with<__V>( &self, __visitor: &mut __V, ) -> <__V as TypeVisitor<TyCtxt<'tcx>>>::Result

where __V: TypeVisitor<TyCtxt<'tcx>>,

The entry point for visiting. To visit a value t with a visitor v call: t.visit_with(v).

impl<'tcx> Eq for MatchExpressionArmCause<'tcx>

impl<'tcx> StructuralPartialEq for MatchExpressionArmCause<'tcx>

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: 104 bytes