Function name is occasionally duplicated

[jdm]

The generated function metadata sometimes duplicates the function's name (at the very least, for bare functions this is true). This should be fixed.

[msullivan]

What exactly is meant by that?

[jdm]

IIRC, in trans/debug.rs, the code that puts together a string for function names often ends up looking like a::b::c::c for function c in module a::b

[catamorphism]

This was on maturity #5, but I think it's just a bug. Re-nominating so we can discuss.

[graydon]

accepted for production-ready milestone

[emberian]

Visiting for triage. trans/debug.rs is gone. @jdm @michaelwoerister is this still relevant?

[jdm]

trans/debug.rs was just a typo. This is likely still a concern.