{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":")"}]}
                            ) {
                                opaque_type_key.args.iter(),
                                ecx.eq(goal.param_env, a, b)?;