Да понимаю я. Типы (в минималистском смысле - непосредственное значение или указатель) локалов он знает. От вынесения тегов из полей в отдельную мапку той же лежащей в памяти структуры их количество не меняется. Мапка инициализируетя в момт создания структуры и должна правиться только при присваиваниях полям. Хер практически тот же, только целые полноразрядные, а присваивания более тяжелые, и компидятор в точках сборки мусора должен генерить мапки для локалов.