142                                 SourceLocation JoinLoc, LockErrorKind LEK,
866                                 SourceLocation JoinLoc, LockErrorKind LEK,  in handleRemovalFromIntersection()  argument
869       Handler.handleMutexHeldEndOfScope("mutex", toString(), loc(), JoinLoc,  in handleRemovalFromIntersection()
923                                 SourceLocation JoinLoc, LockErrorKind LEK,  in handleRemovalFromIntersection()  argument
933             "mutex", sx::toString(UnderlyingMutex.getPointer()), loc(), JoinLoc,  in handleRemovalFromIntersection()
1054                         SourceLocation JoinLoc, LockErrorKind LEK1,
1058                         SourceLocation JoinLoc, LockErrorKind LEK1) {  in intersectAndWarn()  argument
1059     intersectAndWarn(FSet1, FSet2, JoinLoc, LEK1, LEK1);  in intersectAndWarn()
2205                                             SourceLocation JoinLoc,  in intersectAndWarn()  argument
2231       LDat2.handleRemovalFromIntersection(FSet2, FactMan, JoinLoc, LEK1,  in intersectAndWarn()
2242       LDat1->handleRemovalFromIntersection(FSet1Orig, FactMan, JoinLoc, LEK2,  in intersectAndWarn()