Certainly if the change is simple and the overhead is small then its a more attractive change.
No, unfortunately, that change would be more complex, although its runtime overhead would be smaller.
Given the lack of interest in this issue, it does seem that brittle or complex solutions are not worth it. And I don’t have a robust and simple solution. So I’m withdrawing this PR for now.
I will still be running with this change, so in case anybody’s interested, you can find it on my master.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.