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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
type
BigInt[bits: static int] = object
limbs: array[8, uint64]
block:
proc view[N](a: array[N, uint64]) =
discard
proc view[N](a: var array[N, uint64]) =
discard
var r: BigInt[64]
r.limbs.view()
type Limbs[N: static int] = array[N, uint64]
block:
proc view(a: Limbs) =
discard
proc view(a: var Limbs) =
discard
var r: BigInt[64]
r.limbs.view()
block:
type IntArray[N: static[int]] = array[N, int]
proc p[T](a: IntArray[T]): bool= true
proc p(a: IntArray[5]): bool= false
var s: IntArray[5]
doAssert s.p == false
block:
type IntArray[N: static[int]] = array[N, int]
proc `$`(a: IntArray): string =
return "test"
var s: IntArray[5] = [1,1,1,1,1]
doAssert `$`(s) == "test"
block:
proc p[n:static[int]](a: array[n, char]):bool=true
proc p[T, IDX](a: array[IDX, T]):bool=false
var g: array[32, char]
doAssert p(g)
block: # issue #23823
func p[N,T](a, b: array[N,T]) =
discard
func p[N: static int; T](x, y: array[N, T]) =
discard
var a: array[5, int]
p(a,a)
|