You can do it with the type system, although in C# it is a bit clunky. For example let's say you have a class Resource that needs to be locked and a method Foo

You can do it with the type system, although in C# it is a bit clunky. For example let's say you have a class Resource that needs to be locked and a method Foo(Resource) that needs to operate on the resource under a lock. You could change Foo(Resource) to Foo(LockedResource). LockedResource could be a class that is defined using a lock object and a resource and takes the lock or validates that lock is taken in the constructor. Then by making the object disposable the release can be handled as well. This way the type system handles the validation. This is kinda like a budget version of having the type system support locking and concurrency like Rust does.