// 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 C {
  int field = 0;
  int get getter => 0;
  int function() => 0;
}

C c = new C();
var field_ref = c. /*@target=C::field*/ field;
var getter_ref = c. /*@target=C::getter*/ getter;
var function_ref = c. /*@target=C::function*/ function;
var field_ref_list = /*@ typeArgs=int* */ [c. /*@target=C::field*/ field];
var getter_ref_list = /*@ typeArgs=int* */ [c. /*@target=C::getter*/ getter];
var function_ref_list = /*@ typeArgs=() ->* int* */ [
  c. /*@target=C::function*/ function
];

main() {}