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

// Issue 3741: generic type tests and casts fail in assertion statements
// when run in production mode.  
//
// The cause was incomplete generic type skipping, so each of the assert
// statements below would fail.
//
// VMOptions=
// VMOptions=--enable_asserts

main() {
 var names = new List<int>();
 
 // Generic type test.
 assert(names is List<int>);
 
 // Negated generic type test.
 assert(names is !List<String>);
 
 // Generic type cast.
 assert((names as List<num>).length == 0);
 
 // Generic type test inside expression.
 assert((names is List<int>));
}