{"ast_node_type":"variable","tokens":[{"end":43,"kind":"keyword","start":0,"text":"let"}]}
        let right = margin.right(line_len);
        let left = margin.left(line_len);
        // FIXME: The following code looks fishy. See #132860.