{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"opaque_type_key.args,"}]}
            opaque_type_key.args,
            opaque_type_key.def_id.to_def_id(),
            param_env,