Index: pkg/dev_compiler/lib/js/legacy/dart_sdk.js |
diff --git a/pkg/dev_compiler/lib/js/legacy/dart_sdk.js b/pkg/dev_compiler/lib/js/legacy/dart_sdk.js |
index 800cc205a4d45c979a0141caf8affdd9a08f2cb8..de204bc32acc4831f8ad4f640a786cc48b14f5b1 100644 |
--- a/pkg/dev_compiler/lib/js/legacy/dart_sdk.js |
+++ b/pkg/dev_compiler/lib/js/legacy/dart_sdk.js |
@@ -25579,7 +25579,7 @@ dart_library.library('dart_sdk', null, /* Imports */[ |
count++; |
if (count > MAX_COUNT) { |
while (dart.notNull(length) > LENGTH_LIMIT - ELLIPSIS_SIZE - OVERHEAD && count > HEAD_COUNT) { |
- length = dart.notNull(length) - dart.notNull(core.int._check(dart.dsend(dart.dload(parts[dartx.removeLast](), 'length'), '+', OVERHEAD))); |
+ length = dart.notNull(length) - dart.notNull(core.num._check(dart.dsend(dart.dload(parts[dartx.removeLast](), 'length'), '+', OVERHEAD))); |
count--; |
} |
parts[dartx.add]("..."); |
@@ -25597,7 +25597,7 @@ dart_library.library('dart_sdk', null, /* Imports */[ |
length = dart.notNull(length) + (ELLIPSIS_SIZE + OVERHEAD); |
} |
while (dart.notNull(length) > LENGTH_LIMIT && dart.notNull(parts[dartx.length]) > HEAD_COUNT) { |
- length = dart.notNull(length) - dart.notNull(core.int._check(dart.dsend(dart.dload(parts[dartx.removeLast](), 'length'), '+', OVERHEAD))); |
+ length = dart.notNull(length) - dart.notNull(core.num._check(dart.dsend(dart.dload(parts[dartx.removeLast](), 'length'), '+', OVERHEAD))); |
if (elision == null) { |
elision = "..."; |
length = dart.notNull(length) + (ELLIPSIS_SIZE + OVERHEAD); |
@@ -78399,13 +78399,13 @@ dart_library.library('dart_sdk', null, /* Imports */[ |
let val = 0; |
for (let measurement of dimensions) { |
if (augmentingMeasurement == html$._MARGIN) { |
- val = dart.notNull(val) + dart.notNull(dart.asInt(new html$.Dimension.css(styles[dartx.getPropertyValue](dart.str`${augmentingMeasurement}-${measurement}`)).value)); |
+ val = dart.notNull(val) + dart.notNull(new html$.Dimension.css(styles[dartx.getPropertyValue](dart.str`${augmentingMeasurement}-${measurement}`)).value); |
} |
if (augmentingMeasurement == html$._CONTENT) { |
- val = dart.notNull(val) - dart.notNull(dart.asInt(new html$.Dimension.css(styles[dartx.getPropertyValue](dart.str`${html$._PADDING}-${measurement}`)).value)); |
+ val = dart.notNull(val) - dart.notNull(new html$.Dimension.css(styles[dartx.getPropertyValue](dart.str`${html$._PADDING}-${measurement}`)).value); |
} |
if (augmentingMeasurement != html$._MARGIN) { |
- val = dart.notNull(val) - dart.notNull(dart.asInt(new html$.Dimension.css(styles[dartx.getPropertyValue](dart.str`border-${measurement}-width`)).value)); |
+ val = dart.notNull(val) - dart.notNull(new html$.Dimension.css(styles[dartx.getPropertyValue](dart.str`border-${measurement}-width`)).value); |
} |
} |
return val; |