| // 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 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 Pair(u, t); | |
| } | |
| main() { | |
| final x = new /*error:COULD_NOT_INFER,error:COULD_NOT_INFER*/ Pair._(); | |
| } |