The error "cannot use &T as &Y in argument 1 to func" is printed twice

[zeozeozeo]

V doctor:

V full version: V 0.4.4 5306469.0a612bf
OS: windows, Microsoft Windows 10 Pro v19045 64-bit
Processor: 20 cpus, 64bit, little endian, 

getwd: C:\Users\user\Desktop\Code\leaflang
vexe: C:\Users\user\Desktop\Code\v\v.exe
vexe mtime: 2024-02-02 11:02:48

vroot: OK, value: C:\Users\user\Desktop\Code\v
VMODULES: OK, value: C:\Users\user\.vmodules
VTMP: OK, value: C:\Users\user\AppData\Local\Temp\v_0

Git version: git version 2.42.0.windows.1
Git vroot status: weekly.2024.05-12-g0a612bf6
.git/config present: true

CC version: Error: 'cc' is not recognized as an internal or external command,

operable program or batch file.


thirdparty/tcc status: thirdparty-windows-amd64 a39eb79b

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

struct Foo {
mut:
	x int
}

struct Bar {
mut:
	y int
}

type Foobar = Foo | Bar

fn mutate_foobar(mut foobar Foobar) {
	match foobar {
		Foo {
			mutate_foo(mut foobar)
		}
		Bar {
			mutate_bar(mut foobar)
		}
	}
}

fn mutate_foo(mut foo Foo) {
	foo.x = 5
}

fn mutate_bar(mut bar Bar) {
	bar.y = 10
}

fn main() {
	mut bar := Bar{y: 0}
	mutate_foobar(mut bar)
}

What did you expect to see?

Two errors being printed instead of 4

What did you see instead?

test.v:16:19: error: cannot use `&Foobar` as `&Foo` in argument 1 to `mutate_foo`
   14 |     match foobar {
   15 |         Foo {
   16 |             mutate_foo(mut foobar)
      |                            ~~~~~~
   17 |         }
   18 |         Bar {
test.v:16:19: error: cannot use `&Foobar` as `&Foo` in argument 1 to `mutate_foo`
   14 |     match foobar {
   15 |         Foo {
   16 |             mutate_foo(mut foobar)
      |                            ~~~~~~
   17 |         }
   18 |         Bar {
test.v:19:19: error: cannot use `&Foobar` as `&Bar` in argument 1 to `mutate_bar`
   17 |         }
   18 |         Bar {
   19 |             mutate_bar(mut foobar)
      |                            ~~~~~~
   20 |         }
   21 |     }
test.v:19:19: error: cannot use `&Foobar` as `&Bar` in argument 1 to `mutate_bar`
   17 |         }
   18 |         Bar {
   19 |             mutate_bar(mut foobar)
      |                            ~~~~~~
   20 |         }
   21 |     }

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.