Для полноты: мутабельная переменная может ещё находиться в заблокированном состоянии, когда на неё или внутрь неё есть мутабельная ссылка. Следствие уникальности мутабельных ссылок.
Господа, кто шарит в SQL? Я правильно понимаю, что если я в одной транзакции делаю DELETE FROM table и пачку INSERT INTO table, то с точки зрения внешнего наблюдателя таблица ни в какой момент не будет пустой?