Smart casting does not work with ORM

[syobocat]

Describe the bug

When I try to use smart casting with ORM, it does not compile.

Reproduction Steps

import db.sqlite

struct SomeStruct {
	foo int
	bar string
}

struct OtherStruct {
	baz f64
}

type SomeSum = SomeStruct | OtherStruct

fn main() {
	db := sqlite.connect(':memory:')!
	sql db {
		create table SomeStruct
	}!

	some := SomeSum(SomeStruct{})
	if some is SomeStruct {
		sql db {
			insert some into SomeStruct
		}!
	}
}

Expected Behavior

compile and run without error

Current Behavior

code.v:23:11: error: cannot use `SomeSum` as `SomeStruct`
   21 |     if some is SomeStruct {
   22 |         sql db {
   23 |             insert some into SomeStruct
      |                    ~~~~
   24 |         }!
   25 |     }

Possible Solution

No response

Additional Information/Context

Dynamic casting works:

import db.sqlite

struct SomeStruct {
	foo int
	bar string
}

struct OtherStruct {
	baz f64
}

type SomeSum = SomeStruct | OtherStruct

fn main() {
	db := sqlite.connect(':memory:')!
	sql db {
		create table SomeStruct
	}!

	some := SomeSum(SomeStruct{})
	definitely_some := some as SomeStruct
	sql db {
		insert definitely_some into SomeStruct
	}!
}

V version

V 0.4.9 3953445

Environment details (OS name and version, etc.)

V full version: V 0.4.9 c4aaa2e.3953445
OS: macos, macOS, 15.2, 24C101
Processor: 8 cpus, 64bit, little endian, Apple M3

getwd: /Users/syobon
vexe: /Users/syobon/.v/v
vexe mtime: 2024-12-22 04:45:19

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

Git version: git version 2.39.5 (Apple Git-154)
Git vroot status: weekly.2024.49-140-g39534459
.git/config present: true

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

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