Report ASSIGNMENT_TO_CONST.

tests/language/language_analyzer.status

 # 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.
 
 [ $compiler == dartanalyzer ]
 
 # Runtime negative test. No static errors or warnings.
 closure_call_wrong_argument_count_negative_test: skip
 
 
 #argument_definition_test/01: fail  # issue 11565 (passing for the wrong reason)
 
 illegal_invocation_test/01: fail # Issue: 11892
 
-# TBF: a.imethod = () { return 1; };
-assign_instance_method_negative_test: fail
-
 # TBF: m([int p = 'String'])
 assign_static_type_test/06: fail
 
 # TBD: using built-in identifers
 built_in_identifier_prefix_test: fail
 
 # TBF: (o as C) is not rolled back
 cast_test/04: fail
 cast_test/05: fail
 
 # TBF: It is a compile-time error if the superclass of a class C appears in the implements clause of C.
-closure_call_wrong_argument_count_negative_test: fail
 const_constructor_super_test/01: fail
 compile_time_constant10_test/none: fail
 compile_time_constant_c_test/01: fail
 
 # TBF: m([int p = 'String']) and call 'const' instance creation
 compile_time_constant_checked2_test/03: fail
 compile_time_constant_checked3_test/03: fail
 
-# TBF: not initialized final instance variable
-constructor2_negative_test: fail
-constructor3_negative_test: fail
-constructor_call_wrong_argument_count_negative_test: fail
-constructor_initializer_test: fail # uses argument definition test
-constructor_negative_test: fail
-
 # TBF: It is a static type warning if a type parameter is a supertype of its upper bound.
 cyclic_type_variable_test/01: fail
 cyclic_type_variable_test/02: fail
 cyclic_type_variable_test/03: fail
 cyclic_type_variable_test/04: fail
 
 # TBF: It is a static type warning if any of the type arguments to k' are not subtypes of the bounds of the corresponding formal type parameters of type.
 default_factory2_test/01: fail
 
 # TBF: It is a static warning if the function type of k' is not a subtype of the type of k.
@@ skipping 36 matching lines @@
 pseudo_kw_test: fail
 
 # TBF: hiding at start of the block and declared after declaration statement
 scope_negative_test: fail
 
 # TBF: 'instance.staticMethod()' is static warning
 static_field_test/01: fail
 static_field_test/02: fail
 static_field_test/03: fail
 
-# TBF: A constant variable is always implicitly nal.
-static_final_field2_negative_test: fail
-
 library_ambiguous_test/04: Fail # TBF: Issue 12106
 
 
 
 
 # test issue 10683, It is a compile-time error if e refers to the name v or the name v=.
 block_scope_test: fail
 lazy_static3_test: fail
 
 # test issue 10889, "throw" requires expression, "rethrow" should be used instead
@@ skipping 99 matching lines @@
 # test issue 11582, non-final field with 'const' constructor
 compile_time_constant10_test/none: fail
 
 # test issue 11583, int is valid key for constant map literal
 compile_time_constant_c_test/01: fail
 
 # test issue 11584, positional arguments cannot be used for named parameters
 compile_time_constant_e_test: fail
 
 # test issue 11585, static warning, not negative test
-constructor3_negative_test: fail # issue 11585
+constructor3_negative_test: fail
 constructor_call_wrong_argument_count_negative_test: fail
 instance_call_wrong_argument_count_negative_test: fail
 
 # test issue 11586, Class(args) is compile-time warning, not error
 constructor_negative_test: fail
 
 # test issue 11589, export D from 2 export directives
 export_cyclic_test: fail
 
 # test issue 11590, runtime only negative test
@@ skipping 23 matching lines @@
 is_not_class2_negative_test: fail
 
 # test issue 11597, It is a compile-time error if part has no "part of" directive
 library_juxtaposition_test: fail
 
 # test issue 11598, Any use of a malbounded type gives rise to a static warning
 mixin_type_parameters_errors_test/01: fail
 mixin_type_parameters_errors_test/02: fail
 mixin_type_parameters_errors_test/05: fail
 
+# test issue 11698, no setter, so warning, not error
+assign_instance_method_negative_test: fail
+
 # test issue 11918: mixin and const constructor
 const_constructor_mixin_test/01: fail
 const_constructor_mixin3_test/01: fail
 
 # test issue 11958, fails only at runtime
 no_such_method_negative_test: fail
 
 # test issue 11962, it is warning, not error to reference undeclared identifier
 prefix1_negative_test: fail
 prefix2_negative_test: fail
@@ skipping 10 matching lines @@
 prefix11_negative_test: fail
 
 # test issue 11965, 'source' is not built-in identifier anymore
 pseudo_kw_illegal_test/14: fail
 
 # test issue 12156, fails only at runtime
 static_call_wrong_argument_count_negative_test: fail
 
 # test issue 12157, uninitializer instance variable is warning, so not negative test
 static_final_field_negative_test: fail
+constructor2_negative_test: fail
 
 # test issue 12158, 'native' is not in spec, so analyzer does not generate compile-time error
 syntax_test/28: fail
 syntax_test/29: fail
 syntax_test/30: fail
 syntax_test/31: fail
 syntax_test/32: fail
 syntax_test/33: fail
 
 # test issue 12159, print(exception.message_); causes static warning, not an error
@@ skipping 10 matching lines @@
 type_variable_bounds2_test/02: fail
 type_variable_bounds2_test/03: fail
 type_variable_bounds2_test/04: fail
 type_variable_bounds2_test/06: fail
 
 # test issue 12163, unresolved identifier is static warning in static context
 unresolved_in_factory_negative_test: fail
 unresolved_top_level_method_negative_test: fail
 unresolved_top_level_var_negative_test: fail
 
+# test issue 12181, uses argument definition test
+constructor_initializer_test: fail
+
+# test issue 12184, It is static warning, not error, to assign to a constant variable.
+static_final_field2_negative_test: fail
+
 [ $compiler == dartanalyzer && $checked ]
 factory1_test/00: fail
 factory1_test/01: fail
 field_type_check2_test/01: fail
 factory_implementation_test/00: fail
 factory_redirection_test/08: fail
 factory_redirection_test/09: fail
 factory_redirection_test/10: fail
 factory_redirection_test/11: fail
 factory_redirection_test/12: fail
 factory_redirection_test/13: fail
 factory_redirection_test/14: fail
 getters_setters2_test/03: fail
 type_variable_bounds3_test/00: fail
 type_variable_bounds2_test/05: fail