From d5691209b6d5fe5e47560b1db7b822dbeb0880fd Mon Sep 17 00:00:00 2001 From: Camille GILLOT Date: Mon, 6 Jan 2020 20:13:24 +0100 Subject: [PATCH] Move librustc/{traits,infer} to librustc_infer. --- src/{librustc => librustc_infer}/infer/at.rs | 0 src/{librustc => librustc_infer}/infer/canonical/canonicalizer.rs | 0 src/{librustc => librustc_infer}/infer/canonical/mod.rs | 0 .../infer/canonical/query_response.rs | 0 src/{librustc => librustc_infer}/infer/canonical/substitute.rs | 0 src/{librustc => librustc_infer}/infer/combine.rs | 0 src/{librustc => librustc_infer}/infer/equate.rs | 0 src/{librustc => librustc_infer}/infer/error_reporting/mod.rs | 0 .../infer/error_reporting/need_type_info.rs | 0 .../error_reporting/nice_region_error/different_lifetimes.rs | 0 .../infer/error_reporting/nice_region_error/find_anon_type.rs | 0 .../infer/error_reporting/nice_region_error/mod.rs | 0 .../error_reporting/nice_region_error/named_anon_conflict.rs | 0 .../infer/error_reporting/nice_region_error/outlives_closure.rs | 0 .../infer/error_reporting/nice_region_error/placeholder_error.rs | 0 .../infer/error_reporting/nice_region_error/static_impl_trait.rs | 0 .../error_reporting/nice_region_error/trait_impl_difference.rs | 0 .../infer/error_reporting/nice_region_error/util.rs | 0 src/{librustc => librustc_infer}/infer/error_reporting/note.rs | 0 src/{librustc => librustc_infer}/infer/freshen.rs | 0 src/{librustc => librustc_infer}/infer/fudge.rs | 0 src/{librustc => librustc_infer}/infer/glb.rs | 0 src/{librustc => librustc_infer}/infer/higher_ranked/README.md | 0 src/{librustc => librustc_infer}/infer/higher_ranked/mod.rs | 0 src/{librustc => librustc_infer}/infer/lattice.rs | 0 .../infer/lexical_region_resolve/README.md | 0 .../infer/lexical_region_resolve/graphviz.rs | 0 .../infer/lexical_region_resolve/mod.rs | 0 src/{librustc => librustc_infer}/infer/lub.rs | 0 src/{librustc => librustc_infer}/infer/mod.rs | 0 src/{librustc => librustc_infer}/infer/nll_relate/mod.rs | 0 src/{librustc => librustc_infer}/infer/opaque_types/mod.rs | 0 src/{librustc => librustc_infer}/infer/outlives/env.rs | 0 src/{librustc => librustc_infer}/infer/outlives/mod.rs | 0 src/{librustc => librustc_infer}/infer/outlives/obligations.rs | 0 src/{librustc => librustc_infer}/infer/outlives/verify.rs | 0 .../infer/region_constraints/README.md | 0 .../infer/region_constraints/leak_check.rs | 0 src/{librustc => librustc_infer}/infer/region_constraints/mod.rs | 0 src/{librustc => librustc_infer}/infer/resolve.rs | 0 src/{librustc => librustc_infer}/infer/sub.rs | 0 src/{librustc => librustc_infer}/infer/type_variable.rs | 0 src/{librustc => librustc_infer}/traits/auto_trait.rs | 0 src/{librustc => librustc_infer}/traits/chalk_fulfill.rs | 0 src/{librustc => librustc_infer}/traits/codegen/mod.rs | 0 src/{librustc => librustc_infer}/traits/coherence.rs | 0 src/{librustc => librustc_infer}/traits/engine.rs | 0 src/{librustc => librustc_infer}/traits/error_reporting/mod.rs | 0 .../traits/error_reporting/on_unimplemented.rs | 0 .../traits/error_reporting/suggestions.rs | 0 src/{librustc => librustc_infer}/traits/fulfill.rs | 0 src/{librustc => librustc_infer}/traits/misc.rs | 0 src/{librustc => librustc_infer}/traits/mod.rs | 0 src/{librustc => librustc_infer}/traits/object_safety.rs | 0 src/{librustc => librustc_infer}/traits/on_unimplemented.rs | 0 src/{librustc => librustc_infer}/traits/project.rs | 0 src/{librustc => librustc_infer}/traits/query/dropck_outlives.rs | 0 .../traits/query/evaluate_obligation.rs | 0 src/{librustc => librustc_infer}/traits/query/method_autoderef.rs | 0 src/{librustc => librustc_infer}/traits/query/mod.rs | 0 src/{librustc => librustc_infer}/traits/query/normalize.rs | 0 src/{librustc => librustc_infer}/traits/query/outlives_bounds.rs | 0 .../traits/query/type_op/ascribe_user_type.rs | 0 src/{librustc => librustc_infer}/traits/query/type_op/custom.rs | 0 src/{librustc => librustc_infer}/traits/query/type_op/eq.rs | 0 .../traits/query/type_op/implied_outlives_bounds.rs | 0 src/{librustc => librustc_infer}/traits/query/type_op/mod.rs | 0 .../traits/query/type_op/normalize.rs | 0 src/{librustc => librustc_infer}/traits/query/type_op/outlives.rs | 0 .../traits/query/type_op/prove_predicate.rs | 0 src/{librustc => librustc_infer}/traits/query/type_op/subtype.rs | 0 src/{librustc => librustc_infer}/traits/select.rs | 0 src/{librustc => librustc_infer}/traits/specialize/mod.rs | 0 .../traits/specialize/specialization_graph.rs | 0 src/{librustc => librustc_infer}/traits/structural_impls.rs | 0 src/{librustc => librustc_infer}/traits/structural_match.rs | 0 src/{librustc => librustc_infer}/traits/util.rs | 0 src/{librustc => librustc_infer}/traits/wf.rs | 0 78 files changed, 0 insertions(+), 0 deletions(-) rename src/{librustc => librustc_infer}/infer/at.rs (100%) rename src/{librustc => librustc_infer}/infer/canonical/canonicalizer.rs (100%) rename src/{librustc => librustc_infer}/infer/canonical/mod.rs (100%) rename src/{librustc => librustc_infer}/infer/canonical/query_response.rs (100%) rename src/{librustc => librustc_infer}/infer/canonical/substitute.rs (100%) rename src/{librustc => librustc_infer}/infer/combine.rs (100%) rename src/{librustc => librustc_infer}/infer/equate.rs (100%) rename src/{librustc => librustc_infer}/infer/error_reporting/mod.rs (100%) rename src/{librustc => librustc_infer}/infer/error_reporting/need_type_info.rs (100%) rename src/{librustc => librustc_infer}/infer/error_reporting/nice_region_error/different_lifetimes.rs (100%) rename src/{librustc => librustc_infer}/infer/error_reporting/nice_region_error/find_anon_type.rs (100%) rename src/{librustc => librustc_infer}/infer/error_reporting/nice_region_error/mod.rs (100%) rename src/{librustc => librustc_infer}/infer/error_reporting/nice_region_error/named_anon_conflict.rs (100%) rename src/{librustc => librustc_infer}/infer/error_reporting/nice_region_error/outlives_closure.rs (100%) rename src/{librustc => librustc_infer}/infer/error_reporting/nice_region_error/placeholder_error.rs (100%) rename src/{librustc => librustc_infer}/infer/error_reporting/nice_region_error/static_impl_trait.rs (100%) rename src/{librustc => librustc_infer}/infer/error_reporting/nice_region_error/trait_impl_difference.rs (100%) rename src/{librustc => librustc_infer}/infer/error_reporting/nice_region_error/util.rs (100%) rename src/{librustc => librustc_infer}/infer/error_reporting/note.rs (100%) rename src/{librustc => librustc_infer}/infer/freshen.rs (100%) rename src/{librustc => librustc_infer}/infer/fudge.rs (100%) rename src/{librustc => librustc_infer}/infer/glb.rs (100%) rename src/{librustc => librustc_infer}/infer/higher_ranked/README.md (100%) rename src/{librustc => librustc_infer}/infer/higher_ranked/mod.rs (100%) rename src/{librustc => librustc_infer}/infer/lattice.rs (100%) rename src/{librustc => librustc_infer}/infer/lexical_region_resolve/README.md (100%) rename src/{librustc => librustc_infer}/infer/lexical_region_resolve/graphviz.rs (100%) rename src/{librustc => librustc_infer}/infer/lexical_region_resolve/mod.rs (100%) rename src/{librustc => librustc_infer}/infer/lub.rs (100%) rename src/{librustc => librustc_infer}/infer/mod.rs (100%) rename src/{librustc => librustc_infer}/infer/nll_relate/mod.rs (100%) rename src/{librustc => librustc_infer}/infer/opaque_types/mod.rs (100%) rename src/{librustc => librustc_infer}/infer/outlives/env.rs (100%) rename src/{librustc => librustc_infer}/infer/outlives/mod.rs (100%) rename src/{librustc => librustc_infer}/infer/outlives/obligations.rs (100%) rename src/{librustc => librustc_infer}/infer/outlives/verify.rs (100%) rename src/{librustc => librustc_infer}/infer/region_constraints/README.md (100%) rename src/{librustc => librustc_infer}/infer/region_constraints/leak_check.rs (100%) rename src/{librustc => librustc_infer}/infer/region_constraints/mod.rs (100%) rename src/{librustc => librustc_infer}/infer/resolve.rs (100%) rename src/{librustc => librustc_infer}/infer/sub.rs (100%) rename src/{librustc => librustc_infer}/infer/type_variable.rs (100%) rename src/{librustc => librustc_infer}/traits/auto_trait.rs (100%) rename src/{librustc => librustc_infer}/traits/chalk_fulfill.rs (100%) rename src/{librustc => librustc_infer}/traits/codegen/mod.rs (100%) rename src/{librustc => librustc_infer}/traits/coherence.rs (100%) rename src/{librustc => librustc_infer}/traits/engine.rs (100%) rename src/{librustc => librustc_infer}/traits/error_reporting/mod.rs (100%) rename src/{librustc => librustc_infer}/traits/error_reporting/on_unimplemented.rs (100%) rename src/{librustc => librustc_infer}/traits/error_reporting/suggestions.rs (100%) rename src/{librustc => librustc_infer}/traits/fulfill.rs (100%) rename src/{librustc => librustc_infer}/traits/misc.rs (100%) rename src/{librustc => librustc_infer}/traits/mod.rs (100%) rename src/{librustc => librustc_infer}/traits/object_safety.rs (100%) rename src/{librustc => librustc_infer}/traits/on_unimplemented.rs (100%) rename src/{librustc => librustc_infer}/traits/project.rs (100%) rename src/{librustc => librustc_infer}/traits/query/dropck_outlives.rs (100%) rename src/{librustc => librustc_infer}/traits/query/evaluate_obligation.rs (100%) rename src/{librustc => librustc_infer}/traits/query/method_autoderef.rs (100%) rename src/{librustc => librustc_infer}/traits/query/mod.rs (100%) rename src/{librustc => librustc_infer}/traits/query/normalize.rs (100%) rename src/{librustc => librustc_infer}/traits/query/outlives_bounds.rs (100%) rename src/{librustc => librustc_infer}/traits/query/type_op/ascribe_user_type.rs (100%) rename src/{librustc => librustc_infer}/traits/query/type_op/custom.rs (100%) rename src/{librustc => librustc_infer}/traits/query/type_op/eq.rs (100%) rename src/{librustc => librustc_infer}/traits/query/type_op/implied_outlives_bounds.rs (100%) rename src/{librustc => librustc_infer}/traits/query/type_op/mod.rs (100%) rename src/{librustc => librustc_infer}/traits/query/type_op/normalize.rs (100%) rename src/{librustc => librustc_infer}/traits/query/type_op/outlives.rs (100%) rename src/{librustc => librustc_infer}/traits/query/type_op/prove_predicate.rs (100%) rename src/{librustc => librustc_infer}/traits/query/type_op/subtype.rs (100%) rename src/{librustc => librustc_infer}/traits/select.rs (100%) rename src/{librustc => librustc_infer}/traits/specialize/mod.rs (100%) rename src/{librustc => librustc_infer}/traits/specialize/specialization_graph.rs (100%) rename src/{librustc => librustc_infer}/traits/structural_impls.rs (100%) rename src/{librustc => librustc_infer}/traits/structural_match.rs (100%) rename src/{librustc => librustc_infer}/traits/util.rs (100%) rename src/{librustc => librustc_infer}/traits/wf.rs (100%) diff --git a/src/librustc/infer/at.rs b/src/librustc_infer/infer/at.rs similarity index 100% rename from src/librustc/infer/at.rs rename to src/librustc_infer/infer/at.rs diff --git a/src/librustc/infer/canonical/canonicalizer.rs b/src/librustc_infer/infer/canonical/canonicalizer.rs similarity index 100% rename from src/librustc/infer/canonical/canonicalizer.rs rename to src/librustc_infer/infer/canonical/canonicalizer.rs diff --git a/src/librustc/infer/canonical/mod.rs b/src/librustc_infer/infer/canonical/mod.rs similarity index 100% rename from src/librustc/infer/canonical/mod.rs rename to 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 similarity index 100% rename from src/librustc/infer/canonical/query_response.rs rename to 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 similarity index 100% rename from src/librustc/infer/canonical/substitute.rs rename to src/librustc_infer/infer/canonical/substitute.rs diff --git a/src/librustc/infer/combine.rs b/src/librustc_infer/infer/combine.rs similarity index 100% rename from src/librustc/infer/combine.rs rename to src/librustc_infer/infer/combine.rs diff --git a/src/librustc/infer/equate.rs b/src/librustc_infer/infer/equate.rs similarity index 100% rename from src/librustc/infer/equate.rs rename to 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 similarity index 100% rename from src/librustc/infer/error_reporting/mod.rs rename to 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 similarity index 100% rename from src/librustc/infer/error_reporting/need_type_info.rs rename to 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 similarity index 100% rename from src/librustc/infer/error_reporting/nice_region_error/different_lifetimes.rs rename to 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 similarity index 100% rename from src/librustc/infer/error_reporting/nice_region_error/find_anon_type.rs rename to 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 similarity index 100% rename from src/librustc/infer/error_reporting/nice_region_error/mod.rs rename to 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 similarity index 100% rename from src/librustc/infer/error_reporting/nice_region_error/named_anon_conflict.rs rename to 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 similarity index 100% rename from src/librustc/infer/error_reporting/nice_region_error/outlives_closure.rs rename to 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 similarity index 100% rename from src/librustc/infer/error_reporting/nice_region_error/placeholder_error.rs rename to 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 similarity index 100% rename from src/librustc/infer/error_reporting/nice_region_error/static_impl_trait.rs rename to 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 similarity index 100% rename from src/librustc/infer/error_reporting/nice_region_error/trait_impl_difference.rs rename to 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 similarity index 100% rename from src/librustc/infer/error_reporting/nice_region_error/util.rs rename to 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 similarity index 100% rename from src/librustc/infer/error_reporting/note.rs rename to src/librustc_infer/infer/error_reporting/note.rs diff --git a/src/librustc/infer/freshen.rs b/src/librustc_infer/infer/freshen.rs similarity index 100% rename from src/librustc/infer/freshen.rs rename to src/librustc_infer/infer/freshen.rs diff --git a/src/librustc/infer/fudge.rs b/src/librustc_infer/infer/fudge.rs similarity index 100% rename from src/librustc/infer/fudge.rs rename to src/librustc_infer/infer/fudge.rs diff --git a/src/librustc/infer/glb.rs b/src/librustc_infer/infer/glb.rs similarity index 100% rename from src/librustc/infer/glb.rs rename to 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 similarity index 100% rename from src/librustc/infer/higher_ranked/README.md rename to 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 similarity index 100% rename from src/librustc/infer/higher_ranked/mod.rs rename to src/librustc_infer/infer/higher_ranked/mod.rs diff --git a/src/librustc/infer/lattice.rs b/src/librustc_infer/infer/lattice.rs similarity index 100% rename from src/librustc/infer/lattice.rs rename to 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 similarity index 100% rename from src/librustc/infer/lexical_region_resolve/README.md rename to 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 similarity index 100% rename from src/librustc/infer/lexical_region_resolve/graphviz.rs rename to 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 similarity index 100% rename from src/librustc/infer/lexical_region_resolve/mod.rs rename to src/librustc_infer/infer/lexical_region_resolve/mod.rs diff --git a/src/librustc/infer/lub.rs b/src/librustc_infer/infer/lub.rs similarity index 100% rename from src/librustc/infer/lub.rs rename to src/librustc_infer/infer/lub.rs diff --git a/src/librustc/infer/mod.rs b/src/librustc_infer/infer/mod.rs similarity index 100% rename from src/librustc/infer/mod.rs rename to 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 similarity index 100% rename from src/librustc/infer/nll_relate/mod.rs rename to 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 similarity index 100% rename from src/librustc/infer/opaque_types/mod.rs rename to 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 similarity index 100% rename from src/librustc/infer/outlives/env.rs rename to src/librustc_infer/infer/outlives/env.rs diff --git a/src/librustc/infer/outlives/mod.rs b/src/librustc_infer/infer/outlives/mod.rs similarity index 100% rename from src/librustc/infer/outlives/mod.rs rename to src/librustc_infer/infer/outlives/mod.rs diff --git a/src/librustc/infer/outlives/obligations.rs b/src/librustc_infer/infer/outlives/obligations.rs similarity index 100% rename from src/librustc/infer/outlives/obligations.rs rename to src/librustc_infer/infer/outlives/obligations.rs diff --git a/src/librustc/infer/outlives/verify.rs b/src/librustc_infer/infer/outlives/verify.rs similarity index 100% rename from src/librustc/infer/outlives/verify.rs rename to 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 similarity index 100% rename from src/librustc/infer/region_constraints/README.md rename to 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 similarity index 100% rename from src/librustc/infer/region_constraints/leak_check.rs rename to 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 similarity index 100% rename from src/librustc/infer/region_constraints/mod.rs rename to src/librustc_infer/infer/region_constraints/mod.rs diff --git a/src/librustc/infer/resolve.rs b/src/librustc_infer/infer/resolve.rs similarity index 100% rename from src/librustc/infer/resolve.rs rename to src/librustc_infer/infer/resolve.rs diff --git a/src/librustc/infer/sub.rs b/src/librustc_infer/infer/sub.rs similarity index 100% rename from src/librustc/infer/sub.rs rename to src/librustc_infer/infer/sub.rs diff --git a/src/librustc/infer/type_variable.rs b/src/librustc_infer/infer/type_variable.rs similarity index 100% rename from src/librustc/infer/type_variable.rs rename to src/librustc_infer/infer/type_variable.rs diff --git a/src/librustc/traits/auto_trait.rs b/src/librustc_infer/traits/auto_trait.rs similarity index 100% rename from src/librustc/traits/auto_trait.rs rename to src/librustc_infer/traits/auto_trait.rs diff --git a/src/librustc/traits/chalk_fulfill.rs b/src/librustc_infer/traits/chalk_fulfill.rs similarity index 100% rename from src/librustc/traits/chalk_fulfill.rs rename to src/librustc_infer/traits/chalk_fulfill.rs diff --git a/src/librustc/traits/codegen/mod.rs b/src/librustc_infer/traits/codegen/mod.rs similarity index 100% rename from src/librustc/traits/codegen/mod.rs rename to src/librustc_infer/traits/codegen/mod.rs diff --git a/src/librustc/traits/coherence.rs b/src/librustc_infer/traits/coherence.rs similarity index 100% rename from src/librustc/traits/coherence.rs rename to src/librustc_infer/traits/coherence.rs diff --git a/src/librustc/traits/engine.rs b/src/librustc_infer/traits/engine.rs similarity index 100% rename from src/librustc/traits/engine.rs rename to 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 similarity index 100% rename from src/librustc/traits/error_reporting/mod.rs rename to 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 similarity index 100% rename from src/librustc/traits/error_reporting/on_unimplemented.rs rename to 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 similarity index 100% rename from src/librustc/traits/error_reporting/suggestions.rs rename to src/librustc_infer/traits/error_reporting/suggestions.rs diff --git a/src/librustc/traits/fulfill.rs b/src/librustc_infer/traits/fulfill.rs similarity index 100% rename from src/librustc/traits/fulfill.rs rename to src/librustc_infer/traits/fulfill.rs diff --git a/src/librustc/traits/misc.rs b/src/librustc_infer/traits/misc.rs similarity index 100% rename from src/librustc/traits/misc.rs rename to src/librustc_infer/traits/misc.rs diff --git a/src/librustc/traits/mod.rs b/src/librustc_infer/traits/mod.rs similarity index 100% rename from src/librustc/traits/mod.rs rename to src/librustc_infer/traits/mod.rs diff --git a/src/librustc/traits/object_safety.rs b/src/librustc_infer/traits/object_safety.rs similarity index 100% rename from src/librustc/traits/object_safety.rs rename to src/librustc_infer/traits/object_safety.rs diff --git a/src/librustc/traits/on_unimplemented.rs b/src/librustc_infer/traits/on_unimplemented.rs similarity index 100% rename from src/librustc/traits/on_unimplemented.rs rename to src/librustc_infer/traits/on_unimplemented.rs diff --git a/src/librustc/traits/project.rs b/src/librustc_infer/traits/project.rs similarity index 100% rename from src/librustc/traits/project.rs rename to 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 similarity index 100% rename from src/librustc/traits/query/dropck_outlives.rs rename to 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 similarity index 100% rename from src/librustc/traits/query/evaluate_obligation.rs rename to 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 similarity index 100% rename from src/librustc/traits/query/method_autoderef.rs rename to 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 similarity index 100% rename from src/librustc/traits/query/mod.rs rename to src/librustc_infer/traits/query/mod.rs diff --git a/src/librustc/traits/query/normalize.rs b/src/librustc_infer/traits/query/normalize.rs similarity index 100% rename from src/librustc/traits/query/normalize.rs rename to 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 similarity index 100% rename from src/librustc/traits/query/outlives_bounds.rs rename to 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 similarity index 100% rename from src/librustc/traits/query/type_op/ascribe_user_type.rs rename to 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 similarity index 100% rename from src/librustc/traits/query/type_op/custom.rs rename to 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 similarity index 100% rename from src/librustc/traits/query/type_op/eq.rs rename to 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 similarity index 100% rename from src/librustc/traits/query/type_op/implied_outlives_bounds.rs rename to 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 similarity index 100% rename from src/librustc/traits/query/type_op/mod.rs rename to 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 similarity index 100% rename from src/librustc/traits/query/type_op/normalize.rs rename to 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 similarity index 100% rename from src/librustc/traits/query/type_op/outlives.rs rename to 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 similarity index 100% rename from src/librustc/traits/query/type_op/prove_predicate.rs rename to 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 similarity index 100% rename from src/librustc/traits/query/type_op/subtype.rs rename to src/librustc_infer/traits/query/type_op/subtype.rs diff --git a/src/librustc/traits/select.rs b/src/librustc_infer/traits/select.rs similarity index 100% rename from src/librustc/traits/select.rs rename to src/librustc_infer/traits/select.rs diff --git a/src/librustc/traits/specialize/mod.rs b/src/librustc_infer/traits/specialize/mod.rs similarity index 100% rename from src/librustc/traits/specialize/mod.rs rename to 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 similarity index 100% rename from src/librustc/traits/specialize/specialization_graph.rs rename to 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 similarity index 100% rename from src/librustc/traits/structural_impls.rs rename to src/librustc_infer/traits/structural_impls.rs diff --git a/src/librustc/traits/structural_match.rs b/src/librustc_infer/traits/structural_match.rs similarity index 100% rename from src/librustc/traits/structural_match.rs rename to src/librustc_infer/traits/structural_match.rs diff --git a/src/librustc/traits/util.rs b/src/librustc_infer/traits/util.rs similarity index 100% rename from src/librustc/traits/util.rs rename to src/librustc_infer/traits/util.rs diff --git a/src/librustc/traits/wf.rs b/src/librustc_infer/traits/wf.rs similarity index 100% rename from src/librustc/traits/wf.rs rename to src/librustc_infer/traits/wf.rs