{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"param_env,"}]}
            param_env,
            ObligationCause::dummy_with_span(cx.body.span),
            ty::TraitRef::new(cx.tcx, freeze_def_id, [ty::GenericArg::from(ty)]),