> зачем? он же "умный", и лучше вас сгенерирует код.

Код он генерирует быстрый, даже потенциально быстрее чем C/C++, потому что ожидает от него намного более строгих гарантий (Каждый указатель например по умолчанию работает как C restrict, и даже строже), однако чтобы ожидать от кода гарантий, он также на него накладывает ограничения (Например, опять же, несинхронизированное/неатомарное чтение и запись одновременно в одну структуру из разных погтоков)

Задача программиста писать программу так, чтобы за эти ограничения не выходить, в примере со структурой например использовать только атомарные чтения/записи, как-то синхронизировать доступ к структуре, чтобы компилятор понимал что тут нет несинхронизированного доступа (Иначе он откажется такой код компилировать), либо ещё что-то