blob: 20bc810e0b75c7099a15cc9a992605b5ac93ecd7 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
discard """
errormsg: "field access outside of valid case branch: x.x"
line: 45
"""
{.experimental: "strictCaseObjects".}
type
NodeKind = enum
nkParent,
nkChild
Node {.acyclic.} = ref object
case kind: NodeKind
of nkParent:
children: seq[Node]
of nkChild:
name: string
let list = @[Node(kind: nkParent, children: @[]), Node(kind: nkChild, name: "hello")]
for node in list:
case node.kind
of nkChild:
echo $node.name # here this time there is a warning
else: discard
type
Foo = object
case b: bool
of false:
s: string
of true:
x: int
var x = Foo(b: true, x: 4)
case x.b
of true:
echo x.x
of false:
echo "no"
case x.b
of false:
echo x.x
of true:
echo "no"
|