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

// @dart = 2.9

import "package:expect/expect.dart";

class A<T> {
  Function closure;
  A._(this.closure);

  factory A() {
    return new A._(() => new Set<T>());
  }

  A.bar() {
    closure = () => new Set<T>();
  }

  static
  T //# 01: compile-time error
      staticMethod(
  T //# 02: compile-time error
          a) {
    final
    T //# 03: compile-time error
        a = "not_null";
    print(a);
    return a;
  }

  static final
  T //# 04: compile-time error
      staticFinalField = "not_null";

  static const
  T //# 05: compile-time error
      staticConstField = "not_null";

  static not_null() => "not_null";
  static final
  T //# 06: compile-time error
      staticFinalField2 = not_null();

  // Type parameters are not in scope inside static methods.
  static
      T //# 07: compile-time error
      staticMethod2(
      T //# 07: compile-time error
      a) {
    final
      T //# 07: compile-time error
      a = null;
    print(a);
    return a;
  }

  static final
  T //# 08: compile-time error
    staticFinalField3 = null;

  static null_() => null;
  static final
  T //# 09: compile-time error
    staticFinalField4 = null_();
}

main() {
  var s = ((new A()).closure)();
  Expect.isTrue(s is Set);

  s = ((new A.bar()).closure)();
  Expect.isTrue(s is Set);

  s = ((new A<int>()).closure)();
  Expect.isTrue(s is Set<int>);
  Expect.isFalse(s is Set<double>);

  s = ((new A<int>.bar()).closure)();
  Expect.isTrue(s is Set<int>);
  Expect.isFalse(s is Set<double>);

  A.staticMethod("not_null");
  print(A.staticFinalField);
  print(A.staticConstField);
  print(A.staticFinalField2);

  A.staticMethod2(null);
  print(A.staticFinalField3);
  print(A.staticFinalField4);
}