docs: def PushBack(self, string="", **_):
      """Push the match back on the stream."""
      precondition.AssertType(string, Text)
      self.buffer = string + self.buffer
      self.processed_buffer = self.processed_buffer[:-len(string)]