The language server surfaces the promotion and proposes three alternatives: Alternative 1: Caller-provided buffer

Promotion: readings lifetime is promoted from stack (lexical scope) to arena (caller’s scope)

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it