diff options
| author | Clyybber <darkmine956@gmail.com> | 2020-07-14 18:36:06 +0200 |
|---|---|---|
| committer | Clyybber <darkmine956@gmail.com> | 2020-07-14 19:50:42 +0200 |
| commit | 03b0374e5cec82146ead8468db0826c287378a13 (patch) | |
| tree | 6efb10f657e3e1e91385524a1e9b875fc530abbb /tests/generics/tgenerics_issues.nim | |
| parent | 9465b5db443b98d7ac2c1683e986716fb9a9290f (diff) | |
| download | Nim-03b0374e5cec82146ead8468db0826c287378a13.tar.gz | |
Closes #8426
Diffstat (limited to 'tests/generics/tgenerics_issues.nim')
| -rw-r--r-- | tests/generics/tgenerics_issues.nim | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/generics/tgenerics_issues.nim b/tests/generics/tgenerics_issues.nim index 54360f178..986066a77 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 |