bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Add higher_ranked to relate submodule

Browse source
This commit is contained in:
Michael Goulet 2023-12-14 15:59:51 +00:00
parent 18bf0caa5a
commit 807cd85dfa
4 changed files with 16 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

1
compiler/rustc_infer/src/infer/mod.rs
View file

@ -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;

4
compiler/rustc_infer/src/infer/higher_ranked/mod.rs → compiler/rustc_infer/src/infer/relate/higher_ranked.rs
View file

@ -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};

11
compiler/rustc_infer/src/infer/relate/mod.rs
View file

@ -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;