Add missing ?Sized bounds for HasInterner impls

Veykril · Veykril · commit aec5a0b64f5b · 2024-04-06T13:31:02.000+02:00
diff --git a/chalk-ir/src/interner.rs b/chalk-ir/src/interner.rs
@@ -662,11 +662,11 @@ impl<T: HasInterner> HasInterner for Vec<T> {
     type Interner = T::Interner;
 }
 
-impl<T: HasInterner> HasInterner for Box<T> {
+impl<T: HasInterner + ?Sized> HasInterner for Box<T> {
     type Interner = T::Interner;
 }
 
-impl<T: HasInterner> HasInterner for Arc<T> {
+impl<T: HasInterner + ?Sized> HasInterner for Arc<T> {
     type Interner = T::Interner;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -662,11 +662,11 @@ impl<T: HasInterner> HasInterner for Vec<T> {`
`662`	`662`	`type Interner = T::Interner;`
`663`	`663`	`}`
`664`	`664`
`665`		`-impl<T: HasInterner> HasInterner for Box<T> {`
	`665`	`+impl<T: HasInterner + ?Sized> HasInterner for Box<T> {`
`666`	`666`	`type Interner = T::Interner;`
`667`	`667`	`}`
`668`	`668`
`669`		`-impl<T: HasInterner> HasInterner for Arc<T> {`
	`669`	`+impl<T: HasInterner + ?Sized> HasInterner for Arc<T> {`
`670`	`670`	`type Interner = T::Interner;`
`671`	`671`	`}`
`672`	`672`