narrowing is else clause of if/switch expressions