{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"tcx.debug_assert_args_compatible(uv.def,"}]}
        tcx.debug_assert_args_compatible(uv.def, uv.args);
    pub fn new_unevaluated(tcx: TyCtxt<'tcx>, uv: ty::UnevaluatedConst<'tcx>) -> Const<'tcx> {
        Const::new(tcx, ty::ConstKind::Unevaluated(uv))