Searched defs:OpaqueTyDatum (Results 1 – 11 of 11) sorted by relevance
617 pub struct OpaqueTyDatum<I: Interner> { struct622 pub bound: Binders<OpaqueTyDatumBound<I>>, argument
623 pub struct OpaqueTyDatum<I: Interner> { struct628 pub bound: Binders<OpaqueTyDatumBound<I>>, argument
137 impl<I: Interner> ToProgramClauses<I> for OpaqueTyDatum<I> { implementation
314 impl<I: Interner> RenderAsRust<I> for OpaqueTyDatum<I> { implementation
313 impl<I: Interner> RenderAsRust<I> for OpaqueTyDatum<I> { implementation
37 pub(crate) type OpaqueTyDatum = chalk_solve::rust_ir::OpaqueTyDatum<Interner>; typedef198 fn opaque_ty_data(&self, id: chalk_ir::OpaqueTyId<Interner>) -> Arc<OpaqueTyDatum> { in opaque_ty_data()
36 pub(crate) type OpaqueTyDatum = chalk_solve::rust_ir::OpaqueTyDatum<Interner>; typedef197 fn opaque_ty_data(&self, id: chalk_ir::OpaqueTyId<Interner>) -> Arc<OpaqueTyDatum> { in opaque_ty_data()