Sum type with generic doesn't believe its exhaustive and also does at same time #27515

Describe the bug

Sum type with generic doesn't believe its exhaustive and also does at same time. IT does work without the T block and only the else block.

Reproduction Steps

You can reproduce both errors by commenting/uncommenting the else block to switch between the two errors

struct Something {}
type Any[T] = string | int | T

fn something[T](my_var Any[T]) int {
	match my_var {
		string {
			return 1
		}
		int {
			return 0
		}
		// If T is here without else it says monolith.v:6:2: error: match must be exhaustive (add `else {}` at the end)
		T {
			return 3
		}
		// IF T and else are here it says monolith.v:17:3: error: match expression is exhaustive, `else` is unnecessary
		else {
			return 4
		}
	}
	return 1
}

fn main() {
	new_var := 5
	println(something(Something{}))
}

Expected Behavior

Expect it to Complie with the T block, and no else block

Current Behavior

doesnt complie with T block or T block and else block

Possible Solution

No response

Additional Information/Context

No response

V version

V 0.5.1 1704098

Environment details (OS name and version, etc.)

brent@Brents-MacBook-Pro monorepo % v doctor