| // 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 Cloneable<T> {} |
| |
| class Pair<T extends Cloneable<T>, U extends Cloneable<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<Cloneable<Object?>, Cloneable<Object?>>*/ x = |
| new /*error:COULD_NOT_INFER,error:COULD_NOT_INFER*/ /*@typeArgs=Cloneable<Object?>, Cloneable<Object?>*/ Pair |
| ._(); |
| } |
