Searched defs:InferenceResult (Results 1 – 6 of 6) sorted by relevance
| /third_party/rust/rust/src/tools/rust-analyzer/crates/hir-ty/src/ |
| D | infer.rs | 74 pub(crate) fn infer_query(db: &dyn HirDatabase, def: DefWithBodyId) -> Arc<InferenceResult> { in infer_query()
390 pub struct InferenceResult { struct
392 method_resolutions: FxHashMap<ExprId, (FunctionId, Substitution)>,
394 field_resolutions: FxHashMap<ExprId, FieldId>,
396 variant_resolutions: FxHashMap<ExprOrPatId, VariantId>,
398 assoc_resolutions: FxHashMap<ExprOrPatId, (AssocItemId, Substitution)>,
422 impl InferenceResult { argument
461 impl Index<ExprId> for InferenceResult { implementation
469 impl Index<PatId> for InferenceResult { implementation
477 impl Index<BindingId> for InferenceResult { implementation
[all …]
|
| D | db.rs | 32 fn infer(&self, def: DefWithBodyId) -> Arc<InferenceResult>; in infer()
35 fn infer_query(&self, def: DefWithBodyId) -> Arc<InferenceResult>; in infer_query()
265 fn infer_wait(db: &dyn HirDatabase, def: DefWithBodyId) -> Arc<InferenceResult> { in infer_wait()
|
| /third_party/rust/rust/src/tools/rust-analyzer/crates/hir-ty/src/diagnostics/ |
| D | unsafe_check.rs | 48 infer: &InferenceResult, in unsafe_expressions()
59 infer: &InferenceResult, in walk_unsafe()
|
| D | expr.rs | 298 infer: &InferenceResult, in record_literal_missing_fields()
331 infer: &InferenceResult, in record_pattern_missing_fields()
360 fn walk(pat: PatId, body: &Body, infer: &InferenceResult, has_type_mismatches: &mut bool) { in types_of_subpatterns_do_match()
|
| D | match_check.rs | 103 pub(crate) fn new(db: &'a dyn HirDatabase, infer: &'a InferenceResult, body: &'a Body) -> Self { in new()
|
| /third_party/rust/rust/src/tools/rust-analyzer/crates/hir-ty/src/mir/ |
| D | lower.rs | 236 infer: &'ctx InferenceResult, in new()
1900 infer: &InferenceResult, in lower_to_mir()
|