1 2 3 4 5 6 7
type Enumeration = (one, two, three) proc f(): Enumeration return Enumeration.four (* @Error Enumeration 'Enumeration' does not have a member named 'four' *) end.