Inconsistent compilation error between generic procs: proc x[T]() vs. proc y(T: type)

[jangko]

Example

type
  Banana = object
  SpecialBanana = object
  
proc getName(_: type Banana): string = "Banana"
proc getName(_: type SpecialBanana): string = "SpecialBanana"

proc x[T]() = 
  const n = getName(T) # this one works
  echo n
  
proc y(T: type) =
  const n = getName(T) # this one failed to compile
  echo n

x[SpecialBanana]()
y(SpecialBanana)

Current Output

F:\projects\bug\special_banana.nim(17, 2) template/generic instantiation of `y` from here
F:\projects\bug\special_banana.nim(13, 21) Error: cannot evaluate at compile time: T

Expected Output

SpecialBanana
SpecialBanana

I consider both x and y as generic proc, but the compiler seems evaluate y too eagerly / too early.

[metagn]

This seems like a such a simple bug, are there similar other issues? The workaround here is to use typeof T as one would expect