It almost sounds like optimistic branch prediction when you put it that way

ah ok, so more like an async type checking