Range type is considered as underlying type when invoking from generic

[endragor]

Sample:

type
  n16 = range[0'i16..high(int16)]
  SomeObj = ref object

proc doSomethingMore(idOrObj: n16 or SomeObj) =
  discard

proc doSomething(idOrObj: n16 or SomeObj) =
  doSomethingMore(idOrObj) # Error: type mismatch: got (int16)

doSomething(0.n16)

Git hash: 9d4aa03

[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.

[metagn]

Should be same as #10027

[metagn]

Works since 1.6.14 actually, but using 0 instead of 0.n16 doesn't match doSomething for some weird unrelated typing reason