I think I was hoping for something like that "stable vector" abstraction to show up before this got merged - well, there's also the issue of borrowing the AST in `tcx`, which requires a large scale change like #12809, currently blocked on #13703.