Fix use of @nospecialize with default arguments (#3464)

jump-dev · Aug 29, 2023 · a061d91 · a061d91
1 parent b4f0874
commit a061d91
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/JuMP.jl b/src/JuMP.jl
@@ -172,7 +172,7 @@ GenericModel{BigFloat}
 ```
 """
 function GenericModel{T}(
-    (@nospecialize optimizer_factory) = nothing;
+    @nospecialize(optimizer_factory = nothing);
     add_bridges::Bool = true,
 ) where {T<:Real}
     inner = MOI.Utilities.UniversalFallback(MOI.Utilities.Model{T}())

diff --git a/src/optimizer_interface.jl b/src/optimizer_interface.jl
@@ -357,7 +357,7 @@ julia> set_optimizer(model, HiGHS.Optimizer; add_bridges = false)
 """
 function set_optimizer(
     model::GenericModel{T},
-    (@nospecialize optimizer_constructor);
+    @nospecialize(optimizer_constructor);
     add_bridges::Bool = true,
 ) where {T}
     error_if_direct_mode(model, :set_optimizer)