|  | // 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. | 
|  |  | 
|  | import "package:expect/expect.dart"; | 
|  |  | 
|  | class A { | 
|  | const A(); | 
|  | indexOf(item) => 42; | 
|  |  | 
|  | // This call get:indexOf has a known receiver type, so it is potentially | 
|  | // eligible for a dummy receiver optimization. | 
|  | getIndexOf() => this.indexOf; | 
|  | } | 
|  |  | 
|  | var getIndexOfA = (a) => a.getIndexOf(); | 
|  |  | 
|  | var getter1 = (a) => a.indexOf; | 
|  |  | 
|  | var getter2 = (a) { | 
|  | // Known interceptor. | 
|  | if (a is String) return a.indexOf; | 
|  |  | 
|  | // Call needs to be indirect to avoid inlining. | 
|  | if (a is A) return getIndexOfA(a); | 
|  |  | 
|  | return a.indexOf; | 
|  | }; | 
|  |  | 
|  | var inscrutable; | 
|  |  | 
|  | main() { | 
|  | inscrutable = (x) => x; | 
|  |  | 
|  | var array = ['foo', 'bar', [], [], new A(), new A(), const [], const A()]; | 
|  |  | 
|  | array = inscrutable(array); | 
|  | getter1 = inscrutable(getter1); | 
|  | getter2 = inscrutable(getter2); | 
|  | getIndexOfA = inscrutable(getIndexOfA); | 
|  |  | 
|  | var set = new Set.from(array.map(getter1)); | 
|  |  | 
|  | // Closures should be distinct since they are closures bound to distinct | 
|  | // objects. | 
|  | Expect.equals(array.length, set.length); | 
|  |  | 
|  | // And repeats should be equal to existing closures and add no new elements. | 
|  | set.addAll(array.map(getter1)); | 
|  | Expect.equals(array.length, set.length); | 
|  |  | 
|  | // And closures created in different optimization contexts should be equal. | 
|  | set.addAll(array.map(getter2)); | 
|  | Expect.equals(array.length, set.length); | 
|  |  | 
|  | for (int i = 0; i < array.length; i++) { | 
|  | Expect.equals(array[i], array[i]); | 
|  |  | 
|  | Expect.isTrue(set.contains(getter1(array[i]))); | 
|  |  | 
|  | Expect.equals(getter1(array[i]), getter1(array[i])); | 
|  | Expect.equals(getter1(array[i]), getter2(array[i])); | 
|  | Expect.equals(getter2(array[i]), getter1(array[i])); | 
|  | Expect.equals(getter2(array[i]), getter2(array[i])); | 
|  |  | 
|  | Expect.equals(getter1(array[i]).hashCode, getter1(array[i]).hashCode); | 
|  | Expect.equals(getter1(array[i]).hashCode, getter2(array[i]).hashCode); | 
|  | Expect.equals(getter2(array[i]).hashCode, getter1(array[i]).hashCode); | 
|  | Expect.equals(getter2(array[i]).hashCode, getter2(array[i]).hashCode); | 
|  |  | 
|  | for (int j = 0; j < array.length; j++) { | 
|  | if (i == j) continue; | 
|  |  | 
|  | Expect.notEquals(getter1(array[i]), getter1(array[j])); | 
|  | Expect.notEquals(getter1(array[i]), getter2(array[j])); | 
|  | Expect.notEquals(getter2(array[i]), getter1(array[j])); | 
|  | Expect.notEquals(getter2(array[i]), getter2(array[j])); | 
|  | } | 
|  | } | 
|  | } |