I don’t know much about compiler internals, but this sounds like it could complicate a lot of things and not have as many guarantees that the compiler could ass

I don’t know much about compiler internals, but this sounds like it could complicate a lot of things and not have as many guarantees that the compiler could assume (thus since JS interprets code it could slow down runtime performance). I don’t know though maybe someone more in the compiler space could answer.