Function generate_impl_inner 

fn generate_impl_inner(
    make: &SyntaxFactory,
    is_unsafe: bool,
    adt: &Adt,
    trait_: Option<Type>,
    trait_is_transitive: bool,
    body: Option<AssocItemList>,
) -> Impl