blob: 3120c7f7b74181e6e568426a1bd38f85c9698c4f [file] [log] [blame]
// 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.
library test;
class A {
final String 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"));