// 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) {
    if (other is A && /*@ promotedType=A* */ other
            . /*@target=A.foo*/ foo /*@target=String.==*/ ==
        this. /*@target=A.foo*/ foo) {
      if (/*@ promotedType=A* */ other
              . /*@target=A.foo*/ foo /*@target=String.==*/ ==
          this. /*@target=A.foo*/ foo) {}
    }
    return true;
  }
}

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