blob: 705c62d11883e005aeecb24f89cd2afe8656efb5 [file] [log] [blame]
// Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
// Regression test for issue 17210.
import "package:expect/expect.dart";
@pragma('dart2js:noInline')
num minusZero() => -0;
void main() {
// Dart2js must not infer that the type-intersection of int and -0.0 is empty.
// It must get an interceptor for the addition (`i += 3`), or use the native
// JS + operation.
int i = minusZero() as int;
i += 3;
Expect.equals(3, i);
}