FxHashMap -> UnordMap

flux-rs · Jun 10, 2024 · 9c290f4 · 9c290f4
1 parent 8b69560
commit 9c290f4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/crates/flux-middle/src/rty/mod.rs b/crates/flux-middle/src/rty/mod.rs
@@ -25,7 +25,6 @@ use flux_common::bug;
 use itertools::Itertools;
 pub use normalize::SpecFuncDefns;
 use rustc_data_structures::unord::UnordMap;
-use rustc_hash::FxHashMap;
 use rustc_hir::def_id::DefId;
 use rustc_index::{newtype_index, IndexSlice};
 use rustc_macros::{Decodable, Encodable, TyDecodable, TyEncodable};
@@ -2003,7 +2002,7 @@ pub enum Coercion {
     Project(DefId),
 }
 
-pub type ItemLocalMap<T> = FxHashMap<fhir::ItemLocalId, T>;
+pub type ItemLocalMap<T> = UnordMap<fhir::ItemLocalId, T>;
 
 #[derive(Debug)]
 pub struct LocalTableInContext<'a, T> {

diff --git a/crates/flux-refineck/src/refine_tree.rs b/crates/flux-refineck/src/refine_tree.rs
@@ -91,7 +91,7 @@ pub(crate) struct Snapshot {
     ptr: WeakNodePtr,
 }
 
-/// A ist of refinement variables and their sorts.
+/// A list of refinement variables and their sorts.
 #[derive(PartialEq, Eq)]
 pub(crate) struct Scope {
     bindings: IndexVec<Name, Sort>,