From fe6d2f02a33866f9c57d41e79b6b2ffa213b4141 Mon Sep 17 00:00:00 2001
From: Brian Chen <ToucheSir@users.noreply.github.com>
Date: Sun, 7 Jan 2024 21:55:01 -0800
Subject: [PATCH] Add rule for `push!(::IdSet)`

This is required on 1.11 because the underlying implementation has changed.
---
 src/lib/base.jl | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/src/lib/base.jl b/src/lib/base.jl
index c0efa83cf..4ee5947a5 100644
--- a/src/lib/base.jl
+++ b/src/lib/base.jl
@@ -17,6 +17,19 @@ end
   end
 end
 
+# IdSet (needed for nested AD with implicit params)
+
+grad_mut(::IdSet) = IdSet()
+
+function _pullback(cx::AContext, ::typeof(push!), s::IdSet, @nospecialize(x))
+  res = push!(s, x)
+  function idset_push!_pullback(_)
+    Δ = pop!(grad_mut(cx, s), x, nothing)
+    (nothing, Δ, nothing)
+  end
+  return res, idset_push!_pullback
+end
+
 # Dictionaries
 
 grad_mut(d::AbstractDict) = Dict()