I give up on trying to use reader/writer locks for recursive type refinement. ...

I give up on trying to use reader/writer locks for recursive type refinement.  Use a recursive mutex instead, which will (in theory) generate more contention, but is really
a much more natural fit for what's going on during recursive type refinement.

llvm-svn: 74618