bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Document invariant in thir::PatRange

Browse source
This commit is contained in:
Nadrieril 2024-02-27 17:23:06 +01:00
parent 205319d962
commit 7c6960e289
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_middle/src/thir.rs
View file

@ -815,7 +815,9 @@ pub enum PatKind<'tcx> {
/// The boundaries must be of the same type and that type must be numeric. /// The boundaries must be of the same type and that type must be numeric.
#[derive(Clone, Debug, PartialEq, HashStable, TypeVisitable)] #[derive(Clone, Debug, PartialEq, HashStable, TypeVisitable)]
pub struct PatRange<'tcx> { pub struct PatRange<'tcx> {
/// Must not be `PosInfinity`.
pub lo: PatRangeBoundary<'tcx>, pub lo: PatRangeBoundary<'tcx>,
/// Must not be `NegInfinity`.
pub hi: PatRangeBoundary<'tcx>, pub hi: PatRangeBoundary<'tcx>,
#[type_visitable(ignore)] #[type_visitable(ignore)]
pub end: RangeEnd, pub end: RangeEnd,