{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"OpaqueHiddenType"}]}
                OpaqueHiddenType { span: concrete_type.span, ty },
                opaque_type_key.def_id,
            );