Skip to content

Commit 377c9a5

Browse files
committed
Add a fixme to add mir validator checks for tail calls
1 parent ec93909 commit 377c9a5

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

compiler/rustc_const_eval/src/transform/validate.rs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1307,6 +1307,10 @@ impl<'a, 'tcx> Visitor<'tcx> for TypeChecker<'a, 'tcx> {
13071307
),
13081308
),
13091309
}
1310+
1311+
if let TerminatorKind::TailCall { .. } = terminator.kind {
1312+
// FIXME(explicit_tail_calls): implement tail-call specific checks here (such as signature matching, forbidding closures, etc)
1313+
}
13101314
}
13111315
TerminatorKind::Assert { cond, .. } => {
13121316
let cond_ty = cond.ty(&self.body.local_decls, self.tcx);

0 commit comments

Comments
 (0)