Struct rustc_mir_build::thir::pattern::_match::IntRange

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

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>

ty: Ty<'tcx>

span: Span

Implementations

impl<'tcx> IntRange<'tcx>

fn is_integral(ty: Ty<'_>) -> bool

fn is_singleton(&self) -> bool

fn boundaries(&self) -> (u128, u128)

fn treat_exhaustively(&self, tcx: TyCtxt<'tcx>) -> bool

Don't treat usize/isize exhaustively unless the precise_pointer_size_matching feature is enabled.

fn integral_size_and_signed_bias(
    tcx: TyCtxt<'tcx>,
    ty: Ty<'_>
) -> Option<(Size, u128)>

fn from_const(
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    value: &Const<'tcx>,
    span: Span
) -> Option<IntRange<'tcx>>

fn from_range(
    tcx: TyCtxt<'tcx>,
    lo: u128,
    hi: u128,
    ty: Ty<'tcx>,
    end: &RangeEnd,
    span: Span
) -> Option<IntRange<'tcx>>

fn from_pat(
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    pat: &Pat<'tcx>
) -> Option<IntRange<'tcx>>

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

fn subtract_from(&self, ranges: Vec<IntRange<'tcx>>) -> Vec<IntRange<'tcx>>

Returns 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 is_subrange(&self, other: &Self) -> bool

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

fn suspicious_intersection(&self, other: &Self) -> bool

fn to_pat(&self, tcx: TyCtxt<'tcx>) -> Pat<'tcx>

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.

impl<'tcx> Debug for IntRange<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> PartialEq<IntRange<'tcx>> for IntRange<'tcx>

Ignore spans when comparing, they don't carry semantic information as they are only for lints.

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

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.