{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"ty::Binder::dummy(ty::TraitRef::new(cx.tcx,"}]}
            ty::Binder::dummy(ty::TraitRef::new(cx.tcx, destruct_def_id, [ty]))
            param_env,
                .to_host_effect_clause(