Struct rustc_middle::thir::PatRange

pub struct PatRange<'tcx> {
    pub lo: PatRangeBoundary<'tcx>,
    pub hi: PatRangeBoundary<'tcx>,
    pub end: RangeEnd,
    pub ty: Ty<'tcx>,
}

A range pattern. The boundaries must be of the same type and that type must be numeric.

Fields

lo: PatRangeBoundary<'tcx>

Must not be PosInfinity.

hi: PatRangeBoundary<'tcx>

Must not be NegInfinity.

end: RangeEnd

ty: Ty<'tcx>

Implementations

impl<'tcx> PatRange<'tcx>

pub fn is_full_range(&self, tcx: TyCtxt<'tcx>) -> Option<bool>

Whether this range covers the full extent of possible values (best-effort, we ignore floats).

pub fn contains( &self, value: Const<'tcx>, tcx: TyCtxt<'tcx>, param_env: ParamEnv<'tcx>, ) -> Option<bool>

pub fn overlaps( &self, other: &Self, tcx: TyCtxt<'tcx>, param_env: ParamEnv<'tcx>, ) -> Option<bool>

Trait Implementations

impl<'tcx> Clone for PatRange<'tcx>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for PatRange<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> Display for PatRange<'tcx>

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

Formats the value using the given formatter.

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

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

impl<'tcx> PartialEq for PatRange<'tcx>

fn eq(&self, other: &PatRange<'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> TypeVisitable<TyCtxt<'tcx>> for PatRange<'tcx>

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

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

impl<'tcx> StructuralPartialEq for PatRange<'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: 96 bytes