switch_type_spec

switch_type_spec 
      ::= integer_type 
      | char_type 
      | boolean_type 
      | enum_type 
      | scoped_name 

This rule is called by

-> union_type