Aの実体がヒープに確保される
xは値型なので実体はヒープに確保されず、直接Aの実体の中に用意される

で、Aの実体への参照がローカル変数aで、これはスタックに確保される