| Index: tool/input_sdk/private/operations.dart
|
| diff --git a/tool/input_sdk/private/operations.dart b/tool/input_sdk/private/operations.dart
|
| index a79fc5bea998bc37c57deb7f6a4a0b9282eaad1a..dcac6ff47eb4f0dfd201a17b0b965e3332a74f37 100644
|
| --- a/tool/input_sdk/private/operations.dart
|
| +++ b/tool/input_sdk/private/operations.dart
|
| @@ -165,7 +165,8 @@ _ignoreTypeFailure(actual, type) => JS('', '''(() => {
|
|
|
| strongInstanceOf(obj, type, ignoreFromWhiteList) => JS('', '''(() => {
|
| let actual = $realRuntimeType($obj);
|
| - if ($isSubtype(actual, $type) || actual == $jsobject) return true;
|
| + if ($isSubtype(actual, $type) || actual == $jsobject ||
|
| + actual == $int && type == $double) return true;
|
| if ($ignoreFromWhiteList == void 0) return false;
|
| if ($isGroundType($type)) return false;
|
| if ($_ignoreTypeFailure(actual, $type)) return true;
|
|
|