Range type swallowed in type union

[arnetheduck]

import typetraits

type Uint24* = range[0'u32 .. 0xFFFFFF'u32]

proc a(v: SomeInteger|Uint24) = echo type(v)

a(42)
a(42.Uint24)

[arnetheduck@tempus tmp]$ nim c -r test.nim 
...
Hint: /home/arnetheduck/tmp/test  [Exec]
int
uint32

[arnetheduck@tempus tmp]$ nim --version
Nim Compiler Version 0.19.0 [Linux: amd64]
Compiled at 2018-09-26
Copyright (c) 2006-2018 by Andreas Rumpf

git hash: f6c5c636bb1a1f4e1301ae0ba5a8afecef439132
active boot switches: -d:release

as an aside, the following works:

import typetraits

type Uint24* = range[0'u32 .. 0xFFFFFF'u32]

proc a(v: SomeInteger) = echo type(v)
proc a(v: Uint24) = echo type(v)

a(42)
a(42.Uint24)

and prints the expected

int
Uint24

[LemonBoy]

Back in 2014 @zah decided to add a skipTypes({tyRange}) in sigmatch's bindingRet, that's why the tyOr is resolved to the range base type.

[stale]

This issue has been automatically marked as stale because it has not had recent activity. If you think it is still a valid issue, write a comment below; otherwise it will be closed. Thank you for your contributions.