Changing the type of a stack-based array does not take effect the first time

Version and Platform (required):

• Binary Ninja Version: 4.1.5272-dev, 3a057a87
• OS: macos
• OS Version: 14.4
• CPU Architecture: arm64

Internal binary major dine favor.

0006815c  struct ErrObj* DjiError_GetErrorMsgElements(int64_t err_code, struct ErrDesc* err_desc @ x8)

00068178      char* description
00068178      __builtin_memset(s: &description, c: 0, n: 0x20)

I pointed at description and set the type with 'y' to char description[0x20] this is what I got as a result

0006815c  struct ErrObj* DjiError_GetErrorMsgElements(int64_t err_code, struct ErrDesc* err_desc @ x8)
00068178      int64_t s
00068178      __builtin_memset(s: &s, c: 0, n: 0x20)

Typing s and changing it to char description[0x20] does the right thing

0006815c  struct ErrObj* DjiError_GetErrorMsgElements(int64_t err_code, struct ErrDesc* err_desc @ x8)
00068178      char description[0x20]
00068178      __builtin_memset(s: &description, c: 0, n: 0x20)

but why not the first time around?

I was able to reproduce this several times by undoing my changes.

Start by reproducing the issue in Binary Ninja using the supplied internal binary: select the stack variable, apply the char array type, and compare the first result with repeating the change after undoing it. Trace the type-change handling for stack-based arrays and verify that the first edit produces the same output as the second; no source files or tests are named in the issue.