diff --git a/src/ir.cpp b/src/ir.cpp
index a12bd054a7a5218b99d5f57dcc4530314fff87e8..96ade9d392711290fdb7d2d87468d38961ed9d38 100644
--- a/src/ir.cpp
+++ b/src/ir.cpp
@@ -13092,6 +13092,7 @@ static TypeTableEntry *ir_analyze_fn_call(IrAnalyze *ira, IrInstructionCall *cal
             impl_fn->ir_executable.parent_exec = ira->new_irb.exec;
             impl_fn->analyzed_executable.source_node = call_instruction->base.source_node;
             impl_fn->analyzed_executable.parent_exec = ira->new_irb.exec;
+            impl_fn->analyzed_executable.backward_branch_quota = ira->new_irb.exec->backward_branch_quota;
             impl_fn->analyzed_executable.is_generic_instantiation = true;
 
             ira->codegen->fn_defs.append(impl_fn);
diff --git a/test/cases/eval.zig b/test/cases/eval.zig
index 83d2e801766fe8749d2b2f1e6b19d03adb52af7d..9da475994df79d00bbf19a064892458d613c1fe4 100644
--- a/test/cases/eval.zig
+++ b/test/cases/eval.zig
@@ -642,3 +642,13 @@ test "@tagName of @typeId" {
     const str = @tagName(@typeId(u8));
     assert(std.mem.eql(u8, str, "Int"));
 }
+
+test "setting backward branch quota just before a generic fn call" {
+    @setEvalBranchQuota(1001);
+    loopNTimes(1001);
+}
+
+fn loopNTimes(comptime n: usize) void {
+    comptime var i = 0;
+    inline while (i < n) : (i += 1) {}
+}