File tree Expand file tree Collapse file tree 1 file changed +9
-5
lines changed
compiler/rustc_trait_selection/src/solve Expand file tree Collapse file tree 1 file changed +9
-5
lines changed Original file line number Diff line number Diff line change @@ -218,14 +218,18 @@ impl<'tcx> assembly::GoalKind<'tcx> for TraitPredicate<'tcx> {
218
218
goal_kind : ty:: ClosureKind ,
219
219
) -> QueryResult < ' tcx > {
220
220
let tcx = ecx. tcx ( ) ;
221
- let Some ( tupled_inputs_and_output) =
222
- structural_traits:: extract_tupled_inputs_and_output_from_callable (
221
+ let tupled_inputs_and_output =
222
+ match structural_traits:: extract_tupled_inputs_and_output_from_callable (
223
223
tcx,
224
224
goal. predicate . self_ty ( ) ,
225
225
goal_kind,
226
- ) ? else {
227
- return ecx. evaluate_added_goals_and_make_canonical_response ( Certainty :: AMBIGUOUS ) ;
228
- } ;
226
+ ) ? {
227
+ Some ( a) => a,
228
+ None => {
229
+ return ecx
230
+ . evaluate_added_goals_and_make_canonical_response ( Certainty :: AMBIGUOUS ) ;
231
+ }
232
+ } ;
229
233
let output_is_sized_pred = tupled_inputs_and_output
230
234
. map_bound ( |( _, output) | tcx. at ( DUMMY_SP ) . mk_trait_ref ( LangItem :: Sized , [ output] ) ) ;
231
235
You can’t perform that action at this time.
0 commit comments