Ability to have *-pointers as arguments to MethodDefs

[Manishearth]

I'm trying to write a syntax extension that works similar to #[deriving(Encodable)], where a trait JSTraceable can be applied to types where all subfields implement that JSTraceable, such that calling .trace() will simply call .trace() on all subfields with the same arguments (there is no output to be treed up like with Clone and PartialEq)

The signature I want is the following:

trait Traceable {
    fn trace(&self, trc: *mut JSTracer);
}

However, there's a problem here. Following the internal implementation, I need to supply a MethodDef, which includes an argument list of Tys

However,Ty doesn't support *-pointers, so I will probably have to work around this with a second trait and some transmutes (which I'd rather not do)

Could we get support for * pointers in MethodDef?

[huonw]

Pull requests accepted; this is a deeply unstable part of the compiler and so is free to change.

(I'm happy to mentor, but I think it should be as easy as adding the right thing to this enum and follow the compiler output to add the appropriate handling in the right places, i.e. converting to an syntax::ast::TyPtr.)

[Manishearth]

Ooh, I'd love to fix it if it's just adding an enum and then doing a couple of conversions.

Raw(Mutability) seems like a way to start. Don't know how to test this without writing a bagful of libsyntax code, though :)

[Manishearth]

Side note: ast::Ty_ and ext::build::AstBuilder need docs.