From 68648b81704ac6d530031525991fc08c00ccafec Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=C3=A3o=20Gouveia?= <joaotalonegouveia@tecnico.ulisboa.pt>
Date: Mon, 22 Jun 2026 17:13:27 +0000
Subject: [PATCH] Ensure CheckTemplateArgumentList is always called with a
 non-empty CodeSynthesisContext

---
 cpp2rust/cpp_rule_preprocessor.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cpp2rust/cpp_rule_preprocessor.cpp b/cpp2rust/cpp_rule_preprocessor.cpp
index 51e10c48..48185130 100644
--- a/cpp2rust/cpp_rule_preprocessor.cpp
+++ b/cpp2rust/cpp_rule_preprocessor.cpp
@@ -270,6 +270,7 @@ class Callback : public clang::ast_matchers::MatchFinder::MatchCallback {
 
         clang::DefaultArguments defaultArgs;
         clang::Sema::CheckTemplateArgumentInfo ctai;
+        clang::Sema::InstantiatingTemplate Inst(*sema_, loc_, decl);
         auto invalid = sema_->CheckTemplateArgumentList(
             decl, decl->getTemplateParameters(), loc_, targsInfo, defaultArgs,
             true, ctai);