fix #214, check type of inferred initializing formal with default value

test/checker/inferred_type_test.dart

Index: test/checker/inferred_type_test.dart
diff --git a/test/checker/inferred_type_test.dart b/test/checker/inferred_type_test.dart
index be7a158a837ad143c6ccbe10c00a720cb45309ee..28373e9b9c14a0c7242c67c58a1a7cb3bf0cfa5d 100644
--- a/test/checker/inferred_type_test.dart
+++ b/test/checker/inferred_type_test.dart
@@ -1515,4 +1515,12 @@ void main() {
       '''
     }, inferDownwards: true);
   });
+
+  test('inferred initializing formal checks default value', () => testChecker({
+    '/main.dart': '''
+      class Foo {
+        var x = 1;
+        Foo([this.x = /*severe:StaticTypeError*/"1"]);
+      }'''
+  }));
 }