@@ -93,7 +93,7 @@ impl<I: Interner> Fold<I> for Substitution<I> {
93
93
. iter ( interner)
94
94
. cloned ( )
95
95
. map ( |p| p. fold_with ( folder, outer_binder) ) ;
96
- Ok ( Substitution :: from_fallible ( interner, folded) ? )
96
+ Substitution :: from_fallible ( interner, folded)
97
97
}
98
98
}
99
99
@@ -109,7 +109,7 @@ impl<I: Interner> Fold<I> for Goals<I> {
109
109
. iter ( interner)
110
110
. cloned ( )
111
111
. map ( |p| p. fold_with ( folder, outer_binder) ) ;
112
- Ok ( Goals :: from_fallible ( interner, folded) ? )
112
+ Goals :: from_fallible ( interner, folded)
113
113
}
114
114
}
115
115
@@ -125,7 +125,7 @@ impl<I: Interner> Fold<I> for ProgramClauses<I> {
125
125
. iter ( interner)
126
126
. cloned ( )
127
127
. map ( |p| p. fold_with ( folder, outer_binder) ) ;
128
- Ok ( ProgramClauses :: from_fallible ( interner, folded) ? )
128
+ ProgramClauses :: from_fallible ( interner, folded)
129
129
}
130
130
}
131
131
@@ -141,7 +141,7 @@ impl<I: Interner> Fold<I> for QuantifiedWhereClauses<I> {
141
141
. iter ( interner)
142
142
. cloned ( )
143
143
. map ( |p| p. fold_with ( folder, outer_binder) ) ;
144
- Ok ( QuantifiedWhereClauses :: from_fallible ( interner, folded) ? )
144
+ QuantifiedWhereClauses :: from_fallible ( interner, folded)
145
145
}
146
146
}
147
147
@@ -157,7 +157,7 @@ impl<I: Interner> Fold<I> for Constraints<I> {
157
157
. iter ( interner)
158
158
. cloned ( )
159
159
. map ( |p| p. fold_with ( folder, outer_binder) ) ;
160
- Ok ( Constraints :: from_fallible ( interner, folded) ? )
160
+ Constraints :: from_fallible ( interner, folded)
161
161
}
162
162
}
163
163
0 commit comments