1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

use crate::{ConstVid, Interner, TyVid, UniverseIndex};

pub trait InferCtxtLike {
    type Interner: Interner;

    fn interner(&self) -> Self::Interner;

    fn universe_of_ty(&self, ty: TyVid) -> Option<UniverseIndex>;

    /// Resolve `TyVid` to its root `TyVid`.
    fn root_ty_var(&self, vid: TyVid) -> TyVid;

    /// Resolve `TyVid` to its inferred type, if it has been equated with a non-infer type.
    fn probe_ty_var(&self, vid: TyVid) -> Option<<Self::Interner as Interner>::Ty>;

    fn universe_of_lt(
        &self,
        lt: <Self::Interner as Interner>::InferRegion,
    ) -> Option<UniverseIndex>;

    /// Resolve `InferRegion` to its root `InferRegion`.
    fn root_lt_var(
        &self,
        vid: <Self::Interner as Interner>::InferRegion,
    ) -> <Self::Interner as Interner>::InferRegion;

    /// Resolve `InferRegion` to its inferred region, if it has been equated with a non-infer region.
    fn probe_lt_var(
        &self,
        vid: <Self::Interner as Interner>::InferRegion,
    ) -> Option<<Self::Interner as Interner>::Region>;

    fn universe_of_ct(&self, ct: ConstVid) -> Option<UniverseIndex>;

    /// Resolve `ConstVid` to its root `ConstVid`.
    fn root_ct_var(&self, vid: ConstVid) -> ConstVid;

    /// Resolve `ConstVid` to its inferred type, if it has been equated with a non-infer type.
    fn probe_ct_var(&self, vid: ConstVid) -> Option<<Self::Interner as Interner>::Const>;
}