That is incredible, but I must ask: Beside really getting to know Rust's trait and type system, and besides experimental / educational tinkering, could this have any practical use case?
If this could somehow be used to implement proc macros in lisp instead of rust, I'd be very interested in exploring real use cases. But from my limited understanding of how it works, it seems not.