hir_ty::next_solver

Type Alias OpaqueTypeKey

Source 
pub type OpaqueTypeKey<'db> = OpaqueTypeKey<DbInterner<'db>>;

Aliased Type§

pub struct OpaqueTypeKey<'db> {
    pub def_id: SolverDefId,
    pub args: GenericArgs<'db>,
}

Fields§

§def_id: SolverDefId§args: GenericArgs<'db>