hir_ty

Type Alias InEnvironment

source 
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