Attempting (unsuccessfully) to solve the AST Typing problem (blog.ezyang.com/2013/05/the-as) in : play.rust-lang.org/?gist=002af188 (ノಠ益ಠ)ノ彡┻━┻
Conversation
Perhaps this? play.rust-lang.org/?gist=88b155f1 - requires intermediate structs, alas… remains to be seen what generic code looks like in this style.
1
Another option would be to commit to a specific allocation style for now (until we get generic associated types): play.rust-lang.org/?gist=75d00ef2
One use case I have in mind is that I want to be able to write succinct tests without having to worry about inventing spans.
1
Decided to go with this for now play.rust-lang.org/?gist=924d9f67 - a bit boilerplatey. We'll see if it becomes easier just to monomorphise later…