Range checks are being ignored in template arguments

[johnnovak]

Range checks are being ignored in template arguments, e.g. range and Natural, as shown below,

Example

template testTemplate1(i: range[0..5]) =
  echo i

type Range = range[0..5]

template testTemplate2(i: Range) =
  echo i

template testTemplate3(i: Natural) =
  echo i

proc testProc(i: Range) =
  echo i

testTemplate1(100)   # Incorrect, prints 100
testTemplate2(100)   # Incorrect, prints 100
testTemplate3(-1)    # Incorrect, prints -1
#testProc(100)  # Correct, raises expected error:
                #   Error: conversion from int literal(100) to Range is invalid

Current Output

100
100
-1

Expected Output

All three template invocations should fail with an error, similarly to the proc call.

Additional Information

$ nim -v
Nim Compiler Version 1.0.4 [Windows: amd64]
Compiled at 2019-11-27
Copyright (c) 2006-2019 by Andreas Rumpf

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