| Index: tests/compiler/dart2js_extra/locate_single_element_1_test.dart
|
| diff --git a/tests/compiler/dart2js_extra/locate_single_element_1_test.dart b/tests/compiler/dart2js_extra/locate_single_element_1_test.dart
|
| index 5fe6e857ef2c8d63438d2ed661dc49293da189e1..4291fe0629bc77d5465036cc96f635562fd87959 100644
|
| --- a/tests/compiler/dart2js_extra/locate_single_element_1_test.dart
|
| +++ b/tests/compiler/dart2js_extra/locate_single_element_1_test.dart
|
| @@ -7,23 +7,25 @@
|
| import 'package:expect/expect.dart';
|
|
|
| class T {
|
| - foo() => 'T.foo'; // This is the single element.
|
| + foo() => 'T.foo'; // This is the single element.
|
| }
|
|
|
| class C implements T {
|
| // There is a warning that C does not implement 'foo'.
|
| }
|
|
|
| -@NoInline() @AssumeDynamic()
|
| -assumeT(x) { // returns inferred subtype(T).
|
| +@NoInline()
|
| +@AssumeDynamic()
|
| +assumeT(x) {
|
| + // returns inferred subtype(T).
|
| if (x is T) return x;
|
| throw "Not T";
|
| }
|
|
|
| var log = [];
|
| demo() {
|
| - log.add(new T()); // T is created.
|
| - var a = assumeT(new C()); // C is created.
|
| + log.add(new T()); // T is created.
|
| + var a = assumeT(new C()); // C is created.
|
|
|
| // The call "a.foo()" should be a NoSuchMethodError, but a bug in
|
| // locateSingleElement used to lead to T.foo being inlined. There is a single
|
|
|