В соответствии с этой статьей http://slurp.doc.ic.ac.uk/pubs/observing/linking.html#assignment:
Из-за различий в информации между Java-кодом и байт-кодом (байт-код не содержит типы локальных переменных), верификатор не нужно проверять подтипы для присвоений локальным переменным или к параметрам.
Мой вопрос: почему байт-код не содержит информацию о типе для локальных переменных, хотя он действительно содержит информацию о типе для параметров и возвращаемое значение?