True, an implementation could choose to allow this. But in is a bit questionable to say they do in practice, because most will miscompile your code in this case

True, an implementation could choose to allow this. But in is a bit questionable to say they do in practice, because most will miscompile your code in this case in various circumstances.