{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
            // avoid potential non-determinism we approximate this by requiring
            // and `'3: '1` we only need to prove that T: '2 *or* T: '3, but to
            // T: '1 and T: '2.