File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -200,7 +200,7 @@ impl LowerWithEnv for QuantifiedWhereClause {
200
200
/// `Implemented(T: Foo)` and `ProjectionEq(<T as Foo>::Item = U)`.
201
201
fn lower ( & self , env : & Env ) -> LowerResult < Self :: Lowered > {
202
202
let variable_kinds = self . variable_kinds . iter ( ) . map ( |k| k. lower ( ) ) ;
203
- let binders = env. in_binders ( variable_kinds, |env| Ok ( self . where_clause . lower ( env) ? ) ) ?;
203
+ let binders = env. in_binders ( variable_kinds, |env| self . where_clause . lower ( env) ) ?;
204
204
Ok ( binders. into_iter ( ) . collect ( ) )
205
205
}
206
206
}
@@ -785,7 +785,7 @@ impl LowerWithEnv for Ty {
785
785
types. len ( ) ,
786
786
chalk_ir:: Substitution :: from_fallible (
787
787
interner,
788
- types. iter ( ) . map ( |t| Ok ( t. lower ( env) ? ) ) ,
788
+ types. iter ( ) . map ( |t| t. lower ( env) ) ,
789
789
) ?,
790
790
)
791
791
. intern ( interner) ,
Original file line number Diff line number Diff line change @@ -260,7 +260,7 @@ fn process(
260
260
fn load_program ( args : & Args , filename : & str ) -> Result < LoadedProgram > {
261
261
let mut text = String :: new ( ) ;
262
262
File :: open ( filename) ?. read_to_string ( & mut text) ?;
263
- Ok ( LoadedProgram :: new ( text, args. solver_choice ( ) ) ? )
263
+ LoadedProgram :: new ( text, args. solver_choice ( ) )
264
264
}
265
265
266
266
/// Print out help for commands in interpreter mode.
You can’t perform that action at this time.
0 commit comments