Regression from 1.6 to 2.0 using static parameter in return type with function taking typeclass

[tersec]

Description

proc b(x: SomeUnsignedInt): int = 
proc t(w: static uint64): array[b(w), int] = discard

Builds in 1.6 and devel but not 2.0.

Nim Version

Builds:

Nim Compiler Version 1.6.21 [Linux: amd64]
Compiled at 2024-06-21
Copyright (c) 2006-2023 by Andreas Rumpf

git hash: 6789859503e900dda3059733c7b3391118c044d8
active boot switches: -d:release

Nim Compiler Version 1.6.21 [Linux: amd64]
Compiled at 2024-06-21
Copyright (c) 2006-2023 by Andreas Rumpf

git hash: 6789859503e900dda3059733c7b3391118c044d8
active boot switches: -d:release
user@epenomi:~$ nimdevel/bin/nim --version

Does not build:

Nim Compiler Version 2.0.6 [Linux: amd64]
Compiled at 2024-06-21
Copyright (c) 2006-2023 by Andreas Rumpf

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

Current Output

k.nim(2, 34) template/generic instantiation of `b` from here
k.nim(1, 8) Error: cannot instantiate: 'SomeUnsignedInt'

Expected Output

Builds

Possible Solution

Backport fix from devel to version-2-0

Additional Information

No response

[metagn]

Should be same as #23730? So backport of #23731 to 2.0 should be enough

[narimiran]

So backport of #23731 to 2.0 should be enough

I'll do it tomorrow (together with some other commits that need to be backported too).

[narimiran]

Backported now. Closing.