{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"opaque_type_key.def_id,"}]}
                opaque_type_key.def_id,
            root_cx.add_concrete_opaque_type(
                OpaqueHiddenType { span: concrete_type.span, ty },