checker, generics: cannot pass none as ?T

[Le0Developer]

V doctor:

|V full version      |V 0.4.9 5b44b67.af1ef92
|:-------------------|:-------------------
|OS                  |macos, macOS, 15.2, 24C101
|Processor           |8 cpus, 64bit, little endian, Apple M2
|Memory              |0.2GB/16GB
|                    |
|V executable        |/Users/leodev/p/v/v/v
|V last modified time|2025-01-05 11:53:01
|                    |
|V home dir          |OK, value: /Users/leodev/p/v/v
|VMODULES            |OK, value: /Users/leodev/.vmodules
|VTMP                |OK, value: /tmp/v_501
|Current working dir |OK, value: /Users/leodev/p/v/fast2
|                    |
|Git version         |git version 2.39.5 (Apple Git-154)
|V git status        |weekly.2024.53-31-gaf1ef929
|.git/config present |true
|                    |
|cc version          |Apple clang version 16.0.0 (clang-1600.0.26.6)
|gcc version         |Apple clang version 16.0.0 (clang-1600.0.26.6)
|clang version       |Apple clang version 16.0.0 (clang-1600.0.26.6)
|tcc version         |tcc version 0.9.28rc 2024-02-05 HEAD@105d70f7 (AArch64 Darwin)
|tcc git status      |thirdparty-macos-arm64 713692d4
|emcc version        |N/A
|glibc version       |N/A

What did you do?
./v -g -o vdbg cmd/v && ./vdbg repro.v && repro

fn test[T](x T, b ?T) {
}

fn main() {
	test[int](123, none)
}

What did you see?

repro.v:6:17: error: cannot use `none` as generic argument
    4 | 
    5 | fn main() {
    6 |     test[int](123, none)
      |                    ~~~~
    7 | }

What did you expect to see?

Successful compilation

Note

You can use the 👍 reaction to increase the issue's priority for developers.

Please note that only the 👍 reaction to the issue itself counts as a vote.
Other reactions and those to comments will not be taken into account.

_{Huly®: V_0.6-21812}