File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -71,7 +71,7 @@ pub trait TypeFolder<'tcx> : Sized {
71
71
fn exit_region_binder ( & mut self ) { }
72
72
73
73
fn fold_binder < T > ( & mut self , t : & ty:: Binder < T > ) -> ty:: Binder < T >
74
- where T : TypeFoldable < ' tcx > + Repr < ' tcx >
74
+ where T : TypeFoldable < ' tcx > + Repr < ' tcx > + Clone
75
75
{
76
76
// FIXME(#20526) this should replace `enter_region_binder`/`exit_region_binder`.
77
77
super_fold_binder ( self , t)
@@ -186,7 +186,7 @@ impl<'tcx, T: TypeFoldable<'tcx>> TypeFoldable<'tcx> for Vec<T> {
186
186
}
187
187
}
188
188
189
- impl < ' tcx , T : TypeFoldable < ' tcx > +Repr < ' tcx > > TypeFoldable < ' tcx > for ty:: Binder < T > {
189
+ impl < ' tcx , T : TypeFoldable < ' tcx > +Repr < ' tcx > + Clone > TypeFoldable < ' tcx > for ty:: Binder < T > {
190
190
fn fold_with < F : TypeFolder < ' tcx > > ( & self , folder : & mut F ) -> ty:: Binder < T > {
191
191
folder. fold_binder ( self )
192
192
}
You can’t perform that action at this time.
0 commit comments