Details
Description
This bit of code calling abandonSnapshot without releasing locks is not currently run by lock-free read operations, but we should make sure that we never accidentally do so without knowing about it. We can add an invariant that opCtx->isLockFreeReadsOp() returns false.