about summary refs log tree commit diff
diff options
context:
space:
mode:
authorCamille GILLOT <gillot.camille@gmail.com>2020-01-06 20:13:24 +0100
committerCamille GILLOT <gillot.camille@gmail.com>2020-02-16 11:41:25 +0100
commitd5691209b6d5fe5e47560b1db7b822dbeb0880fd (patch)
treeb1112b3deff1b5982841886bbf63f4f2abe0472e
parent8040bc983669fcc3fe358dfc9772ea2ecde0ae1b (diff)
downloadrust-d5691209b6d5fe5e47560b1db7b822dbeb0880fd.tar.gz
rust-d5691209b6d5fe5e47560b1db7b822dbeb0880fd.zip
Move librustc/{traits,infer} to librustc_infer.
-rw-r--r--src/librustc_infer/infer/at.rs (renamed from src/librustc/infer/at.rs)0
-rw-r--r--src/librustc_infer/infer/canonical/canonicalizer.rs (renamed from src/librustc/infer/canonical/canonicalizer.rs)0
-rw-r--r--src/librustc_infer/infer/canonical/mod.rs (renamed from src/librustc/infer/canonical/mod.rs)0
-rw-r--r--src/librustc_infer/infer/canonical/query_response.rs (renamed from src/librustc/infer/canonical/query_response.rs)0
-rw-r--r--src/librustc_infer/infer/canonical/substitute.rs (renamed from src/librustc/infer/canonical/substitute.rs)0
-rw-r--r--src/librustc_infer/infer/combine.rs (renamed from src/librustc/infer/combine.rs)0
-rw-r--r--src/librustc_infer/infer/equate.rs (renamed from src/librustc/infer/equate.rs)0
-rw-r--r--src/librustc_infer/infer/error_reporting/mod.rs (renamed from src/librustc/infer/error_reporting/mod.rs)0
-rw-r--r--src/librustc_infer/infer/error_reporting/need_type_info.rs (renamed from src/librustc/infer/error_reporting/need_type_info.rs)0
-rw-r--r--src/librustc_infer/infer/error_reporting/nice_region_error/different_lifetimes.rs (renamed from src/librustc/infer/error_reporting/nice_region_error/different_lifetimes.rs)0
-rw-r--r--src/librustc_infer/infer/error_reporting/nice_region_error/find_anon_type.rs (renamed from src/librustc/infer/error_reporting/nice_region_error/find_anon_type.rs)0
-rw-r--r--src/librustc_infer/infer/error_reporting/nice_region_error/mod.rs (renamed from src/librustc/infer/error_reporting/nice_region_error/mod.rs)0
-rw-r--r--src/librustc_infer/infer/error_reporting/nice_region_error/named_anon_conflict.rs (renamed from src/librustc/infer/error_reporting/nice_region_error/named_anon_conflict.rs)0
-rw-r--r--src/librustc_infer/infer/error_reporting/nice_region_error/outlives_closure.rs (renamed from src/librustc/infer/error_reporting/nice_region_error/outlives_closure.rs)0
-rw-r--r--src/librustc_infer/infer/error_reporting/nice_region_error/placeholder_error.rs (renamed from src/librustc/infer/error_reporting/nice_region_error/placeholder_error.rs)0
-rw-r--r--src/librustc_infer/infer/error_reporting/nice_region_error/static_impl_trait.rs (renamed from src/librustc/infer/error_reporting/nice_region_error/static_impl_trait.rs)0
-rw-r--r--src/librustc_infer/infer/error_reporting/nice_region_error/trait_impl_difference.rs (renamed from src/librustc/infer/error_reporting/nice_region_error/trait_impl_difference.rs)0
-rw-r--r--src/librustc_infer/infer/error_reporting/nice_region_error/util.rs (renamed from src/librustc/infer/error_reporting/nice_region_error/util.rs)0
-rw-r--r--src/librustc_infer/infer/error_reporting/note.rs (renamed from src/librustc/infer/error_reporting/note.rs)0
-rw-r--r--src/librustc_infer/infer/freshen.rs (renamed from src/librustc/infer/freshen.rs)0
-rw-r--r--src/librustc_infer/infer/fudge.rs (renamed from src/librustc/infer/fudge.rs)0
-rw-r--r--src/librustc_infer/infer/glb.rs (renamed from src/librustc/infer/glb.rs)0
-rw-r--r--src/librustc_infer/infer/higher_ranked/README.md (renamed from src/librustc/infer/higher_ranked/README.md)0
-rw-r--r--src/librustc_infer/infer/higher_ranked/mod.rs (renamed from src/librustc/infer/higher_ranked/mod.rs)0
-rw-r--r--src/librustc_infer/infer/lattice.rs (renamed from src/librustc/infer/lattice.rs)0
-rw-r--r--src/librustc_infer/infer/lexical_region_resolve/README.md (renamed from src/librustc/infer/lexical_region_resolve/README.md)0
-rw-r--r--src/librustc_infer/infer/lexical_region_resolve/graphviz.rs (renamed from src/librustc/infer/lexical_region_resolve/graphviz.rs)0
-rw-r--r--src/librustc_infer/infer/lexical_region_resolve/mod.rs (renamed from src/librustc/infer/lexical_region_resolve/mod.rs)0
-rw-r--r--src/librustc_infer/infer/lub.rs (renamed from src/librustc/infer/lub.rs)0
-rw-r--r--src/librustc_infer/infer/mod.rs (renamed from src/librustc/infer/mod.rs)0
-rw-r--r--src/librustc_infer/infer/nll_relate/mod.rs (renamed from src/librustc/infer/nll_relate/mod.rs)0
-rw-r--r--src/librustc_infer/infer/opaque_types/mod.rs (renamed from src/librustc/infer/opaque_types/mod.rs)0
-rw-r--r--src/librustc_infer/infer/outlives/env.rs (renamed from src/librustc/infer/outlives/env.rs)0
-rw-r--r--src/librustc_infer/infer/outlives/mod.rs (renamed from src/librustc/infer/outlives/mod.rs)0
-rw-r--r--src/librustc_infer/infer/outlives/obligations.rs (renamed from src/librustc/infer/outlives/obligations.rs)0
-rw-r--r--src/librustc_infer/infer/outlives/verify.rs (renamed from src/librustc/infer/outlives/verify.rs)0
-rw-r--r--src/librustc_infer/infer/region_constraints/README.md (renamed from src/librustc/infer/region_constraints/README.md)0
-rw-r--r--src/librustc_infer/infer/region_constraints/leak_check.rs (renamed from src/librustc/infer/region_constraints/leak_check.rs)0
-rw-r--r--src/librustc_infer/infer/region_constraints/mod.rs (renamed from src/librustc/infer/region_constraints/mod.rs)0
-rw-r--r--src/librustc_infer/infer/resolve.rs (renamed from src/librustc/infer/resolve.rs)0
-rw-r--r--src/librustc_infer/infer/sub.rs (renamed from src/librustc/infer/sub.rs)0
-rw-r--r--src/librustc_infer/infer/type_variable.rs (renamed from src/librustc/infer/type_variable.rs)0
-rw-r--r--src/librustc_infer/traits/auto_trait.rs (renamed from src/librustc/traits/auto_trait.rs)0
-rw-r--r--src/librustc_infer/traits/chalk_fulfill.rs (renamed from src/librustc/traits/chalk_fulfill.rs)0
-rw-r--r--src/librustc_infer/traits/codegen/mod.rs (renamed from src/librustc/traits/codegen/mod.rs)0
-rw-r--r--src/librustc_infer/traits/coherence.rs (renamed from src/librustc/traits/coherence.rs)0
-rw-r--r--src/librustc_infer/traits/engine.rs (renamed from src/librustc/traits/engine.rs)0
-rw-r--r--src/librustc_infer/traits/error_reporting/mod.rs (renamed from src/librustc/traits/error_reporting/mod.rs)0
-rw-r--r--src/librustc_infer/traits/error_reporting/on_unimplemented.rs (renamed from src/librustc/traits/error_reporting/on_unimplemented.rs)0
-rw-r--r--src/librustc_infer/traits/error_reporting/suggestions.rs (renamed from src/librustc/traits/error_reporting/suggestions.rs)0
-rw-r--r--src/librustc_infer/traits/fulfill.rs (renamed from src/librustc/traits/fulfill.rs)0
-rw-r--r--src/librustc_infer/traits/misc.rs (renamed from src/librustc/traits/misc.rs)0
-rw-r--r--src/librustc_infer/traits/mod.rs (renamed from src/librustc/traits/mod.rs)0
-rw-r--r--src/librustc_infer/traits/object_safety.rs (renamed from src/librustc/traits/object_safety.rs)0
-rw-r--r--src/librustc_infer/traits/on_unimplemented.rs (renamed from src/librustc/traits/on_unimplemented.rs)0
-rw-r--r--src/librustc_infer/traits/project.rs (renamed from src/librustc/traits/project.rs)0
-rw-r--r--src/librustc_infer/traits/query/dropck_outlives.rs (renamed from src/librustc/traits/query/dropck_outlives.rs)0
-rw-r--r--src/librustc_infer/traits/query/evaluate_obligation.rs (renamed from src/librustc/traits/query/evaluate_obligation.rs)0
-rw-r--r--src/librustc_infer/traits/query/method_autoderef.rs (renamed from src/librustc/traits/query/method_autoderef.rs)0
-rw-r--r--src/librustc_infer/traits/query/mod.rs (renamed from src/librustc/traits/query/mod.rs)0
-rw-r--r--src/librustc_infer/traits/query/normalize.rs (renamed from src/librustc/traits/query/normalize.rs)0
-rw-r--r--src/librustc_infer/traits/query/outlives_bounds.rs (renamed from src/librustc/traits/query/outlives_bounds.rs)0
-rw-r--r--src/librustc_infer/traits/query/type_op/ascribe_user_type.rs (renamed from src/librustc/traits/query/type_op/ascribe_user_type.rs)0
-rw-r--r--src/librustc_infer/traits/query/type_op/custom.rs (renamed from src/librustc/traits/query/type_op/custom.rs)0
-rw-r--r--src/librustc_infer/traits/query/type_op/eq.rs (renamed from src/librustc/traits/query/type_op/eq.rs)0
-rw-r--r--src/librustc_infer/traits/query/type_op/implied_outlives_bounds.rs (renamed from src/librustc/traits/query/type_op/implied_outlives_bounds.rs)0
-rw-r--r--src/librustc_infer/traits/query/type_op/mod.rs (renamed from src/librustc/traits/query/type_op/mod.rs)0
-rw-r--r--src/librustc_infer/traits/query/type_op/normalize.rs (renamed from src/librustc/traits/query/type_op/normalize.rs)0
-rw-r--r--src/librustc_infer/traits/query/type_op/outlives.rs (renamed from src/librustc/traits/query/type_op/outlives.rs)0
-rw-r--r--src/librustc_infer/traits/query/type_op/prove_predicate.rs (renamed from src/librustc/traits/query/type_op/prove_predicate.rs)0
-rw-r--r--src/librustc_infer/traits/query/type_op/subtype.rs (renamed from src/librustc/traits/query/type_op/subtype.rs)0
-rw-r--r--src/librustc_infer/traits/select.rs (renamed from src/librustc/traits/select.rs)0
-rw-r--r--src/librustc_infer/traits/specialize/mod.rs (renamed from src/librustc/traits/specialize/mod.rs)0
-rw-r--r--src/librustc_infer/traits/specialize/specialization_graph.rs (renamed from src/librustc/traits/specialize/specialization_graph.rs)0
-rw-r--r--src/librustc_infer/traits/structural_impls.rs (renamed from src/librustc/traits/structural_impls.rs)0
-rw-r--r--src/librustc_infer/traits/structural_match.rs (renamed from src/librustc/traits/structural_match.rs)0
-rw-r--r--src/librustc_infer/traits/util.rs (renamed from src/librustc/traits/util.rs)0
-rw-r--r--src/librustc_infer/traits/wf.rs (renamed from src/librustc/traits/wf.rs)0
78 files changed, 0 insertions, 0 deletions
diff --git a/src/librustc/infer/at.rs b/src/librustc_infer/infer/at.rs
index c58f1bd87bd..c58f1bd87bd 100644
--- a/src/librustc/infer/at.rs
+++ b/src/librustc_infer/infer/at.rs
diff --git a/src/librustc/infer/canonical/canonicalizer.rs b/src/librustc_infer/infer/canonical/canonicalizer.rs
index 85fafa34915..85fafa34915 100644
--- a/src/librustc/infer/canonical/canonicalizer.rs
+++ b/src/librustc_infer/infer/canonical/canonicalizer.rs
diff --git a/src/librustc/infer/canonical/mod.rs b/src/librustc_infer/infer/canonical/mod.rs
index f157d805bcd..f157d805bcd 100644
--- a/src/librustc/infer/canonical/mod.rs
+++ b/src/librustc_infer/infer/canonical/mod.rs
diff --git a/src/librustc/infer/canonical/query_response.rs b/src/librustc_infer/infer/canonical/query_response.rs
index 012900f8af5..012900f8af5 100644
--- a/src/librustc/infer/canonical/query_response.rs
+++ b/src/librustc_infer/infer/canonical/query_response.rs
diff --git a/src/librustc/infer/canonical/substitute.rs b/src/librustc_infer/infer/canonical/substitute.rs
index 92516345633..92516345633 100644
--- a/src/librustc/infer/canonical/substitute.rs
+++ b/src/librustc_infer/infer/canonical/substitute.rs
diff --git a/src/librustc/infer/combine.rs b/src/librustc_infer/infer/combine.rs
index 9eb961255c2..9eb961255c2 100644
--- a/src/librustc/infer/combine.rs
+++ b/src/librustc_infer/infer/combine.rs
diff --git a/src/librustc/infer/equate.rs b/src/librustc_infer/infer/equate.rs
index 018bbe03543..018bbe03543 100644
--- a/src/librustc/infer/equate.rs
+++ b/src/librustc_infer/infer/equate.rs
diff --git a/src/librustc/infer/error_reporting/mod.rs b/src/librustc_infer/infer/error_reporting/mod.rs
index 327e1da64c4..327e1da64c4 100644
--- a/src/librustc/infer/error_reporting/mod.rs
+++ b/src/librustc_infer/infer/error_reporting/mod.rs
diff --git a/src/librustc/infer/error_reporting/need_type_info.rs b/src/librustc_infer/infer/error_reporting/need_type_info.rs
index 0d7fce7eac6..0d7fce7eac6 100644
--- a/src/librustc/infer/error_reporting/need_type_info.rs
+++ b/src/librustc_infer/infer/error_reporting/need_type_info.rs
diff --git a/src/librustc/infer/error_reporting/nice_region_error/different_lifetimes.rs b/src/librustc_infer/infer/error_reporting/nice_region_error/different_lifetimes.rs
index 6a9fe19e1ac..6a9fe19e1ac 100644
--- a/src/librustc/infer/error_reporting/nice_region_error/different_lifetimes.rs
+++ b/src/librustc_infer/infer/error_reporting/nice_region_error/different_lifetimes.rs
diff --git a/src/librustc/infer/error_reporting/nice_region_error/find_anon_type.rs b/src/librustc_infer/infer/error_reporting/nice_region_error/find_anon_type.rs
index 8e2592b5318..8e2592b5318 100644
--- a/src/librustc/infer/error_reporting/nice_region_error/find_anon_type.rs
+++ b/src/librustc_infer/infer/error_reporting/nice_region_error/find_anon_type.rs
diff --git a/src/librustc/infer/error_reporting/nice_region_error/mod.rs b/src/librustc_infer/infer/error_reporting/nice_region_error/mod.rs
index b10a60ef6f1..b10a60ef6f1 100644
--- a/src/librustc/infer/error_reporting/nice_region_error/mod.rs
+++ b/src/librustc_infer/infer/error_reporting/nice_region_error/mod.rs
diff --git a/src/librustc/infer/error_reporting/nice_region_error/named_anon_conflict.rs b/src/librustc_infer/infer/error_reporting/nice_region_error/named_anon_conflict.rs
index 250dcff372c..250dcff372c 100644
--- a/src/librustc/infer/error_reporting/nice_region_error/named_anon_conflict.rs
+++ b/src/librustc_infer/infer/error_reporting/nice_region_error/named_anon_conflict.rs
diff --git a/src/librustc/infer/error_reporting/nice_region_error/outlives_closure.rs b/src/librustc_infer/infer/error_reporting/nice_region_error/outlives_closure.rs
index af0e5ef8005..af0e5ef8005 100644
--- a/src/librustc/infer/error_reporting/nice_region_error/outlives_closure.rs
+++ b/src/librustc_infer/infer/error_reporting/nice_region_error/outlives_closure.rs
diff --git a/src/librustc/infer/error_reporting/nice_region_error/placeholder_error.rs b/src/librustc_infer/infer/error_reporting/nice_region_error/placeholder_error.rs
index 0b0bd61ce77..0b0bd61ce77 100644
--- a/src/librustc/infer/error_reporting/nice_region_error/placeholder_error.rs
+++ b/src/librustc_infer/infer/error_reporting/nice_region_error/placeholder_error.rs
diff --git a/src/librustc/infer/error_reporting/nice_region_error/static_impl_trait.rs b/src/librustc_infer/infer/error_reporting/nice_region_error/static_impl_trait.rs
index c6fc4cd3c15..c6fc4cd3c15 100644
--- a/src/librustc/infer/error_reporting/nice_region_error/static_impl_trait.rs
+++ b/src/librustc_infer/infer/error_reporting/nice_region_error/static_impl_trait.rs
diff --git a/src/librustc/infer/error_reporting/nice_region_error/trait_impl_difference.rs b/src/librustc_infer/infer/error_reporting/nice_region_error/trait_impl_difference.rs
index a33cb511133..a33cb511133 100644
--- a/src/librustc/infer/error_reporting/nice_region_error/trait_impl_difference.rs
+++ b/src/librustc_infer/infer/error_reporting/nice_region_error/trait_impl_difference.rs
diff --git a/src/librustc/infer/error_reporting/nice_region_error/util.rs b/src/librustc_infer/infer/error_reporting/nice_region_error/util.rs
index 52ccb1454ee..52ccb1454ee 100644
--- a/src/librustc/infer/error_reporting/nice_region_error/util.rs
+++ b/src/librustc_infer/infer/error_reporting/nice_region_error/util.rs
diff --git a/src/librustc/infer/error_reporting/note.rs b/src/librustc_infer/infer/error_reporting/note.rs
index 11dda71b8cb..11dda71b8cb 100644
--- a/src/librustc/infer/error_reporting/note.rs
+++ b/src/librustc_infer/infer/error_reporting/note.rs
diff --git a/src/librustc/infer/freshen.rs b/src/librustc_infer/infer/freshen.rs
index 0190989267b..0190989267b 100644
--- a/src/librustc/infer/freshen.rs
+++ b/src/librustc_infer/infer/freshen.rs
diff --git a/src/librustc/infer/fudge.rs b/src/librustc_infer/infer/fudge.rs
index d0b7bb32b98..d0b7bb32b98 100644
--- a/src/librustc/infer/fudge.rs
+++ b/src/librustc_infer/infer/fudge.rs
diff --git a/src/librustc/infer/glb.rs b/src/librustc_infer/infer/glb.rs
index 6ef92132bc7..6ef92132bc7 100644
--- a/src/librustc/infer/glb.rs
+++ b/src/librustc_infer/infer/glb.rs
diff --git a/src/librustc/infer/higher_ranked/README.md b/src/librustc_infer/infer/higher_ranked/README.md
index e7afaa5beb0..e7afaa5beb0 100644
--- a/src/librustc/infer/higher_ranked/README.md
+++ b/src/librustc_infer/infer/higher_ranked/README.md
diff --git a/src/librustc/infer/higher_ranked/mod.rs b/src/librustc_infer/infer/higher_ranked/mod.rs
index 1b0f399ca33..1b0f399ca33 100644
--- a/src/librustc/infer/higher_ranked/mod.rs
+++ b/src/librustc_infer/infer/higher_ranked/mod.rs
diff --git a/src/librustc/infer/lattice.rs b/src/librustc_infer/infer/lattice.rs
index df475af1151..df475af1151 100644
--- a/src/librustc/infer/lattice.rs
+++ b/src/librustc_infer/infer/lattice.rs
diff --git a/src/librustc/infer/lexical_region_resolve/README.md b/src/librustc_infer/infer/lexical_region_resolve/README.md
index c26b5625a90..c26b5625a90 100644
--- a/src/librustc/infer/lexical_region_resolve/README.md
+++ b/src/librustc_infer/infer/lexical_region_resolve/README.md
diff --git a/src/librustc/infer/lexical_region_resolve/graphviz.rs b/src/librustc_infer/infer/lexical_region_resolve/graphviz.rs
index a930e707c5c..a930e707c5c 100644
--- a/src/librustc/infer/lexical_region_resolve/graphviz.rs
+++ b/src/librustc_infer/infer/lexical_region_resolve/graphviz.rs
diff --git a/src/librustc/infer/lexical_region_resolve/mod.rs b/src/librustc_infer/infer/lexical_region_resolve/mod.rs
index 1b204e5ba6c..1b204e5ba6c 100644
--- a/src/librustc/infer/lexical_region_resolve/mod.rs
+++ b/src/librustc_infer/infer/lexical_region_resolve/mod.rs
diff --git a/src/librustc/infer/lub.rs b/src/librustc_infer/infer/lub.rs
index 6a699f803c7..6a699f803c7 100644
--- a/src/librustc/infer/lub.rs
+++ b/src/librustc_infer/infer/lub.rs
diff --git a/src/librustc/infer/mod.rs b/src/librustc_infer/infer/mod.rs
index be58de996a5..be58de996a5 100644
--- a/src/librustc/infer/mod.rs
+++ b/src/librustc_infer/infer/mod.rs
diff --git a/src/librustc/infer/nll_relate/mod.rs b/src/librustc_infer/infer/nll_relate/mod.rs
index 77e20e6ad8f..77e20e6ad8f 100644
--- a/src/librustc/infer/nll_relate/mod.rs
+++ b/src/librustc_infer/infer/nll_relate/mod.rs
diff --git a/src/librustc/infer/opaque_types/mod.rs b/src/librustc_infer/infer/opaque_types/mod.rs
index 5ecd03e4123..5ecd03e4123 100644
--- a/src/librustc/infer/opaque_types/mod.rs
+++ b/src/librustc_infer/infer/opaque_types/mod.rs
diff --git a/src/librustc/infer/outlives/env.rs b/src/librustc_infer/infer/outlives/env.rs
index ee2e629c2fc..ee2e629c2fc 100644
--- a/src/librustc/infer/outlives/env.rs
+++ b/src/librustc_infer/infer/outlives/env.rs
diff --git a/src/librustc/infer/outlives/mod.rs b/src/librustc_infer/infer/outlives/mod.rs
index 6fc72470c9f..6fc72470c9f 100644
--- a/src/librustc/infer/outlives/mod.rs
+++ b/src/librustc_infer/infer/outlives/mod.rs
diff --git a/src/librustc/infer/outlives/obligations.rs b/src/librustc_infer/infer/outlives/obligations.rs
index 17153ef9724..17153ef9724 100644
--- a/src/librustc/infer/outlives/obligations.rs
+++ b/src/librustc_infer/infer/outlives/obligations.rs
diff --git a/src/librustc/infer/outlives/verify.rs b/src/librustc_infer/infer/outlives/verify.rs
index a2c99064caa..a2c99064caa 100644
--- a/src/librustc/infer/outlives/verify.rs
+++ b/src/librustc_infer/infer/outlives/verify.rs
diff --git a/src/librustc/infer/region_constraints/README.md b/src/librustc_infer/infer/region_constraints/README.md
index d789fb0de10..d789fb0de10 100644
--- a/src/librustc/infer/region_constraints/README.md
+++ b/src/librustc_infer/infer/region_constraints/README.md
diff --git a/src/librustc/infer/region_constraints/leak_check.rs b/src/librustc_infer/infer/region_constraints/leak_check.rs
index 29290cef2d2..29290cef2d2 100644
--- a/src/librustc/infer/region_constraints/leak_check.rs
+++ b/src/librustc_infer/infer/region_constraints/leak_check.rs
diff --git a/src/librustc/infer/region_constraints/mod.rs b/src/librustc_infer/infer/region_constraints/mod.rs
index 8379a73bb9e..8379a73bb9e 100644
--- a/src/librustc/infer/region_constraints/mod.rs
+++ b/src/librustc_infer/infer/region_constraints/mod.rs
diff --git a/src/librustc/infer/resolve.rs b/src/librustc_infer/infer/resolve.rs
index c9acd1cf4a1..c9acd1cf4a1 100644
--- a/src/librustc/infer/resolve.rs
+++ b/src/librustc_infer/infer/resolve.rs
diff --git a/src/librustc/infer/sub.rs b/src/librustc_infer/infer/sub.rs
index ef4903358d5..ef4903358d5 100644
--- a/src/librustc/infer/sub.rs
+++ b/src/librustc_infer/infer/sub.rs
diff --git a/src/librustc/infer/type_variable.rs b/src/librustc_infer/infer/type_variable.rs
index f391a054a2a..f391a054a2a 100644
--- a/src/librustc/infer/type_variable.rs
+++ b/src/librustc_infer/infer/type_variable.rs
diff --git a/src/librustc/traits/auto_trait.rs b/src/librustc_infer/traits/auto_trait.rs
index 3ab87ce8eb4..3ab87ce8eb4 100644
--- a/src/librustc/traits/auto_trait.rs
+++ b/src/librustc_infer/traits/auto_trait.rs
diff --git a/src/librustc/traits/chalk_fulfill.rs b/src/librustc_infer/traits/chalk_fulfill.rs
index a765e55d99f..a765e55d99f 100644
--- a/src/librustc/traits/chalk_fulfill.rs
+++ b/src/librustc_infer/traits/chalk_fulfill.rs
diff --git a/src/librustc/traits/codegen/mod.rs b/src/librustc_infer/traits/codegen/mod.rs
index 8a264a79fb6..8a264a79fb6 100644
--- a/src/librustc/traits/codegen/mod.rs
+++ b/src/librustc_infer/traits/codegen/mod.rs
diff --git a/src/librustc/traits/coherence.rs b/src/librustc_infer/traits/coherence.rs
index 2a667b53550..2a667b53550 100644
--- a/src/librustc/traits/coherence.rs
+++ b/src/librustc_infer/traits/coherence.rs
diff --git a/src/librustc/traits/engine.rs b/src/librustc_infer/traits/engine.rs
index 84bfc86e6a9..84bfc86e6a9 100644
--- a/src/librustc/traits/engine.rs
+++ b/src/librustc_infer/traits/engine.rs
diff --git a/src/librustc/traits/error_reporting/mod.rs b/src/librustc_infer/traits/error_reporting/mod.rs
index c25b392ec23..c25b392ec23 100644
--- a/src/librustc/traits/error_reporting/mod.rs
+++ b/src/librustc_infer/traits/error_reporting/mod.rs
diff --git a/src/librustc/traits/error_reporting/on_unimplemented.rs b/src/librustc_infer/traits/error_reporting/on_unimplemented.rs
index ab2d74b1c8d..ab2d74b1c8d 100644
--- a/src/librustc/traits/error_reporting/on_unimplemented.rs
+++ b/src/librustc_infer/traits/error_reporting/on_unimplemented.rs
diff --git a/src/librustc/traits/error_reporting/suggestions.rs b/src/librustc_infer/traits/error_reporting/suggestions.rs
index 82b73518d09..82b73518d09 100644
--- a/src/librustc/traits/error_reporting/suggestions.rs
+++ b/src/librustc_infer/traits/error_reporting/suggestions.rs
diff --git a/src/librustc/traits/fulfill.rs b/src/librustc_infer/traits/fulfill.rs
index 07352a3f947..07352a3f947 100644
--- a/src/librustc/traits/fulfill.rs
+++ b/src/librustc_infer/traits/fulfill.rs
diff --git a/src/librustc/traits/misc.rs b/src/librustc_infer/traits/misc.rs
index 3fd0d12c626..3fd0d12c626 100644
--- a/src/librustc/traits/misc.rs
+++ b/src/librustc_infer/traits/misc.rs
diff --git a/src/librustc/traits/mod.rs b/src/librustc_infer/traits/mod.rs
index 556e69b04f8..556e69b04f8 100644
--- a/src/librustc/traits/mod.rs
+++ b/src/librustc_infer/traits/mod.rs
diff --git a/src/librustc/traits/object_safety.rs b/src/librustc_infer/traits/object_safety.rs
index 4c5cd866b4a..4c5cd866b4a 100644
--- a/src/librustc/traits/object_safety.rs
+++ b/src/librustc_infer/traits/object_safety.rs
diff --git a/src/librustc/traits/on_unimplemented.rs b/src/librustc_infer/traits/on_unimplemented.rs
index ca824d40e38..ca824d40e38 100644
--- a/src/librustc/traits/on_unimplemented.rs
+++ b/src/librustc_infer/traits/on_unimplemented.rs
diff --git a/src/librustc/traits/project.rs b/src/librustc_infer/traits/project.rs
index 5d9f4ddfd16..5d9f4ddfd16 100644
--- a/src/librustc/traits/project.rs
+++ b/src/librustc_infer/traits/project.rs
diff --git a/src/librustc/traits/query/dropck_outlives.rs b/src/librustc_infer/traits/query/dropck_outlives.rs
index a1d7a2836e4..a1d7a2836e4 100644
--- a/src/librustc/traits/query/dropck_outlives.rs
+++ b/src/librustc_infer/traits/query/dropck_outlives.rs
diff --git a/src/librustc/traits/query/evaluate_obligation.rs b/src/librustc_infer/traits/query/evaluate_obligation.rs
index b9ce3ccff27..b9ce3ccff27 100644
--- a/src/librustc/traits/query/evaluate_obligation.rs
+++ b/src/librustc_infer/traits/query/evaluate_obligation.rs
diff --git a/src/librustc/traits/query/method_autoderef.rs b/src/librustc_infer/traits/query/method_autoderef.rs
index 80748c5ef38..80748c5ef38 100644
--- a/src/librustc/traits/query/method_autoderef.rs
+++ b/src/librustc_infer/traits/query/method_autoderef.rs
diff --git a/src/librustc/traits/query/mod.rs b/src/librustc_infer/traits/query/mod.rs
index 20a873dc4c6..20a873dc4c6 100644
--- a/src/librustc/traits/query/mod.rs
+++ b/src/librustc_infer/traits/query/mod.rs
diff --git a/src/librustc/traits/query/normalize.rs b/src/librustc_infer/traits/query/normalize.rs
index 737b4fc6bb9..737b4fc6bb9 100644
--- a/src/librustc/traits/query/normalize.rs
+++ b/src/librustc_infer/traits/query/normalize.rs
diff --git a/src/librustc/traits/query/outlives_bounds.rs b/src/librustc_infer/traits/query/outlives_bounds.rs
index 594faffa5f3..594faffa5f3 100644
--- a/src/librustc/traits/query/outlives_bounds.rs
+++ b/src/librustc_infer/traits/query/outlives_bounds.rs
diff --git a/src/librustc/traits/query/type_op/ascribe_user_type.rs b/src/librustc_infer/traits/query/type_op/ascribe_user_type.rs
index b14b79f0907..b14b79f0907 100644
--- a/src/librustc/traits/query/type_op/ascribe_user_type.rs
+++ b/src/librustc_infer/traits/query/type_op/ascribe_user_type.rs
diff --git a/src/librustc/traits/query/type_op/custom.rs b/src/librustc_infer/traits/query/type_op/custom.rs
index c1c9030b888..c1c9030b888 100644
--- a/src/librustc/traits/query/type_op/custom.rs
+++ b/src/librustc_infer/traits/query/type_op/custom.rs
diff --git a/src/librustc/traits/query/type_op/eq.rs b/src/librustc_infer/traits/query/type_op/eq.rs
index 1de13430d46..1de13430d46 100644
--- a/src/librustc/traits/query/type_op/eq.rs
+++ b/src/librustc_infer/traits/query/type_op/eq.rs
diff --git a/src/librustc/traits/query/type_op/implied_outlives_bounds.rs b/src/librustc_infer/traits/query/type_op/implied_outlives_bounds.rs
index 6f45d76a8e9..6f45d76a8e9 100644
--- a/src/librustc/traits/query/type_op/implied_outlives_bounds.rs
+++ b/src/librustc_infer/traits/query/type_op/implied_outlives_bounds.rs
diff --git a/src/librustc/traits/query/type_op/mod.rs b/src/librustc_infer/traits/query/type_op/mod.rs
index 2d03d77cf66..2d03d77cf66 100644
--- a/src/librustc/traits/query/type_op/mod.rs
+++ b/src/librustc_infer/traits/query/type_op/mod.rs
diff --git a/src/librustc/traits/query/type_op/normalize.rs b/src/librustc_infer/traits/query/type_op/normalize.rs
index b1e0e29620d..b1e0e29620d 100644
--- a/src/librustc/traits/query/type_op/normalize.rs
+++ b/src/librustc_infer/traits/query/type_op/normalize.rs
diff --git a/src/librustc/traits/query/type_op/outlives.rs b/src/librustc_infer/traits/query/type_op/outlives.rs
index 35afa637968..35afa637968 100644
--- a/src/librustc/traits/query/type_op/outlives.rs
+++ b/src/librustc_infer/traits/query/type_op/outlives.rs
diff --git a/src/librustc/traits/query/type_op/prove_predicate.rs b/src/librustc_infer/traits/query/type_op/prove_predicate.rs
index 92cfb82e27e..92cfb82e27e 100644
--- a/src/librustc/traits/query/type_op/prove_predicate.rs
+++ b/src/librustc_infer/traits/query/type_op/prove_predicate.rs
diff --git a/src/librustc/traits/query/type_op/subtype.rs b/src/librustc_infer/traits/query/type_op/subtype.rs
index 2877a74aaff..2877a74aaff 100644
--- a/src/librustc/traits/query/type_op/subtype.rs
+++ b/src/librustc_infer/traits/query/type_op/subtype.rs
diff --git a/src/librustc/traits/select.rs b/src/librustc_infer/traits/select.rs
index 1fe8ab58d15..1fe8ab58d15 100644
--- a/src/librustc/traits/select.rs
+++ b/src/librustc_infer/traits/select.rs
diff --git a/src/librustc/traits/specialize/mod.rs b/src/librustc_infer/traits/specialize/mod.rs
index 7c93a35158b..7c93a35158b 100644
--- a/src/librustc/traits/specialize/mod.rs
+++ b/src/librustc_infer/traits/specialize/mod.rs
diff --git a/src/librustc/traits/specialize/specialization_graph.rs b/src/librustc_infer/traits/specialize/specialization_graph.rs
index e09bcdcbc62..e09bcdcbc62 100644
--- a/src/librustc/traits/specialize/specialization_graph.rs
+++ b/src/librustc_infer/traits/specialize/specialization_graph.rs
diff --git a/src/librustc/traits/structural_impls.rs b/src/librustc_infer/traits/structural_impls.rs
index 80731c7b189..80731c7b189 100644
--- a/src/librustc/traits/structural_impls.rs
+++ b/src/librustc_infer/traits/structural_impls.rs
diff --git a/src/librustc/traits/structural_match.rs b/src/librustc_infer/traits/structural_match.rs
index b2c3c23b4e3..b2c3c23b4e3 100644
--- a/src/librustc/traits/structural_match.rs
+++ b/src/librustc_infer/traits/structural_match.rs
diff --git a/src/librustc/traits/util.rs b/src/librustc_infer/traits/util.rs
index d4c3518260c..d4c3518260c 100644
--- a/src/librustc/traits/util.rs
+++ b/src/librustc_infer/traits/util.rs
diff --git a/src/librustc/traits/wf.rs b/src/librustc_infer/traits/wf.rs
index 48721ec04e7..48721ec04e7 100644
--- a/src/librustc/traits/wf.rs
+++ b/src/librustc_infer/traits/wf.rs