enums + generics result in checker error

[Le0Developer]

V doctor:

V full version: V 0.4.7 62c69e8.caa0c46
OS: macos, macOS, 15.2, 24C101
Processor: 8 cpus, 64bit, little endian, Apple M2

getwd: /Users/leodev/p/v
vexe: /Users/leodev/bin/v/v
vexe mtime: 2024-08-26 08:17:23

vroot: OK, value: /Users/leodev/bin/v
VMODULES: OK, value: /Users/leodev/.vmodules
VTMP: OK, value: /tmp/v_501

Git version: git version 2.39.5 (Apple Git-154)
Git vroot status: weekly.2024.34-46-gcaa0c464 (866 commit(s) behind V master)
.git/config present: true

CC version: Apple clang version 16.0.0 (clang-1600.0.26.6)
thirdparty/tcc status: thirdparty-macos-arm64 713692d4

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

import os

fn prompt_enum[T](prompt string) T {
	full_prompt := '${prompt}: '
	for {
		s := os.input_opt(full_prompt) or { continue }
		if x := T.from(s) {
			return x
		}
	}
	panic('unreachable')
}

enum EnumA {
	a
	b
	c
}

enum EnumB {
	x
	y
	z
}

fn main() {
	prompt_enum[EnumA]('Which enum A?')
	prompt_enum[EnumB]('Which enum B?')
}

What did you expect to see?

Successful compilation

What did you see instead?

repro.v:8:11: error: cannot use `EnumA` as type `EnumB` in return argument
    6 |         s := os.input_opt(full_prompt) or { continue }
    7 |         if x := T.from(s) {
    8 |             return x
      |                    ^
    9 |         }
   10 |     }

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-21703}