Tidy fix

diff --git a/src/librustc/traits/fulfill.rs b/src/librustc/traits/fulfill.rs
index 15925a19d75a2d793b19682652240243913317ff..bb2c7977f265b7dc0e6cc382ae6c72cba5f6de05 100644 (file)
--- a/src/librustc/traits/fulfill.rs
+++ b/src/librustc/traits/fulfill.rs
@@ -536,7 +536,8 @@ fn process_predicate<'a, 'gcx, 'tcx>(
                             } else {
                                 Err(CodeSelectionError(ConstEvalFailure(ConstEvalErr {
                                     span: obligation.cause.span,
-                                    kind: ErrKind::UnimplementedConstVal("could not resolve").into(),
+                                    kind: ErrKind::UnimplementedConstVal("could not resolve")
+                                        .into(),
                                 })))
                             }
                         },

diff --git a/src/librustc_mir/hair/pattern/mod.rs b/src/librustc_mir/hair/pattern/mod.rs
index 3dba00d1fb1b24d66a0ee54fa58f704584c4c77b..8c0b227899a3b2fa263ba5e0e6d8f1592f988723 100644 (file)
--- a/src/librustc_mir/hair/pattern/mod.rs
+++ b/src/librustc_mir/hair/pattern/mod.rs
@@ -42,6 +42,7 @@ pub enum PatternError {
     StaticInPattern(Span),
     FloatBug,
     NonConstPath(Span),
+    AssociatedConstInPattern(Span),
 }
 
 #[derive(Copy, Clone, Debug)]

diff --git a/src/librustc_mir/interpret/const_eval.rs b/src/librustc_mir/interpret/const_eval.rs
index a4100a9d28af6a5276b2ac33c4d6f5240c84ffb6..071103c600019a22c0cfa6b26eb9a241dc8f7d50 100644 (file)
--- a/src/librustc_mir/interpret/const_eval.rs
+++ b/src/librustc_mir/interpret/const_eval.rs
@@ -457,7 +457,7 @@ pub fn const_eval_provider<'a, 'tcx>(
             },
         };
         let ty = tcx.type_of(def_id);
-        let layout = (tcx, key.param_env).layout_of(ty).unwrap();
+        let layout = tcx.layout_of(key.param_env.and(ty)).unwrap();
         let ptr = MemoryPointer::new(id, 0);
         return Ok(tcx.mk_const(ty::Const {
             val: ConstVal::Value(Value::ByRef(ptr.into(), layout.align)),

diff --git a/src/librustc_mir/transform/const_prop.rs b/src/librustc_mir/transform/const_prop.rs
index e0203953fb2a43bc9d089d6f38f18d3ae81b8fb2..b43227c9f1a220fa688d23a97d6cbe0baa5490ea 100644 (file)
--- a/src/librustc_mir/transform/const_prop.rs
+++ b/src/librustc_mir/transform/const_prop.rs
@@ -17,7 +17,6 @@
 use rustc::mir::{NullOp, StatementKind, Statement, BasicBlock, LocalKind};
 use rustc::mir::{TerminatorKind, ClearCrossCrate, SourceInfo, BinOp};
 use rustc::mir::visit::{Visitor, PlaceContext};
-use rustc::ty::layout::LayoutOf;
 use rustc::middle::const_val::ConstVal;
 use rustc::ty::{TyCtxt, self, Instance};
 use rustc::mir::interpret::{Value, PrimVal, GlobalId};
@@ -237,7 +236,7 @@ fn const_prop(
                 let r = ecx.value_to_primval(ValTy { value: right.0, ty: right.1 }).ok()?;
                 if op == BinOp::Shr || op == BinOp::Shl {
                     let param_env = self.tcx.param_env(self.source.def_id);
-                    let bits = (self.tcx, param_env).layout_of(place_ty).unwrap().size.bits();
+                    let bits = self.tcx.layout_of(param_env.and(place_ty)).unwrap().size.bits();
                     if r.to_bytes().ok().map_or(false, |b| b >= bits as u128) {
                         let scope_info = match self.mir.visibility_scope_info {
                             ClearCrossCrate::Set(ref data) => data,
@@ -286,8 +285,7 @@ fn const_prop(
 fn type_size_of<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
                           param_env: ty::ParamEnv<'tcx>,
                           ty: ty::Ty<'tcx>) -> Option<u64> {
-    use rustc::ty::layout::LayoutOf;
-    (tcx, param_env).layout_of(ty).ok().map(|layout| layout.size.bytes())
+    tcx.layout_of(param_env.and(ty)).ok().map(|layout| layout.size.bytes())
 }
 
 struct CanConstProp {

diff --git a/src/librustc_typeck/check/mod.rs b/src/librustc_typeck/check/mod.rs
index 4e1fd987d90dae047edba813c88ba9bc0d1906b0..19085ff039ec5aa5aeded25ca1b1a137a0831581 100644 (file)
--- a/src/librustc_typeck/check/mod.rs
+++ b/src/librustc_typeck/check/mod.rs
@@ -101,7 +101,6 @@
 use rustc::ty::fold::TypeFoldable;
 use rustc::ty::maps::Providers;
 use rustc::ty::util::{Representability, IntTypeExt, Discr};
-use rustc::ty::layout::LayoutOf;
 use errors::{DiagnosticBuilder, DiagnosticId};
 
 use require_c_abi_if_variadic;