类型推断字符串缓冲区

Question

是否有可能从变量的用法推断出字符串缓冲区是否优先于不可变字符串，甚至是绳索？

示例，破坏性更新（谢谢，dmbaturin）：

a[2] = 'b';  // Used as mutable, better use buffer

重点是获得更高性能的字符串操作而不将详细信息转储给程序员。