impl mk_const_infer

Signed-off-by: Gabriel Smith <ga29smith@gmail.com>

diff --git a/src/librustc/ty/context.rs b/src/librustc/ty/context.rs
index 150138ae0b9dc7db472feb3842f5dac37f72f554..ef94008811afd0a04ce28c455828122a4c638292 100644 (file)
--- a/src/librustc/ty/context.rs
+++ b/src/librustc/ty/context.rs
@@ -2678,6 +2678,18 @@ pub fn mk_ty_infer(self, it: InferTy) -> Ty<'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,