121                                 SourceLocation JoinLoc, LockErrorKind LEK,
824                                 SourceLocation JoinLoc, LockErrorKind LEK,  in handleRemovalFromIntersection()  argument
827       Handler.handleMutexHeldEndOfScope("mutex", toString(), loc(), JoinLoc,  in handleRemovalFromIntersection()
860                                 SourceLocation JoinLoc, LockErrorKind LEK,  in handleRemovalFromIntersection()  argument
867             "mutex", sx::toString(UnderlyingMutex), loc(), JoinLoc, LEK);  in handleRemovalFromIntersection()
952                         SourceLocation JoinLoc,
957                         SourceLocation JoinLoc, LockErrorKind LEK1,  in intersectAndWarn()  argument
959     intersectAndWarn(FSet1, FSet2, JoinLoc, LEK1, LEK1, Modify);  in intersectAndWarn()
2020                                             SourceLocation JoinLoc,  in intersectAndWarn()  argument
2047       LDat2->handleRemovalFromIntersection(FSet2, FactMan, JoinLoc, LEK1,  in intersectAndWarn()
2058       LDat1->handleRemovalFromIntersection(FSet1Orig, FactMan, JoinLoc, LEK2,  in intersectAndWarn()