mirrors/Nim
1
0
Fork 0
mirror of https://github.com/nim-lang/Nim.git synced 2026-04-18 13:30:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

closes #22600; adds a test case (#22602)

Browse Source 
closes #22600
This commit is contained in:
ringabout
2023-08-31 22:30:19 +08:00
committed by GitHub
parent 5bd1afc3f9
commit 5387b30211
1 changed files with 25 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
tests/statictypes/tstatictypes.nim
View File

@@ -411,3 +411,28 @@ block: # Ensure static descriminated objects compile
discard instance
discard MyObject[KindC]()
block: # bug #22600
proc f(n: static int): int = n * 2 # same for template
type
a[N: static int] = object
field : array[N, uint8]
b[N: static int] = object
field : a[N]
c[N: static int] = object
f0 : a[N ] # works
f1 : a[N + 1 ] # asserts
f2 : a[f(N) ] # asserts
f3 : b[N ] # works
f4 : b[N + 1 ] # asserts
f5 : b[f(N) ] # asserts
proc init[N: static int](x : var a[N]) = discard
proc init[N: static int](x : var b[N]) = discard
proc init[N: static int](x : var c[N]) = x.f1.init() # this is needed
var x: c[2]
x.init()