Home
last modified time | relevance | path

Searched defs:InferenceVar (Results 1 – 25 of 29) sorted by relevance

12

/dports/lang/rust/rustc-1.58.1-src/src/tools/rust-analyzer/crates/hir_ty/src/infer/
H A Dunify.rs186 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 Dunify.rs186 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 Dnormalize_deep.rs48 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 Dcanonicalize.rs155 var: InferenceVar, in fold_inference_ty()
187 var: InferenceVar, in fold_inference_lifetime()
216 var: InferenceVar, in fold_inference_const()
H A Dunify.rs360 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 Dvar.rs53 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 Dcanonicalize.rs156 var: InferenceVar, in fold_inference_ty()
188 var: InferenceVar, in fold_inference_lifetime()
217 var: InferenceVar, in fold_inference_const()
H A Dunify.rs360 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 Dvar.rs53 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 Dcanonicalize.rs156 var: InferenceVar, in fold_inference_ty()
188 var: InferenceVar, in fold_inference_lifetime()
217 var: InferenceVar, in fold_inference_const()
H A Dunify.rs360 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 Dvar.rs53 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 Dlib.rs94 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 Dlib.rs94 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 Dfold.rs259 var: InferenceVar, in fold_inference_ty()
274 var: InferenceVar, in fold_inference_lifetime()
289 var: InferenceVar, in fold_inference_const()
H A Dlib.rs601 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 Dfold.rs259 var: InferenceVar, in fold_inference_ty()
274 var: InferenceVar, in fold_inference_lifetime()
289 var: InferenceVar, in fold_inference_const()
H A Dlib.rs464 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 Dvisit.rs178 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 Dfold.rs264 var: InferenceVar, in fold_inference_ty()
279 var: InferenceVar, in fold_inference_lifetime()
294 var: InferenceVar, in fold_inference_const()
H A Dlib.rs464 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 Dvisit.rs175 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 Dinfer.rs172 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 Dinfer.rs172 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 Dinfer.rs172 pub fn inference_var_root(&mut self, var: InferenceVar) -> InferenceVar { in inference_var_root()

12