> some traps will be included in optimised code to capture the cases where types may not be as expected none of that should matter. if the resulting JIT'd code

> some traps will be included in optimised code to capture the cases where types may not be as expected none of that should matter. if the resulting JIT'd code is faster with the traps than the plain js without them, so be it.