{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"param_env,"}]}
            param_env,
            ObligationCause::misc(cx.body.span, cx.def_id()),
            ty::Binder::dummy(ty::TraitRef::new(cx.tcx, destruct_def_id, [ty]))