// 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 Clonable<T> {}

class Pair<T extends Clonable<T>, U extends Clonable<U>> {
  T t;
  U u;
  Pair(this.t, this.u);
  Pair._();
  Pair<U, T> get reversed => new /*@typeArgs=Pair::U, Pair::T*/ Pair(
      /*@target=Pair::u*/ u,
      /*@target=Pair::t*/ t);
}

main() {
  final /*@type=Pair<Clonable<dynamic>, Clonable<dynamic>>*/ x =
      new /*error:COULD_NOT_INFER,error:COULD_NOT_INFER*/ /*@typeArgs=Clonable<dynamic>, Clonable<dynamic>*/ Pair
          ._();
}