tests/generics/tmapping_generic_alias.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
27
28

discard """
output: '''type(c) = GenAlias[system.int]
T = int
seq[int]
'''
"""

import typetraits

type
  Gen[T] = object
    x: T

  GenAlias[T] = Gen[seq[T]]

proc f1[T](x: Gen[T]) =
  echo T.name

proc f2[T](x: GenAlias[T]) =
  echo "type(c) = ", type(x).name
  echo "T = ", T.name
  f1 x

let
  y = Gen[seq[int]](x: @[10])

f2 y