{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"param_env,"}]}
                    param_env,
                    cause.clone(),
                    ty::TraitRef::new(tcx, trait_ref.def_id, [ty_a, ty_b]),