История изменений
Исправление www_linux_org_ru, (текущая версия) :
В Rust assumptions принято выражать с помощью системы типов. Так что не представляю как такой вариант может пройти.
если бы так, то unsafe вероятно был бы не нужен
как в расте выразить тот факт, что struct A { int payload; A& next; } всегда закольцовано по указателям? (т.е. по ссылкам в данном случае)
(при этом в кольце м.б. от 0 до бесконечности экземпляров А)
Исправление www_linux_org_ru, :
В Rust assumptions принято выражать с помощью системы типов. Так что не представляю как такой вариант может пройти.
если бы так, то unsafe вероятно был бы не нужен
как в расте выразить тот факт, что struct A { int payload; A& next; } всегда закольцовано по указателям (ссылкам в данном случае)?
(при этом в кольце м.б. от 0 до бесконечности экземпляров А)
Исправление www_linux_org_ru, :
В Rust assumptions принято выражать с помощью системы типов. Так что не представляю как такой вариант может пройти.
если бы так, то unsafe вероятно был бы не нужен
как в расте выразить тот факт, что struct A { int payload; A& A; } всегда закольцовано по указателям (ссылкам в данном случае)?
(при этом в кольце м.б. от 0 до бесконечности экземпляров А)
Исходная версия www_linux_org_ru, :
В Rust assumptions принято выражать с помощью системы типов. Так что не представляю как такой вариант может пройти.
если бы так, то unsafe вероятно был бы не нужен
как в расте выразить тот факт, что struct A { int payload; A& A; } всегда закольцовано по указателям (ссылкам в данном случае)?