I think I spotted the confusion. I almost always run with Break On All CLR Runtime exceptions. It would appear that TypeMock now throws some internal exception and then catches it before continuing. Consequently I'm now getting false positives as I'm trying to debug.