Searched refs:InternedClosureId (Results 1 – 4 of 4) sorted by relevance
94 impl From<chalk_ir::ClosureId<Interner>> for crate::db::InternedClosureId { implementation100 impl From<crate::db::InternedClosureId> for chalk_ir::ClosureId<Interner> {101 fn from(id: crate::db::InternedClosureId) -> Self { in from()
104 fn intern_closure(&self, id: (DefWithBodyId, ExprId)) -> InternedClosureId; in intern_closure() argument204 pub struct InternedClosureId(salsa::InternId); struct205 impl_intern_key!(InternedClosureId);