Constrain Interners to be Sized

This commit is contained in:
Alan Egerton 2023-02-09 19:16:38 +00:00
parent 38c522c693
commit 0b7dda9afd
No known key found for this signature in database
GPG Key ID: 7D4C2F6C22122532

View File

@ -28,7 +28,7 @@
/// Needed so we can use #[derive(HashStable_Generic)] /// Needed so we can use #[derive(HashStable_Generic)]
pub trait HashStableContext {} pub trait HashStableContext {}
pub trait Interner { pub trait Interner: Sized {
type AdtDef: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord; type AdtDef: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
type SubstsRef: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord; type SubstsRef: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
type DefId: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord; type DefId: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;