Skip to content

Commit ca63783

Browse files
committed
Rm Ord rom Internedadtid
1 parent 2cd7416 commit ca63783

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

chalk-ir/src/interner.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -191,7 +191,7 @@ pub trait Interner: Debug + Copy + Eq + Hash + Sized {
191191
type DefId: Debug + Copy + Eq + Hash;
192192

193193
/// The ID type for ADTs
194-
type InternedAdtId: Debug + Copy + Eq + Ord + Hash;
194+
type InternedAdtId: Debug + Copy + Eq + Hash;
195195

196196
/// Representation of identifiers.
197197
type Identifier: Debug + Clone + Eq + Hash;

0 commit comments

Comments
 (0)