code: void bufferToString(DiagnosticPosition pos) {
              callMethod(
                  pos,
                  stringBufferType,
                  names.toString,
                  List.<Type>nil(),
                  false);
          }
docs: Convert string buffer on tos to string.