# in keyword type narrowing