tests/language/type_variable_scope2_test.dart

// 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.

import "package:expect/expect.dart";

// Test that malformed type arguments treated as dynamic in both production and
// checked mode.

class Foo<T> {
  // T is not in scope for a static method.
  static Foo<T> m() {
    return new Foo();
  }
}

main() {
  try {
    Expect.isTrue(Foo.m() is Foo);
  } on TypeError catch (error) {
    print(error);
    // No type error in production nor checked mode.
    Expect.fail();
  }
}