pre-RFC: a new symbol mangling scheme

[rpjohnst]

This is good, a huge part of having any kind of stable ABI!

@michaelwoerister

Trait methods are similar to inherent methods, but in addition to the self-type the symbol name must also contain the trait being implemented:

_RX <trait-name-and-params> <self-type> <method-name> [<generic-arguments>] [<instantiating-crate>]

The X signifies that this is a trait method. The trait being implemented is encoded N <name-component>+ [I<generic-param>+ E] E , like a named type.

Would it make sense to treat the self type just as the first trait parameter? This is probably just a bike shed color but it seems a little simpler and maybe more general.