Skip to content

Commit 2109fe4

Browse files
committed
Move some utils out of rustc_const_eval
This allows us to get rid of the `rustc_const_eval->rustc_borrowck` dependency edge which was delaying the compilation of borrowck. The added utils in `rustc_middle` are small and should not affect compile times there.
1 parent e6e956d commit 2109fe4

File tree

15 files changed

+30
-25
lines changed

15 files changed

+30
-25
lines changed

Cargo.lock

-1
Original file line numberDiff line numberDiff line change
@@ -4421,7 +4421,6 @@ dependencies = [
44214421
"either",
44224422
"itertools",
44234423
"polonius-engine",
4424-
"rustc_const_eval",
44254424
"rustc_data_structures",
44264425
"rustc_errors",
44274426
"rustc_graphviz",

compiler/rustc_borrowck/Cargo.toml

-1
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,6 @@ rustc_infer = { path = "../rustc_infer" }
2020
rustc_lexer = { path = "../rustc_lexer" }
2121
rustc_macros = { path = "../rustc_macros" }
2222
rustc_middle = { path = "../rustc_middle" }
23-
rustc_const_eval = { path = "../rustc_const_eval" }
2423
rustc_mir_dataflow = { path = "../rustc_mir_dataflow" }
2524
rustc_serialize = { path = "../rustc_serialize" }
2625
rustc_session = { path = "../rustc_session" }

compiler/rustc_borrowck/src/diagnostics/conflict_errors.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
use either::Either;
2-
use rustc_const_eval::util::CallKind;
32
use rustc_data_structures::captures::Captures;
43
use rustc_data_structures::fx::FxIndexSet;
54
use rustc_errors::{
@@ -18,6 +17,7 @@ use rustc_middle::mir::{
1817
ProjectionElem, Rvalue, Statement, StatementKind, Terminator, TerminatorKind, VarBindingForm,
1918
};
2019
use rustc_middle::ty::{self, suggest_constraining_type_params, PredicateKind, Ty};
20+
use rustc_middle::util::CallKind;
2121
use rustc_mir_dataflow::move_paths::{InitKind, MoveOutIndex, MovePathIndex};
2222
use rustc_span::def_id::LocalDefId;
2323
use rustc_span::hygiene::DesugaringKind;
@@ -2424,7 +2424,7 @@ impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx> {
24242424
Some((method_did, method_substs)),
24252425
) = (
24262426
&self.body[loan.reserve_location.block].terminator,
2427-
rustc_const_eval::util::find_self_call(
2427+
rustc_middle::util::find_self_call(
24282428
tcx,
24292429
self.body,
24302430
loan.assigned_place.local,

compiler/rustc_borrowck/src/diagnostics/mod.rs

+3-3
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
//! Borrow checker diagnostics.
22
33
use itertools::Itertools;
4-
use rustc_const_eval::util::{call_kind, CallDesugaringKind};
54
use rustc_errors::{Applicability, Diagnostic};
65
use rustc_hir as hir;
76
use rustc_hir::def::{CtorKind, Namespace};
@@ -15,6 +14,7 @@ use rustc_middle::mir::{
1514
};
1615
use rustc_middle::ty::print::Print;
1716
use rustc_middle::ty::{self, Instance, Ty, TyCtxt};
17+
use rustc_middle::util::{call_kind, CallDesugaringKind};
1818
use rustc_mir_dataflow::move_paths::{InitLocation, LookupResult};
1919
use rustc_span::def_id::LocalDefId;
2020
use rustc_span::{symbol::sym, Span, Symbol, DUMMY_SP};
@@ -45,7 +45,7 @@ pub(crate) use mutability_errors::AccessKind;
4545
pub(crate) use outlives_suggestion::OutlivesSuggestionBuilder;
4646
pub(crate) use region_errors::{ErrorConstraintInfo, RegionErrorKind, RegionErrors};
4747
pub(crate) use region_name::{RegionName, RegionNameSource};
48-
pub(crate) use rustc_const_eval::util::CallKind;
48+
pub(crate) use rustc_middle::util::CallKind;
4949

5050
pub(super) struct DescribePlaceOpt {
5151
pub including_downcast: bool,
@@ -874,7 +874,7 @@ impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx> {
874874
}) = &self.body[location.block].terminator
875875
{
876876
let Some((method_did, method_substs)) =
877-
rustc_const_eval::util::find_self_call(
877+
rustc_middle::util::find_self_call(
878878
self.infcx.tcx,
879879
&self.body,
880880
target_temp,

compiler/rustc_borrowck/src/diagnostics/mutability_errors.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,8 @@ use rustc_span::{sym, BytePos, Span};
1515
use rustc_target::abi::FieldIdx;
1616

1717
use crate::diagnostics::BorrowedContentSource;
18+
use crate::util::FindAssignments;
1819
use crate::MirBorrowckCtxt;
19-
use rustc_const_eval::util::collect_writes::FindAssignments;
2020

2121
#[derive(Copy, Clone, Debug, Eq, PartialEq)]
2222
pub(crate) enum AccessKind {

compiler/rustc_borrowck/src/lib.rs

+1
Original file line numberDiff line numberDiff line change
@@ -88,6 +88,7 @@ mod session_diagnostics;
8888
mod type_check;
8989
mod universal_regions;
9090
mod used_muts;
91+
mod util;
9192

9293
/// A public API provided for the Rust compiler consumers.
9394
pub mod consumers;
+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
mod collect_writes;
2+
3+
pub use collect_writes::FindAssignments;

compiler/rustc_const_eval/src/transform/check_consts/ops.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -14,14 +14,14 @@ use rustc_middle::ty::print::with_no_trimmed_paths;
1414
use rustc_middle::ty::subst::{GenericArgKind, SubstsRef};
1515
use rustc_middle::ty::{suggest_constraining_type_param, Adt, Closure, FnDef, FnPtr, Param, Ty};
1616
use rustc_middle::ty::{Binder, TraitRef};
17+
use rustc_middle::util::{call_kind, CallDesugaringKind, CallKind};
1718
use rustc_session::parse::feature_err;
1819
use rustc_span::symbol::sym;
1920
use rustc_span::{BytePos, Pos, Span, Symbol};
2021
use rustc_trait_selection::traits::SelectionContext;
2122

2223
use super::ConstCx;
2324
use crate::errors;
24-
use crate::util::{call_kind, CallDesugaringKind, CallKind};
2525

2626
#[derive(Clone, Copy, Debug, PartialEq, Eq)]
2727
pub enum Status {
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,9 @@
11
mod alignment;
2-
mod call_kind;
32
mod check_validity_requirement;
4-
pub mod collect_writes;
53
mod compare_types;
6-
mod find_self_call;
74
mod type_name;
85

96
pub use self::alignment::is_disaligned;
10-
pub use self::call_kind::{call_kind, CallDesugaringKind, CallKind};
117
pub use self::check_validity_requirement::check_validity_requirement;
128
pub use self::compare_types::{is_equal_up_to_subtyping, is_subtype};
13-
pub use self::find_self_call::find_self_call;
149
pub use self::type_name::type_name;

compiler/rustc_middle/src/lib.rs

+1-5
Original file line numberDiff line numberDiff line change
@@ -99,13 +99,9 @@ pub mod mir;
9999
pub mod thir;
100100
pub mod traits;
101101
pub mod ty;
102+
pub mod util;
102103
mod values;
103104

104-
pub mod util {
105-
pub mod bug;
106-
pub mod common;
107-
}
108-
109105
// Allows macros to refer to this crate as `::rustc_middle`
110106
extern crate self as rustc_middle;
111107

compiler/rustc_const_eval/src/util/call_kind.rs renamed to compiler/rustc_middle/src/util/call_kind.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,10 @@
22
//! as well as errors when attempting to call a non-const function in a const
33
//! context.
44
5+
use crate::ty::subst::SubstsRef;
6+
use crate::ty::{AssocItemContainer, Instance, ParamEnv, Ty, TyCtxt};
57
use rustc_hir::def_id::DefId;
68
use rustc_hir::{lang_items, LangItem};
7-
use rustc_middle::ty::subst::SubstsRef;
8-
use rustc_middle::ty::{AssocItemContainer, Instance, ParamEnv, Ty, TyCtxt};
99
use rustc_span::symbol::Ident;
1010
use rustc_span::{sym, DesugaringKind, Span};
1111

compiler/rustc_const_eval/src/util/find_self_call.rs renamed to compiler/rustc_middle/src/util/find_self_call.rs

+3-3
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
use rustc_middle::mir::*;
2-
use rustc_middle::ty::subst::SubstsRef;
3-
use rustc_middle::ty::{self, TyCtxt};
1+
use crate::mir::*;
2+
use crate::ty::subst::SubstsRef;
3+
use crate::ty::{self, TyCtxt};
44
use rustc_span::def_id::DefId;
55

66
/// Checks if the specified `local` is used as the `self` parameter of a method call

compiler/rustc_middle/src/util/mod.rs

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
pub mod bug;
2+
pub mod call_kind;
3+
pub mod common;
4+
pub mod find_self_call;
5+
6+
pub use call_kind::{call_kind, CallDesugaringKind, CallKind};
7+
pub use find_self_call::find_self_call;

compiler/rustc_mir_transform/src/check_const_item_mutation.rs

+6-1
Original file line numberDiff line numberDiff line change
@@ -134,7 +134,12 @@ impl<'tcx> Visitor<'tcx> for ConstMutationChecker<'_, 'tcx> {
134134
// the `self` parameter of a method call (as the terminator of our current
135135
// BasicBlock). If so, we emit a more specific lint.
136136
let method_did = self.target_local.and_then(|target_local| {
137-
crate::util::find_self_call(self.tcx, &self.body, target_local, loc.block)
137+
rustc_middle::util::find_self_call(
138+
self.tcx,
139+
&self.body,
140+
target_local,
141+
loc.block,
142+
)
138143
});
139144
let lint_loc =
140145
if method_did.is_some() { self.body.terminator_loc(loc.block) } else { loc };

0 commit comments

Comments
 (0)