In fact, when I sailed on Carnival Magic in 2022, I was surprised to find a completely separate non-smoking casino. Not only was it a different space, but it was on an entirely different deck.