From e9752308bbaa2fd720e1eeaca970977fe22514d1 Mon Sep 17 00:00:00 2001 From: Jonas Schievink Date: Tue, 6 Apr 2021 17:59:18 +0200 Subject: infer: remove `record_field_resolutions` field It stores no useful data, since we can derive all fields from `variant_resolutions` --- crates/hir_ty/src/infer/expr.rs | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'crates/hir_ty/src/infer/expr.rs') diff --git a/crates/hir_ty/src/infer/expr.rs b/crates/hir_ty/src/infer/expr.rs index 5b3cdab4e..9ab0fa212 100644 --- a/crates/hir_ty/src/infer/expr.rs +++ b/crates/hir_ty/src/infer/expr.rs @@ -21,7 +21,7 @@ use crate::{ primitive::{self, UintTy}, static_lifetime, to_chalk_trait_id, traits::{chalk::from_chalk, FnTrait}, - utils::{generics, variant_data, Generics}, + utils::{generics, Generics}, AdtId, Binders, CallableDefId, FnPointer, FnSig, FnSubst, InEnvironment, Interner, ProjectionTyExt, Rawness, Scalar, Substitution, TraitRef, Ty, TyBuilder, TyExt, TyKind, TypeWalk, @@ -414,7 +414,7 @@ impl<'a> InferenceContext<'a> { let substs = ty.substs().cloned().unwrap_or_else(|| Substitution::empty(&Interner)); let field_types = def_id.map(|it| self.db.field_types(it)).unwrap_or_default(); - let variant_data = def_id.map(|it| variant_data(self.db.upcast(), it)); + let variant_data = def_id.map(|it| it.variant_data(self.db.upcast())); for field in fields.iter() { let field_def = variant_data.as_ref().and_then(|it| match it.field(&field.name) { @@ -426,9 +426,6 @@ impl<'a> InferenceContext<'a> { None } }); - if let Some(field_def) = field_def { - self.result.record_field_resolutions.insert(field.expr, field_def); - } let field_ty = field_def.map_or(self.err_ty(), |it| { field_types[it.local_id].clone().substitute(&Interner, &substs) }); -- cgit v1.2.3