One reason is probably emulating the way RAII works in C++, and allowing "low level" code to use idioms like { let _lock = acquire_lock();

One reason is probably emulating the way RAII works in C++, and allowing "low level" code to use idioms like { let _lock = acquire_lock(); use_resource(); } // lock is released here, whether use_resource() returned or caused stack unwinding