Вот видишь, ты тоже не понимаешь. Архитектуру программы на расте ты описываешь себе сам. Продолжающийся успех в плане создания обёрток в ядре над API ядра это вполне демонстрирует: в расте возможно работать и с циклическими структурами и тогда когда может существовать множество mut указателей на один и тот же кусок памяти. Архитектуру пишешь ты, так как тебе удобно. Компилятор начинает тебя пинать тогда, когда ты сам своими руками написал код, который отходит от этой твоей архитектуры.

БДСМ -- это в C и C++, где ты можешь отойти от своей задуманной архитектуры и даже не заметить этого, и компилятор радостно это проглотит. Вот там начинается БДСМ, потому что все свои рассуждения о коде ты строишь исходя из допущений об истинности инвариантов твоей архитектуры, но если ты где-то эти инварианты нарушил нечаянно в одном месте, то _все_ твои рассуждения о _любом_ куске кода стали неверными. То есть, выводы твои может быть и истинны, но даже если это так, то случайно, потому что с точки зрения логики твои рассуждения неверны, ибо опираются на неверные допущения.