Type Alias hir_ty::InEnvironment

pub type InEnvironment<T> = InEnvironment<T>;

Aliased Type

struct InEnvironment<T> {
    pub environment: Environment<<T as HasInterner>::Interner>,
    pub goal: T,
}

Fields

environment: Environment<<T as HasInterner>::Interner>

goal: T