From 03b0374e5cec82146ead8468db0826c287378a13 Mon Sep 17 00:00:00 2001 From: Clyybber Date: Tue, 14 Jul 2020 18:36:06 +0200 Subject: [PATCH] Closes #8426 --- tests/generics/tgenerics_issues.nim | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/tests/generics/tgenerics_issues.nim b/tests/generics/tgenerics_issues.nim index 54360f178d..986066a77e 100644 --- a/tests/generics/tgenerics_issues.nim +++ b/tests/generics/tgenerics_issues.nim @@ -23,6 +23,7 @@ concrete 88 G:0,1:0.1 G:0,1:0.1 H:1:0.1 +0 ''' joinable: false """ @@ -780,3 +781,16 @@ block: # issue #9458 discard foo(1) + + +# bug #8426 +type + MyBool[T: uint] = range[T(0)..T(1)] # Works + +var x: MyBool[uint] +echo x + +# x = 2 # correctly prevented + +type + MyBool2 = range[uint(0)..uint(1)] # Error ordinal or float type expected