From 02d3b49ee3e360d2237a3abc0d176543c333ebef Mon Sep 17 00:00:00 2001
From: Cody Tapscott <topolarity@tapscott.me>
Date: Thu, 5 Jun 2025 19:04:05 -0400
Subject: [PATCH 1/2] Add `Core.has_free_typevars` rule

This is needed for closure support in 1.12 due to
https://github.com/JuliaLang/julia/pull/40985
---
 src/rulesets/Core/core.jl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/rulesets/Core/core.jl b/src/rulesets/Core/core.jl
index e9a2fb512..725097151 100644
--- a/src/rulesets/Core/core.jl
+++ b/src/rulesets/Core/core.jl
@@ -13,6 +13,9 @@
 if isdefined(Core, :_typevar)
     @non_differentiable Core._typevar(::Any...)
 end
+if isdefined(Core, :has_free_typevars)
+    @non_differentiable Core.has_free_typevars(::Any)
+end
 @non_differentiable TypeVar(::Any...)
 @non_differentiable UnionAll(::Any, ::Any)
 

From 5441b99fd481dd47bb3ee434d6265d0771fbde9b Mon Sep 17 00:00:00 2001
From: Michael Abbott <32575566+mcabbott@users.noreply.github.com>
Date: Fri, 13 Jun 2025 12:29:12 -0400
Subject: [PATCH 2/2] v 1.72.5

---
 Project.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Project.toml b/Project.toml
index 9f1272809..192427634 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,6 +1,6 @@
 name = "ChainRules"
 uuid = "082447d4-558c-5d27-93f4-14fc19e9eca2"
-version = "1.72.4"
+version = "1.72.5"
 
 [deps]
 Adapt = "79e6a3ab-5dfb-504d-930d-738a2a938a0e"