Searched refs:ConstVariableOrigin (Results 1 – 7 of 7) sorted by relevance
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_infer/src/infer/ |
| H A D | fudge.rs | 6 use super::{ConstVariableOrigin, RegionVariableOrigin, UnificationTable};
28 ) -> (Range<ConstVid<'tcx>>, Vec<ConstVariableOrigin>) { in const_vars_since_snapshot() argument
175 const_vars: (Range<ConstVid<'tcx>>, Vec<ConstVariableOrigin>),
|
| H A D | mod.rs | 23 use rustc_middle::infer::unify_key::{ConstVariableOrigin, ConstVariableOriginKind, ToType};
1070 origin: ConstVariableOrigin, in next_const_var() argument
1078 origin: ConstVariableOrigin, in next_const_var_in_universe() argument
1089 pub fn next_const_var_id(&self, origin: ConstVariableOrigin) -> ConstVid<'tcx> { in next_const_var_id()
1190 let origin = ConstVariableOrigin { in var_for_def()
1517 ConstVariableOrigin { kind: ConstVariableOriginKind::MiscVariable, span }, in replace_bound_vars_with_fresh_vars()
|
| H A D | combine.rs | 32 use super::unify_key::{ConstVariableOrigin, ConstVariableOriginKind};
254 origin: ConstVariableOrigin { in unify_const_variable()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_infer/src/infer/canonical/ |
| H A D | mod.rs | 24 use crate::infer::{ConstVariableOrigin, ConstVariableOriginKind};
146 ConstVariableOrigin { kind: ConstVariableOriginKind::MiscVariable, span }, in instantiate_canonical_var()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_middle/src/infer/ |
| H A D | unify_key.rs | 82 pub struct ConstVariableOrigin { struct
115 pub origin: ConstVariableOrigin,
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_typeck/src/check/fn_ctxt/ |
| H A D | mod.rs | 17 use rustc_infer::infer::unify_key::{ConstVariableOrigin, ConstVariableOriginKind};
252 ConstVariableOrigin { kind: ConstVariableOriginKind::ConstInference, span }, in ct_infer()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_typeck/src/check/method/ |
| H A D | probe.rs | 19 use rustc_infer::infer::unify_key::{ConstVariableOrigin, ConstVariableOriginKind};
1865 let origin = ConstVariableOrigin { in fresh_item_substs()
|