{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"opaque_ty.args,"}]}
                    opaque_ty.args,
                    opaque_ty.def_id,
                    goal.param_env,