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

// This test insures that statically initialized variables, fields, and parameters
// report static type warnings.

int a = "String";  /// 01: static type warning, dynamic type error

class A {
  static const int c = "String"; /// 02: static type warning, checked mode compile-time error
  final int d = "String"; /// 03: static type warning, dynamic type error
  int e = "String"; /// 04: static type warning, dynamic type error
   A() {
     int f = "String"; /// 05: static type warning, dynamic type error
   }
  method([
     int  /// 06: static type warning
     g = "String"]) {
    return g;
  }
}

int main() {
  var w = a; /// 01: continued
  var x;
  x = A.c;  /// 02: continued
  var v = new A();
  x = v.d;  /// 03: continued
  x = v.e;  /// 04: continued
      x = v.method(1); /// 06: continued
}