On the other hand, most of the dynamic checks (type assertion barriers) will be there anyway as the JIT-generated code needs them (for type-specialized traces).

Static type inference may even allow for doing away with some, if it's possible to statically prove types are fully known at compile time for a code section.