missing checker error for array of generic sumtype

[felipensp]

Describe the bug

Missing checker error when interface declares cb []Callback[T] and struct type has cb []Callback.

Reproduction Steps

// callback types
type CBnoret[T] = fn (val T)
type CBnoret2[T] = fn (val T, prev T)
type CBvret[T] = fn (val T) T
type CBvret2[T] = fn (val T, prev T) T

type Callback[T] = CBnoret[T] | CBnoret2[T] | CBvret[T] | CBvret2[T]

interface IObv[T] {
	v T
	prev T
	cb []Callback[T]
}

struct Obv[T] {
mut:
	v T
	prev T
	a int
	cb []Callback
}

Expected Behavior

Check error

error: Callback type is generic sumtype, must specify the generic type names, e.g. Callback[T], Callback[int]

Current Behavior

No error

Possible Solution

No response

Additional Information/Context

No response

V version

current

Environment details (OS name and version, etc.)

V full version: V 0.4.8 2db53a4.9b17ed1
OS: linux, Debian GNU/Linux 10 (buster) (VM) (WSL)
Processor: 8 cpus, 64bit, little endian, Intel(R) Core(TM) i7-8565U CPU @ 1.80GHz

getwd: /home/felipe/github/v
vexe: /home/felipe/github/v/v
vexe mtime: 2024-10-05 13:44:13

vroot: OK, value: /home/felipe/github/v
VMODULES: OK, value: /home/felipe/.vmodules
VTMP: OK, value: /tmp/v_1000

Git version: git version 2.20.1
Git vroot status: 0.4.8-40-g9b17ed14-dirty (3 commit(s) behind V master)
.git/config present: true

CC version: cc (Debian 8.3.0-6) 8.3.0
thirdparty/tcc status: thirdparty-linux-amd64 0134e9b9

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.