Add frule and rrule for jl_has_free_typevars (#872)

* Add frule and rrule for `jl_has_free_typevars`

* use `@zero_derivative`

* version bump

Author: sunxd3

Project.toml

@@ -1,7 +1,7 @@
 name = "Mooncake"
 uuid = "da2b9cff-9c12-43a0-ae48-6db2b0edb7d6"
 authors = ["Will Tebbutt, Hong Ge, and contributors"]
-version = "0.4.181"
+version = "0.4.182"
 
 [deps]
 ADTypes = "47edcb42-4c32-4615-8424-f2b9edc5f35b"

src/rrules/foreigncall.jl

@@ -254,6 +254,8 @@ function rrule!!(
     return zero_fcodual(y), NoPullback(ntuple(_ -> NoRData(), 8))
 end
 
+@zero_derivative MinimalCtx Tuple{typeof(Base.has_free_typevars),Any}
+
 @is_primitive MinimalCtx Tuple{typeof(deepcopy),Any}
 frule!!(::Dual{typeof(deepcopy)}, x::Dual) = Dual(deepcopy(primal(x)), deepcopy(tangent(x)))
 function rrule!!(::CoDual{typeof(deepcopy)}, x::CoDual)
@@ -449,6 +451,8 @@ function derived_rule_test_cases(rng_ctor, ::Val{:foreigncall})
             TypeVar(:a),
             Real,
         ),
+        (false, :none, nothing, Base.has_free_typevars, Float64),
+        (false, :none, nothing, Base.has_free_typevars, Vector{Float64}),
         (
             true,
             :none,