{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
                // as we otherwise emit a nested `AliasRelate` goal in case the
                // We structurally relate aliases here. This is necessary
                // returned term is a rigid alias, resulting in overflow.