Further work on 17522

tests/language/language_analyzer.status

Index: tests/language/language_analyzer.status
diff --git a/tests/language/language_analyzer.status b/tests/language/language_analyzer.status
index c07a0dac7a149e2d74d146c71c3dc7c69cfc8a8f..c8a46808ee29e74b2f8dc69bfa88f5b1aaf63f7c 100644
--- a/tests/language/language_analyzer.status
+++ b/tests/language/language_analyzer.status
@@ -453,12 +453,15 @@ compile_time_constant_checked3_test/05: CompileTimeError # Issue 16391
 list_literal1_test/01: CompileTimeError # Issue 16391
 map_literal1_test/01: CompileTimeError # Issue 16391
 
-# Issue 17522
-deferred_constraints_type_annotation_test/*: Pass, Fail
-deferred_constraints_constants_test/*: Pass, Fail
+# 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
-deferred_closurize_load_library_test: 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
 
 # Issues to be fixed now that type parameters have been fixed
 # (issues 14221, 15553)