$type(myarray.high) shows range 0..3(int) instead of int

[timotheecour]

$type(myarray.high) shows range 0..3(int) instead of int

Example

when true:
  var a: array[0..3, float]
  const N = high(a)
  doAssert N is int
  echo $type(N)

Current Output

range 0..3(int)

Expected Output

int

Example 2

this leads to misleading error messages, eg:

when true:
  proc bar(a: csize_t) = discard
  proc fun[R](a: array[R, char]) =
    const N = high(a)
    bar(N)
  var a: array[0..512, char]
  fun(a)

 Error: type mismatch: got <range 0..512(int)>
but expected one of:
proc bar(a: csize_t)
  first type mismatch at position: 1
  required type for a: csize_t
  but expression 'N' is of type: range 0..512(int)

expression: bar(N)
      bar(N)

Additional Information

• 0a49fe5 1.1.1
• looks like this never worked

[metagn]

this leads to misleading error messages, eg:

Don't really see how that's misleading, it still mentions that it's int.