Searched defs:InferenceVar (Results 1 – 2 of 2) sorted by relevance
| /third_party/rust/rust/src/tools/rust-analyzer/crates/hir-ty/src/infer/ |
| D | unify.rs | 190 pub(super) fn set_diverging(&mut self, iv: InferenceVar, diverging: bool) { in set_diverging()
194 fn fallback_value(&self, iv: InferenceVar, kind: TyVariableKind) -> Ty { in fallback_value()
333 fallback: &dyn Fn(InferenceVar, VariableKind, GenericArg, DebruijnIndex) -> GenericArg, in resolve_with_fallback()
362 var_stack: &mut Vec<InferenceVar>, in resolve_with_fallback_inner()
364 fallback: &dyn Fn(InferenceVar, VariableKind, GenericArg, DebruijnIndex) -> GenericArg, in resolve_with_fallback_inner()
561 var: chalk_ir::InferenceVar, in fudge_inference()
574 var: chalk_ir::InferenceVar, in fudge_inference()
587 var: chalk_ir::InferenceVar, in fudge_inference()
843 var: InferenceVar, in fold_inference_ty()
873 var: InferenceVar, in fold_inference_const()
[all …]
|
| /third_party/rust/rust/src/tools/rust-analyzer/crates/hir-ty/src/ |
| D | lib.rs | 126 pub type InferenceVar = chalk_ir::InferenceVar; typedef
518 _var: InferenceVar, in replace_errors_with_variables()
548 _var: InferenceVar, in replace_errors_with_variables()
573 _var: InferenceVar, in replace_errors_with_variables()
|