Add a fixme to add mir validator checks for tail calls

WaffleLapkin · WaffleLapkin · commit 3937e47ca1db · 2023-07-17T17:41:25.000Z
diff --git a/compiler/rustc_const_eval/src/transform/validate.rs b/compiler/rustc_const_eval/src/transform/validate.rs
@@ -1011,6 +1011,10 @@ impl<'a, 'tcx> Visitor<'tcx> for TypeChecker<'a, 'tcx> {
                         ),
                     );
                 }
+
+                if let TerminatorKind::TailCall { .. } = terminator.kind {
+                    // FIXME(explicit_tail_calls): implement tail-call specific checks here (such as signature matching, forbidding closures, etc)
+                }
             }
             TerminatorKind::Assert { cond, target, unwind, .. } => {
                 let cond_ty = cond.ty(&self.body.local_decls, self.tcx);

Original file line number	Diff line number	Diff line change
`@@ -1011,6 +1011,10 @@ impl<'a, 'tcx> Visitor<'tcx> for TypeChecker<'a, 'tcx> {`
`1011`	`1011`	`),`
`1012`	`1012`	`);`
`1013`	`1013`	`}`
	`1014`	`+`
	`1015`	`+ if let TerminatorKind::TailCall { .. } = terminator.kind {`
	`1016`	`+ // FIXME(explicit_tail_calls): implement tail-call specific checks here (such as signature matching, forbidding closures, etc)`
	`1017`	`+ }`
`1014`	`1018`	`}`
`1015`	`1019`	`TerminatorKind::Assert { cond, target, unwind, .. } => {`
`1016`	`1020`	`let cond_ty = cond.ty(&self.body.local_decls, self.tcx);`