Cannot determine polymorphic type when using using

[viyic]

Context

• Operating System & Odin Version: Windows 11 & Odin Version dev-2024-04:20223345a
• Please paste odin report output:

        Odin:    dev-2024-04:20223345a
        OS:      Windows 11 Unknown Edition (00000064) (version: 22H2), build 22621.3447
        CPU:     AMD Ryzen 3 7320U with Radeon Graphics
        RAM:     7412 MiB
        Backend: LLVM 17.0.1

Expected Behavior

You should be able to pass a struct with a using polymorphic member to a function that can take it.

Current Behavior

Odin can't determine the type.
main.odin(23:8) Error: Cannot determine polymorphic type from parameter: '^Wrapper' to '^Array($T)'

Steps to Reproduce

package main

import "core:fmt"

Position :: struct {
	x, y: f32,
}

Array :: struct($T: typeid) {
	array: [32]T,
}

Wrapper :: struct {
	using positions: Array(Position),
}

print :: proc(array: ^Array($T)) {
	fmt.println(array.array)
}

main :: proc() {
	wrapper: Wrapper
	print(&wrapper)
	// print(&wrapper.positions)
}

[gingerBill]

This is something I am not sure if I want to allow or not. I understand why people want it, but at the same time it enables a bunch of "horrors" too.

[viyic]

For me, it's just for ergonomics, but yeah, I guess it could be abused pretty hard. If it's not allowed, my suggestion is to clarify it in the error message.