{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"//"}]}
                // already warned for this.
                // malformed attributes can get here. We can't crash, but somewhere else should've
                None