minor edits to support (a tiny bit of vec

flux-rs · Dec 18, 2023 · 322fc98 · 322fc98
1 parent fe9d5bb
commit 322fc98
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/crates/flux-middle/src/queries.rs b/crates/flux-middle/src/queries.rs
@@ -194,10 +194,10 @@ impl<'tcx> Queries<'tcx> {
     pub(crate) fn generics_of(
         &self,
         genv: &GlobalEnv,
-        def_id0: DefId,
+        def_id: DefId,
     ) -> QueryResult<rty::Generics> {
-        run_with_cache(&self.generics_of, def_id0, || {
-            let def_id = genv.lookup_extern(def_id0).unwrap_or(def_id0);
+        run_with_cache(&self.generics_of, def_id, || {
+            let def_id = genv.lookup_extern(def_id).unwrap_or(def_id);
             if let Some(local_id) = def_id.as_local() {
                 (self.providers.generics_of)(genv, local_id)
             } else {