Function is_inherent_impl_coherent 

pub fn is_inherent_impl_coherent(
    db: &(dyn HirDatabase + 'static),
    def_map: &DefMap,
    impl_id: ImplId,
) -> bool