impl mk_const_infer

Signed-off-by: Gabriel Smith <ga29smith@gmail.com>
2019-02-28 23:03:37 -05:00 · 2019-02-28 23:03:37 -05:00 · e965b75603
commit e965b75603
parent bd2fa222c0
1 changed files with 12 additions and 0 deletions
--- a/src/librustc/ty/context.rs
+++ b/src/librustc/ty/context.rs
@ -2678,6 +2678,18 @@ impl<'a, 'gcx, 'tcx> TyCtxt<'a, 'gcx, 'tcx> {
        self.mk_ty(Infer(it))
    }

+    #[inline]
+    pub fn mk_const_infer(
+        self,
+        ic: InferConst<'tcx>,
+        ty: Ty<'tcx>,
+    ) -> &'tcx LazyConst<'tcx> {
+        self.mk_lazy_const(LazyConst::Evaluated(ty::Const {
+            val: ConstValue::Infer(ic),
+            ty,
+        }))
+    }
+
    #[inline]
    pub fn mk_ty_param(self,
                       index: u32,