We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Ord
chalk_ir::interner::Interner::DefId
1 parent 977b0a5 commit 664d12dCopy full SHA for 664d12d
chalk-ir/src/interner.rs
@@ -188,7 +188,7 @@ pub trait Interner: Debug + Copy + Eq + Ord + Hash + Sized {
188
type InternedVariances: Debug + Clone + Eq + Hash;
189
190
/// The core "id" type used for trait-ids and the like.
191
- type DefId: Debug + Copy + Eq + Ord + Hash;
+ type DefId: Debug + Copy + Eq + Hash;
192
193
/// The ID type for ADTs
194
type InternedAdtId: Debug + Copy + Eq + Ord + Hash;
0 commit comments