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>>