rustc often calls stacker in fairly hot parts of the compiler (e.g. on entry into possibly recursive parses), so I expect the main concern to overcome here would be what performance impacts we must contend with from tacking a dynamic value onto the stack. This applies regardless of what approach is used.