Struct rustc_mir::hair::pattern::_match::IntRange

struct IntRange<'tcx> {
    pub range: RangeInclusive<u128>,
    pub ty: Ty<'tcx>,
}

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

An inclusive interval, used for precise integer exhaustiveness checking. IntRanges always store a contiguous range. This means that values are encoded such that 0 encodes the minimum value for the integer, regardless of the signedness. For example, the pattern -128...127i8 is encoded as 0..=255. This makes comparisons and arithmetic on interval endpoints much more straightforward. See signed_bias for details.

IntRange is never used to encode an empty range or a "range" that wraps around the (offset) space: i.e. range.lo <= range.hi.

Fields

range: RangeInclusive<u128>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

ty: Ty<'tcx>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Methods

impl<'tcx> IntRange<'tcx>

fn from_ctor(     tcx: TyCtxt<'_, 'tcx, 'tcx>,     ctor: &Constructor<'tcx> ) -> Option<IntRange<'tcx>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn from_pat(     tcx: TyCtxt<'_, 'tcx, 'tcx>,     pat: &Pattern<'tcx> ) -> Option<IntRange<'tcx>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn signed_bias(tcx: TyCtxt<'_, 'tcx, 'tcx>, ty: Ty<'tcx>) -> u128

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn range_to_ctor(     tcx: TyCtxt<'_, 'tcx, 'tcx>,     ty: Ty<'tcx>,     r: RangeInclusive<u128> ) -> Constructor<'tcx>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Convert a RangeInclusive to a ConstantValue or inclusive ConstantRange.

Important traits for Vec<u8>

impl Write for Vec<u8>

fn subtract_from(     self,     tcx: TyCtxt<'_, 'tcx, 'tcx>,     ranges: Vec<Constructor<'tcx>> ) -> Vec<Constructor<'tcx>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Return a collection of ranges that spans the values covered by ranges, subtracted by the values covered by self: i.e. ranges \ self (in set notation).

fn intersection(&self, other: &Self) -> Option<Self>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Trait Implementations

impl<'tcx> Clone for IntRange<'tcx>

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

Returns a copy of the value.

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

Performs copy-assignment from source.