{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"//"}]}
        //
        // The extra 5 ` ` is padding that's always needed to align to the `note: `:
        //   error: message