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