[runtime] Support Proxy setPrototypeOf trap

src/parsing/scanner-character-streams.h

Index: src/parsing/scanner-character-streams.h
diff --git a/src/parsing/scanner-character-streams.h b/src/parsing/scanner-character-streams.h
index 603db93d022f9c0548219459adb610c214f1e7ab..8f370a08794210184ddd4ffe21a3e9150b22a151 100644
--- a/src/parsing/scanner-character-streams.h
+++ b/src/parsing/scanner-character-streams.h
@@ -18,7 +18,7 @@ class ExternalTwoByteString;
 // A buffered character stream based on a random access character
 // source (ReadBlock can be called with pos_ pointing to any position,
 // even positions before the current).
-class BufferedUtf16CharacterStream: public Utf16CharacterStream {
+class BufferedUtf16CharacterStream : public Utf16CharacterStream {
  public:
   BufferedUtf16CharacterStream();
   ~BufferedUtf16CharacterStream() override;
@@ -42,7 +42,7 @@ class BufferedUtf16CharacterStream: public Utf16CharacterStream {
 
 
 // Generic string stream.
-class GenericStringUtf16CharacterStream: public BufferedUtf16CharacterStream {
+class GenericStringUtf16CharacterStream : public BufferedUtf16CharacterStream {
  public:
   GenericStringUtf16CharacterStream(Handle<String> data, size_t start_position,
                                     size_t end_position);
@@ -64,7 +64,7 @@ class GenericStringUtf16CharacterStream: public BufferedUtf16CharacterStream {
 
 
 // Utf16 stream based on a literal UTF-8 string.
-class Utf8ToUtf16CharacterStream: public BufferedUtf16CharacterStream {
+class Utf8ToUtf16CharacterStream : public BufferedUtf16CharacterStream {
  public:
   Utf8ToUtf16CharacterStream(const byte* data, size_t length);
   ~Utf8ToUtf16CharacterStream() override;
@@ -149,7 +149,7 @@ class ExternalStreamingStream : public BufferedUtf16CharacterStream {
 
 
 // UTF16 buffer to read characters from an external string.
-class ExternalTwoByteStringUtf16CharacterStream: public Utf16CharacterStream {
+class ExternalTwoByteStringUtf16CharacterStream : public Utf16CharacterStream {
  public:
   ExternalTwoByteStringUtf16CharacterStream(Handle<ExternalTwoByteString> data,
                                             int start_position,