@brandtbucher Hi Brandt, I might need some help here.

I have already optimization path for_BUILD_STRING(I think we just need setup the const after we check all theopargs string on stack.

But I got a little bit confused for_BUILD_STRING. If I'm correct,_BUILD_SLICE is equal withBUILD_SLISE, I'm not sure it's necessary add an optimization path for_BUILD_SLICE. Theresult is const or not is not related with the argument?(not sure about this)

Hi@Zheaoli! Let's start by just setting the output types for these. I think maybe the constant output stuff may not be needed after all, due toGH-132733.