{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
                        // whose value is like `'a+'b` where `'a` and `'b` are
                        // indicates that we have e.g., some region variable
                        // distinct unrelated universal regions that are not