Add higher_ranked to relate submodule

Author: compiler-errors

compiler/rustc_infer/src/infer/mod.rs

@@ -59,7 +59,6 @@ pub mod error_reporting;
 pub mod free_regions;
 mod freshen;
 mod fudge;
-mod higher_ranked;
 mod lexical_region_resolve;
 pub mod nll_relate;
 pub mod opaque_types;

…stc_infer/src/infer/higher_ranked/mod.rs …_infer/src/infer/relate/higher_ranked.rscompiler/rustc_infer/src/infer/higher_ranked/mod.rs renamed to compiler/rustc_infer/src/infer/relate/higher_ranked.rs compiler/rustc_infer/src/infer/higher_ranked/mod.rs renamed to compiler/rustc_infer/src/infer/relate/higher_ranked.rs

@@ -1,9 +1,9 @@
 //! Helper routines for higher-ranked things. See the `doc` module at
 //! the end of the file for details.
 
-use super::{HigherRankedType, InferCtxt};
-use crate::infer::relate::combine::CombineFields;
+use super::combine::CombineFields;
 use crate::infer::CombinedSnapshot;
+use crate::infer::{HigherRankedType, InferCtxt};
 use rustc_middle::ty::fold::FnMutDelegate;
 use rustc_middle::ty::relate::{Relate, RelateResult, TypeRelation};
 use rustc_middle::ty::{self, Binder, Ty, TyCtxt, TypeFoldable};

compiler/rustc_infer/src/infer/relate/mod.rs

@@ -3,9 +3,10 @@
 //! and heuristics in the compiler).
 
 pub(super) mod combine;
-pub(super) mod equate;
+mod equate;
 pub(super) mod generalize;
-pub(super) mod glb;
-pub(super) mod lattice;
-pub(super) mod lub;
-pub(super) mod sub;
+mod glb;
+mod higher_ranked;
+mod lattice;
+mod lub;
+mod sub;