8 x.Unlock() // want `empty critical section`
19 x.m1.m2.Unlock() // want `empty critical section`
25 x.Unlock() // want `empty critical section`
28 x.RUnlock() // want `empty critical section`
38 m: func() *sync.Mutex {
39 return new(sync.Mutex)
44 x.m().Unlock() // want `empty critical section`
58 x.Unlock() // want `empty critical section`
67 x.Unlock() // want `empty critical section`
75 x.Unlock() // want `empty critical section`
83 x.Unlock() // want `empty critical section`
88 func (T) Lock() int { return 0 }