# in operator narrowing