{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"PostAnalysis,"}]}
    PostAnalysis,
    /// Runs at the beginning of "analysis to runtime" lowering, *before* drop elaboration.
    /// Runs at the end of "analysis to runtime" lowering, *after* drop elaboration.