{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"}"}]}
            } else if pos != 0 && annotation.has_label() {
                );
                // The beginning of a span label with an actual label, we'll point down.