Расширение синтаксиса Rust и особенности

Я застрял, когда пытался реализовать черты программно, используя расширения синтаксиса.

Я написал минимальный пример здесь. Я надеюсь, что кто-то может помочь (или указать мне в правильном направлении).

// Just some methods collection I want to implement programmatically.
trait TraitToHack {
    fn implement_me(&self) -> int; // Say, I'd like to implement this method programmatically to return 42.
}

// I create dummy struct and wrap it with special attribute.
#[AttributeToHack(TraitToHack)]
struct StructToHack;

// I register syntax extension based on Decorator. Its signature is something like this:
// fn expand(cx: &mut ext::base::ExtCtxt, span: codemap::Span, mitem: &ast::MetaItem, item: &ast::Item, push: |P<ast::Item>|) { .. }
// This is where I got stuck :(
fn main() {
    let hack = StructToHack;
    hack.implement_me(); // Must return 42.
}

Вопросы:

• как получить идентификатор черты из контекста AST?
• как получить имена методов из этого идентификатора и как реализовать их, используя расширение синтаксиса?