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