Index: src/runtime.cc |
=================================================================== |
--- src/runtime.cc (revision 8088) |
+++ src/runtime.cc (working copy) |
@@ -5102,6 +5102,8 @@ |
Isolate* isolate, |
SinkChar* write_cursor, |
Vector<const SourceChar> characters) { |
+ // SinkChar is only char if SourceChar is guaranteed to be char. |
+ ASSERT(sizeof(SinkChar) >= sizeof(SourceChar)); |
const SourceChar* read_cursor = characters.start(); |
const SourceChar* end = read_cursor + characters.length(); |
*(write_cursor++) = '"'; |