[3836293648]

Have you considered that the whole destructors with multiple arguments thing is more elegantly done with just making the zero argument destructor private and having a wrapper function in the proper module as the only way of accessing it.

Based more on the linked podcast than the current article

[verdagon]

You're exactly right, and that's kind of what Vale's `destruct` is, if you squint.