type mismatch with generic unsigned integer matching
### Description

```nim
proc f2(v: SomeUnsignedInt): int =
  4
proc f(v: SomeUnsignedInt): int =
  f2(v)

echo f(0)
```


### Nim Version

2.0.8

### Current Output

```text
testit.nim(4, 5) Error: type mismatch
Expression: f2(v)
  [1] v: int

Expected one of (first mismatch at [position]):
[1] proc f2(v: SomeUnsignedInt): int
```


### Expected Output

_No response_

### Known Workarounds

_No response_

### Additional Information

_No response_