pub fn method_impl<TMethod: Display>( struct_ident: &Ident, itf_ident: &Ident, method_name: TMethod, ts: ModelTypeSystem, ) -> Ident