Use the constness from the param env instead of having a separate dimension for it

[rust.git] / compiler / rustc_typeck / src / check / fn_ctxt / _impl.rs

diff --git a/compiler/rustc_typeck/src/check/fn_ctxt/_impl.rs b/compiler/rustc_typeck/src/check/fn_ctxt/_impl.rs
index 142a0a8fc2501e922c4a35058f87537cec07aed7..58a2f21d22e6700688db5002aa992e75bdc4c5e0 100644 (file)
--- a/compiler/rustc_typeck/src/check/fn_ctxt/_impl.rs
+++ b/compiler/rustc_typeck/src/check/fn_ctxt/_impl.rs
@@ -613,7 +613,7 @@ pub(in super::super) fn select_all_obligations_or_error(&self) {
         let errors = self
             .fulfillment_cx
             .borrow_mut()
-            .select_all_with_constness_or_error(&self, self.inh.constness);
+            .select_all_or_error(&self);
 
         if !errors.is_empty() {
             self.report_fulfillment_errors(&errors, self.inh.body_id, false);
@@ -629,7 +629,7 @@ pub(in super::super) fn select_obligations_where_possible(
         let mut result = self
             .fulfillment_cx
             .borrow_mut()
-            .select_with_constness_where_possible(self, self.inh.constness);
+            .select_where_possible(self);
         if !result.is_empty() {
             mutate_fulfillment_errors(&mut result);
             self.report_fulfillment_errors(&result, self.inh.body_id, fallback_has_occurred);