There is no x==x in example 4.3. This is like structured binding where x binds to the first element of the tuple.