More tests for type inference in switch statement with typeof expression