can't build a tuple with static int element

[timotheecour]

can't build a tuple with static int element

Example

block:
  proc foo[N: static int](dims: array[N, int])=
    const N1 = N
    let temp = N # works
    let temp2 = (a:N) # Error: invalid type: 'static[int](2)' in this context: 'tuple[a: static[int](2)]' for let
    # let temp3 = (N, N) # ditto

  foo([1, 2])

Current Output

Error: invalid type: 'static[int](2)' in this context: 'tuple[a: static[int](2)]' for let

Expected Output

compiles because let temp = N works

[Araq]

But let temp = N strips away the static'ness. This is not a bug but static T has a fair share of terrible design choices.

[timotheecour]

/cc @Araq
reopening because I really don't understand your analysis.
here's another example:

why would

• let temp1 = N work
• let temp2 = Foo(age: N) work
• let temp3 = (age:N) not work? <- BUG

seems to me there's a bug in tuple construction; it should be have like the way object does in this case

when true:
  type Foo = object
    age: int
  proc foo[N: static int](dims: array[N, int])=
    const N1 = N
    let temp1 = N # works
    let temp2 = Foo(age: N)
    # let temp3 = (age:N) # uncomment gives: Error: invalid type: 'static[int](2)' in this context: 'tuple[age: static[int](2)]' for let
  foo([1, 2])

/cc @LemonBoy (because your fix in #9046 for #9043 added a test case that's blocking my PR #10070 ; and after reduction, I'm getting the bug mentioned in this issue)
/cc @krux02 because you were involved in #9043