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

/*element: a:Value([exact=JSString], value: "")*/
var a = '';

/*element: A.:[exact=A]*/
class A {
  /*element: A.+:[exact=JSUInt31]*/
  operator +(/*[exact=JSUInt31]*/ other) => other;
}

/*element: foo:[exact=JSString]*/
foo() {
  // The following '+' call will first say that it may call A::+,
  // String::+, or int::+. After all methods have been analyzed, we know
  // that a is of type String, and therefore, this method cannot call
  // A::+. Therefore, the type of the parameter of A::+ will be the
  // one given by the other calls.
  return a /*invoke: Value([exact=JSString], value: "")*/ + 'foo';
}

/*element: main:[null]*/
main() {
  new A() /*invoke: [exact=A]*/ + 42;
  foo();
}