Skip to content

Commit bd60475

Browse files
committed
try_fold_unevaluated for infallible folders
rust-lang#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
1 parent 1d60108 commit bd60475

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)