Skip to content

Commit 51a6091

Browse files
authored
Rollup merge of #98306 - eggyal:add-unevaluated-to-blanket-fallibletypefolder, r=nnethercote
`try_fold_unevaluated` for infallible folders #97447 added folding of unevaluated constants, but did not include an override of the default (fallible) operation in the blanket impl of `FallibleTypeFolder` for infallible folders. Here we provide that missing override. r? ```@nnethercote```
2 parents b1d2e5c + bd60475 commit 51a6091

File tree

1 file changed

+7
-0
lines changed
  • compiler/rustc_middle/src/ty

1 file changed

+7
-0
lines changed

compiler/rustc_middle/src/ty/fold.rs

+7
Original file line numberDiff line numberDiff line change
@@ -371,6 +371,13 @@ where
371371
Ok(self.fold_const(c))
372372
}
373373

374+
fn try_fold_unevaluated(
375+
&mut self,
376+
c: ty::Unevaluated<'tcx>,
377+
) -> Result<ty::Unevaluated<'tcx>, Self::Error> {
378+
Ok(self.fold_unevaluated(c))
379+
}
380+
374381
fn try_fold_predicate(
375382
&mut self,
376383
p: ty::Predicate<'tcx>,

0 commit comments

Comments
 (0)