Function write_impl_header 

fn write_impl_header<'db>(
    impl_: ImplId,
    f: &mut HirFormatter<'_, 'db>,
) -> Result