tests/init/toutparam_subtype.nim



0d23419e6 ^


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24


discard """
cmd: "nim check $file"
action: "compile"
errormsg: "type mismatch: got <Subclass[system.int]>"
line: 21
"""

{.experimental: "strictDefs".}

type
  Superclass[T] = object of RootObj
    a: T
  Subclass[T] = object of Superclass[T]
    s: string

proc init[T](x: out Superclass[T]) =
  x = Superclass(a: 8)

proc subtypeCheck =
  var v: Subclass[int]
  init(v)
  echo v.s # the 's' field was never initialized!

subtypeCheck()