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

// @dart = 2.9

/// @assertion A type parameter is considered to be a malformed type when
/// referenced by a static member.
/// @description Checks that compile error occurs if type parameter is used
/// in a type test in static context.
/// @author iefremov


class C<T> {
  static bool f() {
    return null is T;
//                 ^
// [analyzer] unspecified
// [cfe] unspecified
  }
}

main() {
  C.f();
}