The object module should overload appropriate functions and methods with the shared qualifier. For example, the following doesn't not compile:

class Foo
{
     private Object value;

     synchronized bool hasValue (Object val)
     {
         return value == val;
     }
}

Because opEquals in object doesn't accept shared parameters.