From 322fc98cfde5bf37c6d881dc8a37f9458f24a2ad Mon Sep 17 00:00:00 2001
From: Ranjit Jhala <rjhala@eng.ucsd.edu>
Date: Mon, 18 Dec 2023 14:13:50 -0800
Subject: [PATCH] minor edits to support (a tiny bit of vec

---
 crates/flux-middle/src/queries.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/crates/flux-middle/src/queries.rs b/crates/flux-middle/src/queries.rs
index 6a334a4b5d..d17e769643 100644
--- 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 {