Hacker News Reader

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

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