Struct ra_ap_rustc_pattern_analysis::constructor::IntRange

pub struct IntRange {
    pub lo: MaybeInfiniteInt,
    pub hi: MaybeInfiniteInt,
}

An exclusive interval, used for precise integer exhaustiveness checking. IntRanges always store a contiguous range.

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

lo: MaybeInfiniteInt

hi: MaybeInfiniteInt

Implementations

impl IntRange

pub fn is_singleton(&self) -> bool

Best effort; will not know that e.g. 255u8.. is a singleton.

pub fn from_singleton(x: MaybeInfiniteInt) -> IntRange

Construct a singleton range. x must be a Finite(_) value.

pub fn from_range( lo: MaybeInfiniteInt, hi: MaybeInfiniteInt, end: RangeEnd ) -> IntRange

Construct a range with these boundaries. lo must not be PosInfinity. hi must not be NegInfinity.

Trait Implementations

impl Clone for IntRange

fn clone(&self) -> IntRange

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for IntRange

Note: this will render signed ranges incorrectly. To render properly, convert to a pattern first.

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

Formats the value using the given formatter.

impl PartialEq for IntRange

fn eq(&self, other: &IntRange) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for IntRange

impl Eq for IntRange

impl StructuralPartialEq for IntRange