// 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<T extends num> {
  final T x;
  const C(this.x);
}

class D<T extends num> {
  const D();
}

void main() {
  const /*@ type=C<int*>* */ c = const /*@ typeArgs=int* */ C(0);
  C<int> c2 = c;
  const D<int> d = const /*@ typeArgs=int* */ D();
}