blob: 532a7a75509ffc724e6af4456e200adb24cf84c6 [file] [log] [blame]
// Copyright (c) 2012, 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.
// Test that we invalidate parameter type optimization in the presence
// of optional parameters.
import "package:expect/expect.dart";
class A {
void foo(bool firstInvocation, [a = 42, b = 'foo']) {
if (firstInvocation) {
Expect.isTrue(a is String);
Expect.isTrue(b is int);
} else {
Expect.isTrue(a is int);
Expect.isTrue(b is String);
}
}
}
test() {
// This call to [A.foo] will be in the queue after [A.foo] has been
// compiled with the optimistic type assumptions.
new A().foo(false);
}
main() {
test();
// This call to [A.foo] will be the first in the queue, and dart2js
// will optimize the method with these parameter types.
new A().foo(true, 'bar', 42);
}