Nim/tests/ccgbugs/twrong_discriminant_check.nim
2015-10-06 15:51:00 +02:00

30 lines
405 B
Nim

discard """
output: "(kind: None)"
"""
when true:
# bug #2637
type
OptionKind = enum
None,
Some
Option*[T] = object
case kind: OptionKind
of None:
discard
of Some:
value*: T
proc none*[T](): Option[T] =
Option[T](kind: None)
proc none*(T: typedesc): Option[T] = none[T]()
proc test(): Option[int] =
int.none
echo test()