Revert

Author: odow

src/Utilities/model.jl

@@ -303,10 +303,10 @@ function MOI.is_valid(model::AbstractModel, ci::MOI.ConstraintIndex)
 end
 
 function MOI.supports_constraint(
-    @nospecialize(model::AbstractModel),
-    @nospecialize(F::Type{<:MOI.AbstractFunction}),
-    @nospecialize(S::Type{<:MOI.AbstractSet}),
-)
+    model::AbstractModel,
+    ::Type{F},
+    ::Type{S},
+) where {F<:MOI.AbstractFunction,S<:MOI.AbstractSet}
     return MOI.supports_constraint(model.constraints, F, S)
 end
 

src/constraints.jl

@@ -18,9 +18,9 @@ supported in specific circumstances, for example, `F`-in-`S` constraints cannot
 combined with another type of constraint, it should still return `true`.
 """
 function supports_constraint(
-    @nospecialize(::ModelLike),
-    @nospecialize(F::Type{<:AbstractFunction}),
-    @nospecialize(S::Type{<:AbstractSet}),
+    ::ModelLike,
+    F::Type{<:AbstractFunction},
+    S::Type{<:AbstractSet},
 )
     return false
 end