diff options
Diffstat (limited to 'tests/misc/tgenconstraints.nim')
-rw-r--r-- | tests/misc/tgenconstraints.nim | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/tests/misc/tgenconstraints.nim b/tests/misc/tgenconstraints.nim deleted file mode 100644 index 6e8fdc738..000000000 --- a/tests/misc/tgenconstraints.nim +++ /dev/null @@ -1,32 +0,0 @@ -discard """ - file: "tgenconstraints.nim" - line: 25 - disabled: true - errormsg: "cannot instantiate T2" -""" - -type - T1[T: int|string] = object - x: T - - T2[T: Ordinal] = object - x: T - -var x1: T1[int] -var x2: T1[string] -var x3: T2[int] - -proc foo[T](x: T): T2[T] {.discardable.} = - var o: T1[T] - -foo(10) - -# XXX: allow type intersections in situation like this -proc bar(x: int|TNumber): T1[type(x)] {.discardable.} = - when type(x) is TNumber: - var o: T2[type(x)] - -bar "test" -bar 100 -bar 1.1 - |