Implement new "yield*" type checking rules in analyzer.

pkg/analyzer/test/generated/static_type_warning_code_test.dart

Index: pkg/analyzer/test/generated/static_type_warning_code_test.dart
diff --git a/pkg/analyzer/test/generated/static_type_warning_code_test.dart b/pkg/analyzer/test/generated/static_type_warning_code_test.dart
index 6b5f0a75996aacd8f9059d17ab1d3dcad703daf1..bf70201e070b6f104bb73ac4fa6343379f517543 100644
--- a/pkg/analyzer/test/generated/static_type_warning_code_test.dart
+++ b/pkg/analyzer/test/generated/static_type_warning_code_test.dart
@@ -1772,6 +1772,17 @@ Stream<int> f() async* {
     verify([source]);
   }
 
+  void test_yield_each_async_non_stream() {
+    Source source = addSource('''
+f() async* {
+  yield* 0;
+}
+''');
+    resolve(source);
+    assertErrors(source, [StaticTypeWarningCode.YIELD_OF_INVALID_TYPE]);
+    verify([source]);
+  }
+
   void test_yield_each_async_to_mistyped_stream() {
     Source source = addSource('''
 import 'dart:async';
@@ -1785,6 +1796,17 @@ Stream<String> g() => null;
     verify([source]);
   }
 
+  void test_yield_each_sync_non_iterable() {
+    Source source = addSource('''
+f() sync* {
+  yield* 0;
+}
+''');
+    resolve(source);
+    assertErrors(source, [StaticTypeWarningCode.YIELD_OF_INVALID_TYPE]);
+    verify([source]);
+  }
+
   void test_yield_each_sync_to_mistyped_iterable() {
     Source source = addSource('''
 Iterable<int> f() sync* {