> избавление от таких проблем, как обращение к области памяти после её
> освобождения, разыменование нулевых указателей и выход за границы буфера.

Спецификация Vulkan требует от клиентского кода передачу валидных хендлов в функции. Таким образом избавляет реализацию от необходимости проверять их корректность. Хендл суть указатель, а значит потенциально внутри разыменовывается что угодно.

Как здесь поможет Rust? Будет добавлена проверка хендла поиском среди валидных значений, как это уже сейчас происходит в прослойке валидации, если она подключена? Но это приведёт к снижению производительности, что противоречит идее Vulkan.