luajit

LuaJIT proposal exposes a guard-elision primitive

LuaJIT's proposed relaxed type checking elides JIT trace guards, creating a type-confusion primitive reachable wherever embedded Lua handles untrusted input.