Skip to content

Commit a1fc11f

Browse files
committed
Use indexmap in specializationpriority
1 parent 9af9c0a commit a1fc11f

File tree

1 file changed

+2
-3
lines changed

1 file changed

+2
-3
lines changed

chalk-solve/src/coherence.rs

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,6 @@ use crate::solve::Solver;
44
use crate::RustIrDatabase;
55
use chalk_ir::interner::Interner;
66
use chalk_ir::{self, ImplId, TraitId};
7-
use std::collections::BTreeMap;
87
use std::fmt;
98
use std::sync::Arc;
109

@@ -42,13 +41,13 @@ impl<I: Interner> std::error::Error for CoherenceError<I> {}
4241
/// This basically encodes which impls specialize one another.
4342
#[derive(Clone, Debug, Default, PartialEq, Eq)]
4443
pub struct SpecializationPriorities<I: Interner> {
45-
map: BTreeMap<ImplId<I>, SpecializationPriority>,
44+
map: indexmap::IndexMap<ImplId<I>, SpecializationPriority>,
4645
}
4746

4847
impl<I: Interner> SpecializationPriorities<I> {
4948
pub fn new() -> Self {
5049
Self {
51-
map: BTreeMap::new(),
50+
map: indexmap::IndexMap::new(),
5251
}
5352
}
5453

0 commit comments

Comments
 (0)