How does String.Equals(a,b) not produce a StackOverflowException?

Your decompiler has a bug. The real code doesn’t check a == b, it checks (Object)a == (Object)b, bypassing the overloaded operator.