mirror of
https://github.com/dart-lang/sdk
synced 2024-09-19 15:11:35 +00:00
5c1376615e
Change-Id: I369916a9edd3a9b38ab2c9ee1e11c4735331142b Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/150284 Auto-Submit: Bob Nystrom <rnystrom@google.com> Commit-Queue: Lasse R.H. Nielsen <lrn@google.com> Reviewed-by: Lasse R.H. Nielsen <lrn@google.com>
33 lines
939 B
Dart
33 lines
939 B
Dart
// 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);
|
|
}
|