Update type_as_switch.cpp