138                                 SourceLocation JoinLoc, LockErrorKind LEK,
866                                 SourceLocation JoinLoc, LockErrorKind LEK,  in handleRemovalFromIntersection()  argument
869       Handler.handleMutexHeldEndOfScope("mutex", toString(), loc(), JoinLoc,  in handleRemovalFromIntersection()
927                                 SourceLocation JoinLoc, LockErrorKind LEK,  in handleRemovalFromIntersection()  argument
937             "mutex", sx::toString(UnderlyingMutex.getPointer()), loc(), JoinLoc,  in handleRemovalFromIntersection()
1054                         SourceLocation JoinLoc,
1059                         SourceLocation JoinLoc, LockErrorKind LEK1,  in intersectAndWarn()  argument
1061     intersectAndWarn(FSet1, FSet2, JoinLoc, LEK1, LEK1, Modify);  in intersectAndWarn()
2187                                             SourceLocation JoinLoc,  in intersectAndWarn()  argument
2214       LDat2->handleRemovalFromIntersection(FSet2, FactMan, JoinLoc, LEK1,  in intersectAndWarn()
2225       LDat1->handleRemovalFromIntersection(FSet1Orig, FactMan, JoinLoc, LEK2,  in intersectAndWarn()