Static ranges are not checked

[exelotl]

Example 1

Static range as a proc parameter:

proc foo(n: static[1..50]) =
  echo n

foo(1)
foo(0)
foo(999)

Current Output:

1
0
999

Expected Output:

Program fails to compile, giving a message such as
Error: conversion from int literal(0) to static[range 1..50(int)] is invalid

Example 2

Static range in a generic type:

type TileData[Size: static[5..99]] = object
  tiles: array[Size, uint8]

var t: TileData[-3]
echo t.tiles.len

Current Output:

-3

Expected Output:

Program fails to compile. The compiler should complain that a TileData was declared with a Size outside the range of 5..99

Additional information

$ nim -v
Nim Compiler Version 1.4.2 [Windows: amd64]