Similar to https://github.com/SciML/LinearSolve.jl/blob/main/ext/LinearSolveEnzymeExt.jl, NonlinearSolveBase.jl should add EnzymeRules overloads over the nonlinear solver for the implicit adjoint.