Function chalk_solve::wf::impl_header_wf_goal
source ยท fn impl_header_wf_goal<I: Interner>(
db: &dyn RustIrDatabase<I>,
impl_id: ImplId<I>,
) -> Option<Goal<I>>
fn impl_header_wf_goal<I: Interner>(
db: &dyn RustIrDatabase<I>,
impl_id: ImplId<I>,
) -> Option<Goal<I>>