I don't think you've seen them in Chrome Dev Tools with GWT because I don't believe we are generating the source maps properly. IIRC, I asked about this before

I don't think you've seen them in Chrome Dev Tools with GWT because I don't believe we are generating the source maps properly. IIRC, I asked about this before and was told Dev Tools does support deobfuscating globals as far as the stack frame is concerned. The fact that we are still seeing obfuscated function names on the call stack I think is our bug. Edit: I take that back. I just looked at the Blink source code, as far as I can tell, it throws away the name index. Therefore, Chrome Dev Tools won't deobfuscate symbols, but Google server-side JS deobfuscation framework will, which is a pitty. I guess it is time for a Chrome Dev Tools patch. :)