Report all errors other than those about insufficient type information

diff --git a/src/librustc_mir/transform/const_prop.rs b/src/librustc_mir/transform/const_prop.rs
index d3ab494139a502b3a01eb514c3667c5ea2bfa056..9dee1e1633e0295ca70739a2149f80923086d648 100644 (file)
--- a/src/librustc_mir/transform/const_prop.rs
+++ b/src/librustc_mir/transform/const_prop.rs
@@ -80,8 +80,10 @@ fn new(
     fn const_eval(&self, cid: GlobalId<'tcx>, span: Span) -> Option<Const<'tcx>> {
         let value = match self.tcx.const_eval(self.param_env.and(cid)) {
             Ok(val) => val,
-            // FIXME: report some errors
-            Err(_) => return None,
+            Err(err) => {
+                err.report(self.tcx, span, "const prop");
+                return None;
+            },
         };
         let val = match value.val {
             ConstVal::Value(v) => v,