{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
            // `ReErased`. We may be able to short-circuit registering region
            // FIXME: We should investigate the perf implications of not uniquifying
            // obligations if we encounter a `ReErased` on one side, for example.