Исправление red75prim, (текущая версия) :
а borrow checker это что?
Это часть языка. Синтаксические свойства программы вычислимы. Семантические свойства программы невычислимы (теорема Райса).
Статические анализаторы пытаются определить семантические свойства (отсутствие use after free, скажем) по тексту программы - это задача в общем случае не решается. Статический анализатор может обнаружить какие-то частные случаи ошибок и/или накидать ложноположительных срабатываний.
Borrow checker проверяет синтаксические свойства программы, и если проверка проходит, то это гарантирует некоторые семантические свойства.
Исходная версия red75prim, :
а borrow checker это что?
Это часть языка. Синтаксические свойства программы вычислимы. Семантические свойства программы невычислимы (теорема Райса).
Статические анализаторы пытаются определить семантические свойства (отсутствие use after free, скажем) по тексту программы - это задача в общем случае не решается, статический анализатор может обнаружить какие-то частные случаи ошибок и/или накидать ложноположительных срабатываний.
Borrow checker проверяет синтаксические свойства программы, и если проверка проходит, то это гарантирует некоторые семантические свойства.