48a62af3b ^
e80465dac ^
0926754e6 ^
69e15ac32 ^
1 2 3 4 5 6 7 8 9 10
11
12
13
14
15
16 17 18 19
discard """ line: 18 errormsg: "type mismatch" """ type TObj = object {.pure, inheritable.} TObjB = object of TObj a, b, c: string fn: proc (): int {.tags: [].} EIO2 = ref object of EIO proc raiser(): int {.tags: [TObj, WriteIoEffect].} = writeLine stdout, "arg" var o: TObjB o.fn = raiser