I'm interested in that! It helps w/ part of my motivation for making

interpreter_constraints

opt-in: imo, it's too easy for every day developers to accidentally use a feature they shouldn't be (To be clear, I do still want it to be easy to use when you know that's what you want, i.e. the migration discussion yesterday. Only make it something more intentional, but still ergonomic)