Полный текст
«Я заставил LLM писать Rust полгода. Вот что они стабильно ломают»Нейросети уверенно генерируют Rust-код, который проходит cargo test и clippy, но тихо ломает логику приложения. Причина кроется в архитектурных слепых пятнах трансформеров: языковая модель обрабатывает токены последовательно, тогда как borrow checker оценивает графы заимствований во времени.Изолированные функции успешно компилируются, но разрушают глобальные контракты. Возникает lifetime laundering со схлопывающимися ссылками, std::sync::Mutex ползёт в асинхронный контекст tokio, а отмена future ведёт к повреждению данных из-за тотального игнорирования cancel safety.Проанализируем скрытые уязвимости ИИ-генерации на уровне системы типов.