> I don't understand how this is supposed to be "quickly" verifiable? You don’t verify, and instead you run assuming no verification is needed. Then if someone

> I don't understand how this is supposed to be "quickly" verifiable? You don’t verify, and instead you run assuming no verification is needed. Then if someone wants to violate that assumption, it’s their problem to stop everyone who may have made that assumption, and to ask them to not make it going forward. You shift the cost to the person who’s doing the metaprogramming and keep it free for everyone who isn’t. https://chrisseaton.com/truffleruby/deoptimizing/ https://chrisseaton.com/truffleruby/deoptimizing/