{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//"}]}
                // or re-typechecking nodes that were already typecked.
                // Could change this to a bug, but there's lots of diagnostic code re-lowering
                // Lots of that diagnostics code relies on subtle effects of re-lowering, so we'll