On 9/7/2016 4:17 PM, Joseph Rushton Wakeling wrote: > Potentially naive question, but is there any reason why, if a default > constructor exists, S.init shouldn't just be the same as the result of calling > the default constructor? So every instance of Mutex shares the same mutex?