Split reverse mode for mutating functions is full of traps

[Guillaume Dalle]

The only backends concerned by this are AutoEnzyme(Enzyme.ReverseModeSplit) and AutoTapir.

For mutating functions, it is dangerous to interrupt reverse mode autodiff after the forward sweep. The variables are in an intermediate state which will only be reverted after the reverse sweep completes.

In particular, Tapir requires running another forward sweep between reverse sweep, so a pullback closure would be useless.

I'm not sure how split reverse Enzyme works, will have to investigate.

Related:

• compintell/Tapir.jl#113
• https://discourse.julialang.org/t/what-are-autodiff-deferred-and-autodiff-thunk-for-in-enzyme/112065/20?u=gdalle