generic object with generic field evaluated too early

[jangko]

type
  Fruit = object
  Yellow = object
    a: int
  
template getColor(x: typedesc[Fruit]): typedesc = Yellow

type
  Banana[T] = object
    b: T
    a: getColor(Fruit) # this one works

  Apple[T] = object
    a: T
    b: getColor(T) # this one failed to compile
    
var x: Banana[int]
x.b = 13
x.a.a = 17
echo x

looks like the compiler evaluate the generic field involving template too early.

error messages:

alias.nim(15, 16) Error: type mismatch: got (typedesc[T])
but expected one of:
template getColor[](x: typedesc[Fruit]): typedesc

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

[jangko]

It's still a valid issue.

[timotheecour]

It's still a valid issue

@jangko how so? see #18062

[jangko]

my comment is to prevent the stale bot closing this.