// Copyright (c) 2017, 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.

/*@testedFeatures=inference*/
library test;

class A {
  final String foo;

  A(this.foo);

  bool operator ==(Object other) =>
      other is A && /*@promotedType=A*/ other
              . /*@target=A::foo*/ foo /*@target=String::==*/ ==
          this. /*@target=A::foo*/ foo && /*@promotedType=A*/ other
              . /*@target=A::foo*/ foo /*@target=String::==*/ ==
          this. /*@target=A::foo*/ foo;
}

main() {
  print(new A("hello") /*@target=A::==*/ == new A("hello"));
}