Don't make an extra copy + allocation of the demangled name
This page took 0.232627 seconds and 3 git commands to generate.