typeはheap/stackのどちらで保持しているかという情報も保持しているという事ですか？