mozilla/rust — pull request #13615 by alexcrichton (2014-04-19 00:38:27+00:00)
Title: std: Fix demangling with middle special chars

Previously, symbols with rust escape sequences (denoted with dollar signs)
weren't demangled if the escape sequence showed up in the middle. This alters
the printing loop to look through the entire string for dollar characters.