> Стековой памятью надо управлять так, памятью в куче эдак, причём если копнуть
> глубже, то и стековой памятью можно управлять по-разному и памятью в
> куче тоже.

Ну, так это так или иначе делают при реализации структур данных в высокоуровневых языках (типа того же питона).

> Раст позволяет кодировать эти соглашения в API. И проверяет
> чтобы API соответствовало коду. Причём он проверяет, чтобы реализация API соответствовала
> бы заявленному в API. И он проверяет, чтобы код, пользующийся API,
> пользовался бы им так, как требует выбранная стратегия управления памятью.

Эта задача там действительно решается или "мамой клянус, в 99% случаев это сработает"?

Проверка корректности программ в общем случае - задача алгоритмически
не менее безнадежная чем сравнение двух вещественных чисел.