Searched refs:ConstVid (Results 1 – 11 of 11) sorted by relevance
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_middle/src/infer/ |
| H A D | unify_key.rs | 119 impl<'tcx> UnifyKey for ty::ConstVid<'tcx> { implementation
125 ty::ConstVid { index: i, phantom: PhantomData } in from_index()
168 table: &mut UnificationTable<InPlace<ty::ConstVid<'tcx>, V, L>>, in replace_if_possible()
172 V: snapshot_vec::VecLike<unify::Delegate<ty::ConstVid<'tcx>>>, in replace_if_possible()
173 L: UndoLogs<snapshot_vec::UndoLog<unify::Delegate<ty::ConstVid<'tcx>>>>, in replace_if_possible()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_infer/src/infer/ |
| H A D | fudge.rs | 2 use rustc_middle::ty::{self, ConstVid, FloatVid, IntVid, RegionVid, Ty, TyCtxt, TyVid};
26 table: &mut UnificationTable<'_, 'tcx, ConstVid<'tcx>>, in const_vars_since_snapshot()
28 ) -> (Range<ConstVid<'tcx>>, Vec<ConstVariableOrigin>) { in const_vars_since_snapshot()
33 .map(|index| table.probe_value(ConstVid::from_index(index)).origin) in const_vars_since_snapshot()
175 const_vars: (Range<ConstVid<'tcx>>, Vec<ConstVariableOrigin>),
|
| H A D | undo_log.rs | 22 ConstUnificationTable(sv::UndoLog<ut::Delegate<ty::ConstVid<'tcx>>>),
57 ConstUnificationTable(sv::UndoLog<ut::Delegate<ty::ConstVid<'tcx>>>),
|
| H A D | mod.rs | 32 use rustc_middle::ty::{ConstVid, FloatVid, IntVid, TyVid};
145 const_unification_storage: ut::UnificationTableStorage<ty::ConstVid<'tcx>>,
271 ty::ConstVid<'tcx>, in const_unification_table()
272 &mut ut::UnificationStorage<ty::ConstVid<'tcx>>, in const_unification_table()
511 UnresolvedConst(ConstVid<'tcx>),
1089 pub fn next_const_var_id(&self, origin: ConstVariableOrigin) -> ConstVid<'tcx> { in next_const_var_id()
1422 vid: ty::ConstVid<'tcx>, in probe_const_var()
1703 Const(ConstVid<'tcx>),
|
| H A D | combine.rs | 230 target_vid: ty::ConstVid<'tcx>, in unify_const_variable()
824 target_vid: ty::ConstVid<'tcx>,
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_middle/src/ty/consts/ |
| H A D | kind.rs | 133 Var(ty::ConstVid<'tcx>),
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_middle/src/ty/ |
| H A D | impls_ty.rs | 110 impl<'a, 'tcx> HashStable<StableHashingContext<'a>> for ty::ConstVid<'tcx> { implementation
|
| H A D | context.rs | 20 ClosureSizeProfileData, Const, ConstVid, DefIdTree, ExistentialPredicate, FloatTy, FloatVar,
2412 pub fn mk_const_var(self, v: ConstVid<'tcx>, ty: Ty<'tcx>) -> &'tcx Const<'tcx> { in mk_const_var()
|
| H A D | sty.rs | 1482 pub struct ConstVid<'tcx> { struct
|
| H A D | mod.rs | 75 CanonicalPolyFnSig, ClosureSubsts, ClosureSubstsParts, ConstVid, EarlyBoundRegion,
|
| H A D | structural_impls.rs | 119 impl<'tcx> fmt::Debug for ty::ConstVid<'tcx> { implementation
|