From dffa351dc74509818ff81466578ee937407ace14 Mon Sep 17 00:00:00 2001
From: Tim Holy <tim.holy@gmail.com>
Date: Sun, 22 Feb 2026 17:18:34 -0600
Subject: [PATCH] Force inference of a type argument

---
 src/krylov_utils.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/krylov_utils.jl b/src/krylov_utils.jl
index e4c505c32..ae0d09e70 100644
--- a/src/krylov_utils.jl
+++ b/src/krylov_utils.jl
@@ -278,7 +278,7 @@ function matrix_to_vector(::Type{M}) where M <: DenseMatrix
   return S
 end
 
-function allocate_if(bool, workspace, v, S, u)
+function allocate_if(bool, workspace, v, ::Type{S}, u) where S
   start_allocation_time = time_ns()
   if bool && isempty(workspace.:($v)::S)
     workspace.:($v)::S = similar(u)