tests/generics/tgenericrefs.nim


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

type 
  PA[T] = ref TA[T]
  TA[T] = object
    field: T
var a: PA[string]
new(a)
a.field = "some string"

when false:
  # Compiles unless you use var a: PA[string]
  type 
    PA = ref TA
    TA[T] = object


  # Cannot instantiate:
  type 
    TA[T] = object
      a: PA[T]
    PA[T] = ref TA[T]

  type 
    PA[T] = ref TA[T]
    TA[T] = object