{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"debug!(?a,"}]}
            debug!(?a, ?b, "constrain opaque type");
            let b = instantiate_value(self.tcx, &result_args, b);
            // We use equate here instead of, for example, just registering the