{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"(opaque_type_key,"}]}
                    (opaque_type_key, concrete_type.span),
                    infcx.tcx.erase_regions(opaque_type_key),
                )