Skip to content

Commit f26e8ff

Browse files
Uplift BoundVar
1 parent 0ff8610 commit f26e8ff

File tree

3 files changed

+9
-7
lines changed

3 files changed

+9
-7
lines changed

compiler/rustc_middle/src/ty/mod.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -94,7 +94,7 @@ pub use self::parameterized::ParameterizedOverTcx;
9494
pub use self::rvalue_scopes::RvalueScopes;
9595
pub use self::sty::BoundRegionKind::*;
9696
pub use self::sty::{
97-
AliasTy, Article, Binder, BoundRegion, BoundRegionKind, BoundTy, BoundTyKind, BoundVar,
97+
AliasTy, Article, Binder, BoundRegion, BoundRegionKind, BoundTy, BoundTyKind,
9898
BoundVariableKind, CanonicalPolyFnSig, ClauseKind, ClosureArgs, ClosureArgsParts, ConstKind,
9999
CoroutineArgs, CoroutineArgsParts, EarlyParamRegion, ExistentialPredicate,
100100
ExistentialProjection, ExistentialTraitRef, FnSig, GenSig, InlineConstArgs,

compiler/rustc_middle/src/ty/sty.rs

+1-6
Original file line numberDiff line numberDiff line change
@@ -32,6 +32,7 @@ use std::fmt;
3232
use std::ops::{ControlFlow, Deref, Range};
3333
use ty::util::IntTypeExt;
3434

35+
use rustc_type_ir::BoundVar;
3536
use rustc_type_ir::ClauseKind as IrClauseKind;
3637
use rustc_type_ir::CollectAndApply;
3738
use rustc_type_ir::ConstKind as IrConstKind;
@@ -1621,12 +1622,6 @@ impl Atom for RegionVid {
16211622
}
16221623
}
16231624

1624-
rustc_index::newtype_index! {
1625-
#[derive(HashStable)]
1626-
#[debug_format = "{}"]
1627-
pub struct BoundVar {}
1628-
}
1629-
16301625
#[derive(Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash, TyEncodable, TyDecodable)]
16311626
#[derive(HashStable)]
16321627
pub struct BoundTy {

compiler/rustc_type_ir/src/lib.rs

+7
Original file line numberDiff line numberDiff line change
@@ -332,3 +332,10 @@ impl UniverseIndex {
332332
self.private < other.private
333333
}
334334
}
335+
336+
rustc_index::newtype_index! {
337+
#[cfg_attr(feature = "nightly", derive(HashStable_NoContext))]
338+
#[debug_format = "{}"]
339+
#[gate_rustc_only]
340+
pub struct BoundVar {}
341+
}

0 commit comments

Comments
 (0)