>>110
ボックス化されたものかどうかは文脈から明らか
式の型が値型でなくて実際の値の型が値型ならボックス化されている
ヒープかスタックかは、クラスのフィールドなら常にヒープ、値渡しの引数やローカル変数なら常にスタックと分かる
構造体のフィールドや参照渡しの引数は文脈からは分からん