Я вот посмотрел час видео. Почитал спеку. Ну да, понятия примитивных типов нет (есть примитивные значения), да эти значения не копируются каждый раз.
Но я не понимаю почему автор ссылается на спеку когда объясняет иммутабельность примитивных значений. Я не нашел в спеке указания на то, что примитивные значения должны быть иммутабильными.
Получается, что передача по ссылке или копирование таких значений это особенность реализации