Fix for analyzer, 18562, warning for deferred types is now generated on type tests, casts and catch…

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
 
 # Test issue 12694 (was analyzer issue), (1) when "abstract" is import prefix using it as type is warning; (2) currently analyzer resolves prefix as field (don't ask)
 built_in_identifier_prefix_test: CompileTimeError # Issue 12694
@@ skipping 430 matching lines @@
 compile_time_constant_checked2_test/05: CompileTimeError # Language Issue 16391
 compile_time_constant_checked3_test/01: CompileTimeError # Language Issue 16391
 compile_time_constant_checked3_test/05: CompileTimeError # Language Issue 16391
 list_literal1_test/01: CompileTimeError # Issue 16391
 map_literal1_test/01: CompileTimeError # Issue 16391
 
 # Issue 18562- Old syntax (@lazy) for deferred libraries
 deferred_constraints_type_annotation_old_syntax_test/*: Pass, Fail
 deferred_constraints_constants_old_syntax_test/*: Pass, Fail
 
-# Issue 18562- 'is', 'as' and 'catch' aren't type annotations, thus we don't
-# generate the "The deferred types cannot be used in a declaration" warning
-deferred_constraints_type_annotation_test/as_operation: MissingStaticWarning
-deferred_constraints_type_annotation_test/is_check: MissingStaticWarning
-deferred_constraints_type_annotation_test/catch_check: MissingStaticWarning
-
 # The following lines have been left in to quickly switch back to having deferred loading
 # off by default again.
 # Deferred loading support, tests marked as failing until support is enabled by default.
 #deferred_closurize_load_library_test: Pass, Fail
 #deferred_not_loaded_check_test/*: Pass, Fail
 #deferred_shadow_load_library_test: Pass, Fail
 #deferred_constraints_constants_test/*: Pass, Fail
 #deferred_load_library_wrong_args_test/*: Pass, Fail
 #deferred_constraints_type_annotation_test/*: Pass, Fail
 #deferred_load_inval_code_test: Pass, Fail
 #deferred_not_loaded_check_test: Pass, Fail
 
 # Issues to be fixed now that type parameters have been fixed
 # (issues 14221, 15553)
 factory1_test/00: StaticWarning # Test Issue 18726
 factory1_test/01: StaticWarning # Test Issue 18726
 factory1_test/none: StaticWarning # Test Issue 18726
 generic_closure_test: StaticWarning
 local_function2_test: StaticWarning
 redirecting_factory_long_test: StaticWarning