Struct rustc_mir_build::thir::pattern::deconstruct_pat::IntRange

pub(super) struct IntRange {
    range: RangeInclusive<u128>,
}

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>

Implementations

impl IntRange

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

fn is_singleton(&self) -> bool

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

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

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

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

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

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

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

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

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

pub(super) fn lint_overlapping_range_endpoints<'a, 'tcx: 'a>(
    &self,
    pcx: PatCtxt<'_, '_, 'tcx>,
    ctors: impl Iterator<Item = (&'a Constructor<'tcx>, Span)>,
    column_count: usize,
    hir_id: HirId
)

Lint on likely incorrect range patterns (#63987)

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

See Constructor::is_covered_by

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

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

Formats the value using the given formatter.

impl PartialEq<IntRange> 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: &IntRange) -> bool

This method tests for !=.

impl Eq for IntRange

impl StructuralEq for IntRange

impl StructuralPartialEq for IntRange