Typing Race Bug Example