Compiler ignores distinct for generic types

[FrancisTheCat]

Odin:    dev-2024-09:d03d9e49a
OS:      Archcraft, Linux 6.10.8-arch1-1
CPU:     Intel(R) Core(TM) i7-9750HF CPU @ 2.60GHz
RAM:     15912 MiB
Backend: LLVM 18.1.8

Expected Behavior

Foo :: struct($T: typeid) {
    data: [4]T,
}
Int_Foo :: distinct Foo(int)

print_foo :: proc(foo: Foo($T)) {
    fmt.println(foo.data)
}

a: Foo(int)
b: Int_Foo

print_foo(a)
print_foo(b)

the last line should not compile, since the distinct just gets ignored. A specialization or cast should be required.

Current Behavior

No compiler errors.