// Copyright (c) 2011, 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.

import "dart:_js_helper";
import "package:expect/expect.dart";

// Test for uninstantiated native classes as type parameters.

class UA {
}

@Native("B")
class UB {
}

class C<T> {
}

main() {
  var a = new C<UA>();
  var b = new C<UB>();

  Expect.isTrue(a is! C<int>);
  Expect.isTrue(a is! C<C>);
}