It's not safe to assert this because it returns false if the user is holding Option.