Skip to content

Commit 4b57cb3

Browse files
committed
Make librustc_typeck compile.
1 parent f07e889 commit 4b57cb3

30 files changed

+84
-83
lines changed

src/librustc_typeck/astconv.rs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -14,10 +14,6 @@ use crate::require_c_abi_if_c_variadic;
1414
use crate::util::common::ErrorReported;
1515
use rustc::lint::builtin::AMBIGUOUS_ASSOCIATED_ITEMS;
1616
use rustc::session::parse::feature_err;
17-
use rustc::traits;
18-
use rustc::traits::astconv_object_safety_violations;
19-
use rustc::traits::error_reporting::report_object_safety_error;
20-
use rustc::traits::wf::object_region_bounds;
2117
use rustc::ty::subst::{self, InternalSubsts, Subst, SubstsRef};
2218
use rustc::ty::{self, Const, DefIdTree, ToPredicate, Ty, TyCtxt, TypeFoldable, WithConstness};
2319
use rustc::ty::{GenericParamDef, GenericParamDefKind};
@@ -29,6 +25,10 @@ use rustc_hir::def_id::DefId;
2925
use rustc_hir::intravisit::Visitor;
3026
use rustc_hir::print;
3127
use rustc_hir::{Constness, ExprKind, GenericArg, GenericArgs};
28+
use rustc_infer::traits;
29+
use rustc_infer::traits::astconv_object_safety_violations;
30+
use rustc_infer::traits::error_reporting::report_object_safety_error;
31+
use rustc_infer::traits::wf::object_region_bounds;
3232
use rustc_span::symbol::sym;
3333
use rustc_span::{MultiSpan, Span, DUMMY_SP};
3434
use rustc_target::spec::abi;

src/librustc_typeck/check/_match.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
use crate::check::coercion::CoerceMany;
22
use crate::check::{Diverges, Expectation, FnCtxt, Needs};
3-
use rustc::infer::type_variable::{TypeVariableOrigin, TypeVariableOriginKind};
4-
use rustc::traits::ObligationCauseCode;
5-
use rustc::traits::{IfExpressionCause, MatchExpressionArmCause, ObligationCause};
63
use rustc::ty::Ty;
74
use rustc_hir as hir;
85
use rustc_hir::ExprKind;
6+
use rustc_infer::infer::type_variable::{TypeVariableOrigin, TypeVariableOriginKind};
7+
use rustc_infer::traits::ObligationCauseCode;
8+
use rustc_infer::traits::{IfExpressionCause, MatchExpressionArmCause, ObligationCause};
99
use rustc_span::Span;
1010

1111
impl<'a, 'tcx> FnCtxt<'a, 'tcx> {

src/librustc_typeck/check/autoderef.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,14 @@
11
use super::method::MethodCallee;
22
use super::{FnCtxt, Needs, PlaceOp};
33

4-
use rustc::infer::{InferCtxt, InferOk};
54
use rustc::session::DiagnosticMessageId;
6-
use rustc::traits::{self, TraitEngine};
75
use rustc::ty::adjustment::{Adjust, Adjustment, OverloadedDeref};
86
use rustc::ty::{self, TraitRef, Ty, TyCtxt, WithConstness};
97
use rustc::ty::{ToPredicate, TypeFoldable};
108
use rustc_errors::struct_span_err;
119
use rustc_hir as hir;
10+
use rustc_infer::infer::{InferCtxt, InferOk};
11+
use rustc_infer::traits::{self, TraitEngine};
1212

1313
use rustc_span::Span;
1414
use syntax::ast::Ident;

src/librustc_typeck/check/callee.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,15 +3,15 @@ use super::method::MethodCallee;
33
use super::{Expectation, FnCtxt, Needs, TupleArgumentsFlag};
44
use crate::type_error_struct;
55

6-
use rustc::infer::type_variable::{TypeVariableOrigin, TypeVariableOriginKind};
76
use rustc::ty::adjustment::{Adjust, Adjustment, AllowTwoPhase, AutoBorrow, AutoBorrowMutability};
87
use rustc::ty::subst::SubstsRef;
98
use rustc::ty::{self, Ty, TyCtxt, TypeFoldable};
10-
use rustc::{infer, traits};
119
use rustc_errors::{struct_span_err, Applicability, DiagnosticBuilder};
1210
use rustc_hir as hir;
1311
use rustc_hir::def::Res;
1412
use rustc_hir::def_id::{DefId, LOCAL_CRATE};
13+
use rustc_infer::infer::type_variable::{TypeVariableOrigin, TypeVariableOriginKind};
14+
use rustc_infer::{infer, traits};
1515
use rustc_span::Span;
1616
use rustc_target::spec::abi;
1717
use syntax::ast::Ident;

src/librustc_typeck/check/cast.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -36,16 +36,16 @@ use crate::type_error_struct;
3636
use crate::util::common::ErrorReported;
3737
use rustc::middle::lang_items;
3838
use rustc::session::Session;
39-
use rustc::traits;
40-
use rustc::traits::error_reporting::report_object_safety_error;
41-
use rustc::traits::object_safety_violations;
4239
use rustc::ty::adjustment::AllowTwoPhase;
4340
use rustc::ty::cast::{CastKind, CastTy};
4441
use rustc::ty::error::TypeError;
4542
use rustc::ty::subst::SubstsRef;
4643
use rustc::ty::{self, Ty, TypeAndMut, TypeFoldable};
4744
use rustc_errors::{struct_span_err, Applicability, DiagnosticBuilder};
4845
use rustc_hir as hir;
46+
use rustc_infer::traits;
47+
use rustc_infer::traits::error_reporting::report_object_safety_error;
48+
use rustc_infer::traits::object_safety_violations;
4949
use rustc_span::Span;
5050
use syntax::ast;
5151

src/librustc_typeck/check/closure.rs

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -4,16 +4,16 @@ use super::{check_fn, Expectation, FnCtxt, GeneratorTypes};
44

55
use crate::astconv::AstConv;
66
use crate::middle::{lang_items, region};
7-
use rustc::infer::type_variable::{TypeVariableOrigin, TypeVariableOriginKind};
8-
use rustc::infer::LateBoundRegionConversionTime;
9-
use rustc::infer::{InferOk, InferResult};
10-
use rustc::traits::error_reporting::ArgKind;
11-
use rustc::traits::Obligation;
127
use rustc::ty::fold::TypeFoldable;
138
use rustc::ty::subst::InternalSubsts;
149
use rustc::ty::{self, GenericParamDefKind, Ty};
1510
use rustc_hir as hir;
1611
use rustc_hir::def_id::DefId;
12+
use rustc_infer::infer::type_variable::{TypeVariableOrigin, TypeVariableOriginKind};
13+
use rustc_infer::infer::LateBoundRegionConversionTime;
14+
use rustc_infer::infer::{InferOk, InferResult};
15+
use rustc_infer::traits::error_reporting::ArgKind;
16+
use rustc_infer::traits::Obligation;
1717
use rustc_span::source_map::Span;
1818
use rustc_target::spec::abi::Abi;
1919
use std::cmp;

src/librustc_typeck/check/coercion.rs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -52,11 +52,7 @@
5252
5353
use crate::astconv::AstConv;
5454
use crate::check::{FnCtxt, Needs};
55-
use rustc::infer::type_variable::{TypeVariableOrigin, TypeVariableOriginKind};
56-
use rustc::infer::{Coercion, InferOk, InferResult};
5755
use rustc::session::parse::feature_err;
58-
use rustc::traits::object_safety_violations;
59-
use rustc::traits::{self, ObligationCause, ObligationCauseCode};
6056
use rustc::ty::adjustment::{
6157
Adjust, Adjustment, AllowTwoPhase, AutoBorrow, AutoBorrowMutability, PointerCast,
6258
};
@@ -68,6 +64,10 @@ use rustc::ty::{self, Ty, TypeAndMut};
6864
use rustc_errors::{struct_span_err, DiagnosticBuilder};
6965
use rustc_hir as hir;
7066
use rustc_hir::def_id::DefId;
67+
use rustc_infer::infer::type_variable::{TypeVariableOrigin, TypeVariableOriginKind};
68+
use rustc_infer::infer::{Coercion, InferOk, InferResult};
69+
use rustc_infer::traits::object_safety_violations;
70+
use rustc_infer::traits::{self, ObligationCause, ObligationCauseCode};
7171
use rustc_span::symbol::sym;
7272
use rustc_span::{self, Span};
7373
use rustc_target::spec::abi::Abi;

src/librustc_typeck/check/compare_method.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,4 @@
11
use rustc::hir::map::Map;
2-
use rustc::infer::{self, InferOk};
3-
use rustc::traits::{self, ObligationCause, ObligationCauseCode, Reveal};
42
use rustc::ty::error::{ExpectedFound, TypeError};
53
use rustc::ty::subst::{InternalSubsts, Subst};
64
use rustc::ty::util::ExplicitSelf;
@@ -11,6 +9,8 @@ use rustc_hir as hir;
119
use rustc_hir::def::{DefKind, Res};
1210
use rustc_hir::intravisit;
1311
use rustc_hir::{GenericParamKind, ImplItemKind, TraitItemKind};
12+
use rustc_infer::infer::{self, InferOk, TyCtxtInferExt};
13+
use rustc_infer::traits::{self, ObligationCause, ObligationCauseCode, Reveal};
1414
use rustc_span::Span;
1515

1616
use super::{potentially_plural_count, FnCtxt, Inherited};

src/librustc_typeck/check/demand.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
use crate::check::FnCtxt;
2-
use rustc::infer::InferOk;
3-
use rustc::traits::{self, ObligationCause};
2+
use rustc_infer::infer::InferOk;
3+
use rustc_infer::traits::{self, ObligationCause};
44

55
use rustc::ty::adjustment::AllowTwoPhase;
66
use rustc::ty::{self, AssocItem, Ty};

src/librustc_typeck/check/dropck.rs

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2,16 +2,15 @@ use crate::check::regionck::RegionCtxt;
22
use crate::hir;
33
use crate::hir::def_id::DefId;
44
use crate::util::common::ErrorReported;
5-
use rustc::infer::outlives::env::OutlivesEnvironment;
6-
use rustc::infer::{InferOk, SuppressRegionErrors};
75
use rustc::middle::region;
8-
use rustc::traits::{ObligationCause, TraitEngine, TraitEngineExt};
96
use rustc::ty::error::TypeError;
107
use rustc::ty::relate::{Relate, RelateResult, TypeRelation};
118
use rustc::ty::subst::{Subst, SubstsRef};
129
use rustc::ty::{self, Predicate, Ty, TyCtxt};
1310
use rustc_errors::struct_span_err;
14-
11+
use rustc_infer::infer::outlives::env::OutlivesEnvironment;
12+
use rustc_infer::infer::{InferOk, SuppressRegionErrors, TyCtxtInferExt};
13+
use rustc_infer::traits::{ObligationCause, TraitEngine, TraitEngineExt};
1514
use rustc_span::Span;
1615

1716
/// This function confirms that the `Drop` implementation identified by

0 commit comments

Comments
 (0)