Regression from Nim 2.0/2.2 to devel with `type K[w: static[auto]] = typeof(w)`
### Nim Version

Builds:
```
Nim Compiler Version 2.0.15 [Linux: amd64]
Compiled at 2025-03-02
Copyright (c) 2006-2023 by Andreas Rumpf

git hash: 41637db18f6a82df4a92f2e00a780e5815d17028
active boot switches: -d:release
```

```
Nim Compiler Version 2.2.2 [Linux: amd64]
Compiled at 2025-03-02
Copyright (c) 2006-2025 by Andreas Rumpf

git hash: 6c34f62785263ad412f662f3e4e4bf8d8751d113
active boot switches: -d:release
```

Does not build:
```
Nim Compiler Version 2.3.1 [Linux: amd64]
Compiled at 2025-03-02
Copyright (c) 2006-2025 by Andreas Rumpf

git hash: e39d152b89c5635c27dd4d8fc71c48747c5fc20b
active boot switches: -d:release
```

### Description

```nim
type
  K[w: static[auto]] = typeof(w)
  V = object
    a: K[0]
```

### Current Output

```text
/tmp/b.nim(4, 5) Error: 'K' is not a concrete type
```

### Expected Output

```text

```

### Known Workarounds

_No response_

### Additional Information

_No response_