original.name="Switch_Valid_4"
======
>>> main.whiley
final RGB Red = 1
final RGB Blue = 2
final RGB Green = 3

type RGB is (int x) where x == Red || x == Blue || x == Green

function f(RGB c) -> int:
    switch c:
        case Red:
            return 123
        case main::Blue:
            return 234
        default:
            return 456

public export method test() :
    assume f(Red) == 123
    assume f(Green) == 456
    assume f(Blue) == 234

---