/dports/lang/rust/rustc-1.58.1-src/src/tools/rust-analyzer/crates/hir_ty/src/infer/ |
H A D | unify.rs | 186 pub(super) fn set_diverging(&mut self, iv: InferenceVar, diverging: bool) { in set_diverging() 190 fn fallback_value(&self, iv: InferenceVar, kind: TyVariableKind) -> Ty { in fallback_value() 294 fallback: &dyn Fn(InferenceVar, VariableKind, GenericArg, DebruijnIndex) -> GenericArg, in resolve_with_fallback() 304 var_stack: &mut Vec<InferenceVar>, in resolve_with_fallback_inner() 306 fallback: &dyn Fn(InferenceVar, VariableKind, GenericArg, DebruijnIndex) -> GenericArg, in resolve_with_fallback_inner() 425 var: chalk_ir::InferenceVar, in fudge_inference() 438 var: chalk_ir::InferenceVar, in fudge_inference() 451 var: chalk_ir::InferenceVar, in fudge_inference() 564 var: InferenceVar, in fold_inference_ty() 595 var: InferenceVar, in fold_inference_const() [all …]
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/crates/hir_ty/src/infer/ |
H A D | unify.rs | 186 pub(super) fn set_diverging(&mut self, iv: InferenceVar, diverging: bool) { in set_diverging() 190 fn fallback_value(&self, iv: InferenceVar, kind: TyVariableKind) -> Ty { in fallback_value() 294 fallback: &dyn Fn(InferenceVar, VariableKind, GenericArg, DebruijnIndex) -> GenericArg, in resolve_with_fallback() 304 var_stack: &mut Vec<InferenceVar>, in resolve_with_fallback_inner() 306 fallback: &dyn Fn(InferenceVar, VariableKind, GenericArg, DebruijnIndex) -> GenericArg, in resolve_with_fallback_inner() 427 var: chalk_ir::InferenceVar, in fudge_inference() 440 var: chalk_ir::InferenceVar, in fudge_inference() 453 var: chalk_ir::InferenceVar, in fudge_inference() 567 var: InferenceVar, in fold_inference_ty() 598 var: InferenceVar, in fold_inference_const() [all …]
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-engine/src/ |
H A D | normalize_deep.rs | 48 var: InferenceVar, in fold_inference_ty() 69 var: InferenceVar, in fold_inference_lifetime() 86 var: InferenceVar, in fold_inference_const()
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/infer/ |
H A D | canonicalize.rs | 155 var: InferenceVar, in fold_inference_ty() 187 var: InferenceVar, in fold_inference_lifetime() 216 var: InferenceVar, in fold_inference_const()
|
H A D | unify.rs | 360 fn unify_var_var(&mut self, a: InferenceVar, b: InferenceVar) -> Fallible<()> { in unify_var_var() 378 general_var: InferenceVar, in unify_general_var_specific_ty() 859 var: InferenceVar, in relate_var_ty() 1030 var: InferenceVar, in unify_lifetime_var() 1135 fn unify_var_const(&mut self, var: InferenceVar, c: &Const<I>) -> Fallible<()> { in unify_var_const() 1334 var: InferenceVar, in fold_inference_ty() 1385 var: InferenceVar, in fold_inference_const() 1430 var: InferenceVar, in fold_inference_lifetime()
|
H A D | var.rs | 53 impl<I: Interner> From<EnaVariable<I>> for InferenceVar { implementation 54 fn from(ena_var: EnaVariable<I>) -> InferenceVar { in from()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/infer/ |
H A D | canonicalize.rs | 156 var: InferenceVar, in fold_inference_ty() 188 var: InferenceVar, in fold_inference_lifetime() 217 var: InferenceVar, in fold_inference_const()
|
H A D | unify.rs | 360 fn unify_var_var(&mut self, a: InferenceVar, b: InferenceVar) -> Fallible<()> { in unify_var_var() 378 general_var: InferenceVar, in unify_general_var_specific_ty() 859 var: InferenceVar, in relate_var_ty() 1030 var: InferenceVar, in unify_lifetime_var() 1135 fn unify_var_const(&mut self, var: InferenceVar, c: &Const<I>) -> Fallible<()> { in unify_var_const() 1335 var: InferenceVar, in fold_inference_ty() 1386 var: InferenceVar, in fold_inference_const() 1431 var: InferenceVar, in fold_inference_lifetime()
|
H A D | var.rs | 53 impl<I: Interner> From<EnaVariable<I>> for InferenceVar { implementation 54 fn from(ena_var: EnaVariable<I>) -> InferenceVar { in from()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/infer/ |
H A D | canonicalize.rs | 156 var: InferenceVar, in fold_inference_ty() 188 var: InferenceVar, in fold_inference_lifetime() 217 var: InferenceVar, in fold_inference_const()
|
H A D | unify.rs | 360 fn unify_var_var(&mut self, a: InferenceVar, b: InferenceVar) -> Fallible<()> { in unify_var_var() 378 general_var: InferenceVar, in unify_general_var_specific_ty() 859 var: InferenceVar, in relate_var_ty() 1030 var: InferenceVar, in unify_lifetime_var() 1135 fn unify_var_const(&mut self, var: InferenceVar, c: &Const<I>) -> Fallible<()> { in unify_var_const() 1335 var: InferenceVar, in fold_inference_ty() 1386 var: InferenceVar, in fold_inference_const() 1431 var: InferenceVar, in fold_inference_lifetime()
|
H A D | var.rs | 53 impl<I: Interner> From<EnaVariable<I>> for InferenceVar { implementation 54 fn from(ena_var: EnaVariable<I>) -> InferenceVar { in from()
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/crates/hir_ty/src/ |
H A D | lib.rs | 94 pub type InferenceVar = chalk_ir::InferenceVar; typedef 385 _var: InferenceVar, in replace_errors_with_variables() 415 _var: InferenceVar, in replace_errors_with_variables() 440 _var: InferenceVar, in replace_errors_with_variables()
|
/dports/lang/rust/rustc-1.58.1-src/src/tools/rust-analyzer/crates/hir_ty/src/ |
H A D | lib.rs | 94 pub type InferenceVar = chalk_ir::InferenceVar; typedef 368 _var: InferenceVar, in replace_errors_with_variables() 398 _var: InferenceVar, in replace_errors_with_variables() 423 _var: InferenceVar, in replace_errors_with_variables()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-ir-0.55.0/src/ |
H A D | fold.rs | 259 var: InferenceVar, in fold_inference_ty() 274 var: InferenceVar, in fold_inference_lifetime() 289 var: InferenceVar, in fold_inference_const()
|
H A D | lib.rs | 601 pub fn inference_var(&self, interner: &I) -> Option<InferenceVar> { in inference_var() 807 InferenceVar(InferenceVar, TyVariableKind), enumerator 1119 pub struct InferenceVar { struct 1123 impl From<u32> for InferenceVar { implementation 1124 fn from(index: u32) -> InferenceVar { in from() 1129 impl InferenceVar { impl 1239 pub fn inference_var(&self, interner: &I) -> Option<InferenceVar> { in inference_var() 1274 InferenceVar(InferenceVar), enumerator 1340 pub fn inference_var(&self, interner: &I) -> Option<InferenceVar> { in inference_var() 1369 InferenceVar(InferenceVar), enumerator
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-ir/src/ |
H A D | fold.rs | 259 var: InferenceVar, in fold_inference_ty() 274 var: InferenceVar, in fold_inference_lifetime() 289 var: InferenceVar, in fold_inference_const()
|
H A D | lib.rs | 464 pub fn inference_var(&self, interner: &I) -> Option<InferenceVar> { in inference_var() 670 InferenceVar(InferenceVar, TyVariableKind), enumerator 1048 pub struct InferenceVar { struct 1052 impl From<u32> for InferenceVar { implementation 1053 fn from(index: u32) -> InferenceVar { in from() 1058 impl InferenceVar { impl 1168 pub fn inference_var(&self, interner: &I) -> Option<InferenceVar> { in inference_var() 1203 InferenceVar(InferenceVar), enumerator 1269 pub fn inference_var(&self, interner: &I) -> Option<InferenceVar> { in inference_var() 1318 InferenceVar(InferenceVar), enumerator
|
H A D | visit.rs | 178 var: InferenceVar, in visit_inference_var()
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-ir-0.75.0/src/ |
H A D | fold.rs | 264 var: InferenceVar, in fold_inference_ty() 279 var: InferenceVar, in fold_inference_lifetime() 294 var: InferenceVar, in fold_inference_const()
|
H A D | lib.rs | 464 pub fn inference_var(&self, interner: I) -> Option<InferenceVar> { in inference_var() 670 InferenceVar(InferenceVar, TyVariableKind), enumerator 1048 pub struct InferenceVar { struct 1052 impl From<u32> for InferenceVar { implementation 1053 fn from(index: u32) -> InferenceVar { in from() 1058 impl InferenceVar { impl 1168 pub fn inference_var(&self, interner: I) -> Option<InferenceVar> { in inference_var() 1203 InferenceVar(InferenceVar), enumerator 1269 pub fn inference_var(&self, interner: I) -> Option<InferenceVar> { in inference_var() 1318 InferenceVar(InferenceVar), enumerator
|
H A D | visit.rs | 175 var: InferenceVar, in visit_inference_var()
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/ |
H A D | infer.rs | 172 pub fn inference_var_root(&mut self, var: InferenceVar) -> InferenceVar { in inference_var_root()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/ |
H A D | infer.rs | 172 pub fn inference_var_root(&mut self, var: InferenceVar) -> InferenceVar { in inference_var_root()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/ |
H A D | infer.rs | 172 pub fn inference_var_root(&mut self, var: InferenceVar) -> InferenceVar { in inference_var_root()
|