[PhilipRoman]

Yeah you're right, I meant the other way around. Also another loosely related idea is the container_of macro in Linux kernel.

[1718627440]

Yeah, my idea is literally native type-safe support of container_of for assignment in the compiler.