Added explicit test cases for this condition (which won't actually test it until the above check in type_map_union is enabled, but then they will). compiler/switch.twobinds to test a valid one (same type), and semantic/dupvarcase2 to test an invalid one (different types).
Added explicit test cases for this condition (which won't actually test it until the above check in type_map_union is enabled, but then they will). compiler/ switch. twobinds to test a valid one (same type), and semantic/ dupvarcase2 to test an invalid one (different types).