Function write_trait_header 

fn write_trait_header<'db>(
    trait_: Trait,
    f: &mut HirFormatter<'_, 'db>,
) -> Result