languages/dart-sdk
languages/dart-sdk
1
0
Fork 0
mirror of https://github.com/dart-lang/sdk synced 2024-10-06 15:39:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

[vm/libs][dart2wasm] Add some missing type arguments to convert_patch List types

Browse source 
Tested: existing tests
Change-Id: Ib19748e947ef9a80852ef80f7726b5d1c987a26e
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/370920
Reviewed-by: Martin Kustermann <kustermann@google.com>
Commit-Queue: Ömer Ağacan <omersa@google.com>
This commit is contained in:
Ömer Sinan Ağacan 2024-06-11 15:03:49 +00:00 committed by Commit Queue
parent b8cb98d0bb
commit efc59ee300
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
sdk/lib/_internal/vm/lib/convert_patch.dart
View file

@ -1506,7 +1506,7 @@ class _JsonStringParser extends _JsonParserWithListener
return buffer.toString();
}
void copyCharsToList(int start, int end, List target, int offset) {
void copyCharsToList(int start, int end, List<int> target, int offset) {
int length = end - start;
for (int i = 0; i < length; i++) {
target[offset + i] = chunk.codeUnitAt(start + i);
@ -1641,7 +1641,7 @@ class _JsonUtf8Parser extends _JsonParserWithListener
return buffer.toString();
}
void copyCharsToList(int start, int end, List target, int offset) {
void copyCharsToList(int start, int end, List<int> target, int offset) {
int length = end - start;
target.setRange(offset, offset + length, chunk, start);
}

4
sdk/lib/_internal/wasm/lib/convert_patch.dart
View file

@ -1405,7 +1405,7 @@ class _JsonStringParser extends _JsonParserWithListener
return buffer.toString();
}
void copyCharsToList(int start, int end, List target, int offset) {
void copyCharsToList(int start, int end, List<int> target, int offset) {
int length = end - start;
for (int i = 0; i < length; i++) {
target[offset + i] = chunk.codeUnitAt(start + i);
@ -1537,7 +1537,7 @@ class _JsonUtf8Parser extends _JsonParserWithListener
return buffer.toString();
}
void copyCharsToList(int start, int end, List target, int offset) {
void copyCharsToList(int start, int end, List<int> target, int offset) {
int length = end - start;
target.setRange(offset, offset + length, chunk, start);
}