TypeSwap operator passes first test.