Skip to content

Commit 0f0ed7f

Browse files
committed
Fix TODO
1 parent 5a92236 commit 0f0ed7f

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/librustc_mir/interpret/eval_context.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -349,7 +349,7 @@ impl<'infcx, 'mir, 'tcx, M: Machine<'mir, 'tcx>> InterpCx<'infcx, 'mir, 'tcx, M>
349349
let substituted = value.subst(*self.tcx, self.frame().instance.substs);
350350
let erased_value = self.tcx.erase_regions(&substituted);
351351

352-
// TODO handle normalization failure and obligations
352+
// FIXME(skinny121) Can this fail or have obligations, as it has already been type checked?
353353
let normalized_value = self
354354
.infcx
355355
.at(&ObligationCause::dummy(), self.param_env)

0 commit comments

Comments
 (0)