I assume those save language would still fail to defend against spectre. The problem is that the „code path with data“ executed in a speculative branch is not c

I assume those save language would still fail to defend against spectre. The problem is that the „code path with data“ executed in a speculative branch is not considered by the compiler but „fantasized“ by the cpu. Remember that Spectre can be exploited through JavaScript JIT. The JS sandbox is quite comparable to the models used for save languages.