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