Issue 21883. Add checks if type parameters can be used.

pkg/analysis_server/test/services/correction/fix_test.dart

 // Copyright (c) 2014, 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.
 
 library test.services.correction.fix;
 
 import 'package:analysis_server/src/protocol.dart' hide AnalysisError;
 import 'package:analysis_server/src/services/correction/fix.dart';
 import 'package:analysis_server/src/services/index/index.dart';
 import 'package:analysis_server/src/services/index/local_memory_index.dart';
@@ skipping 215 matching lines @@
 class A {
   A.named(int i, double d) {
   }
 
   method() {}
 }
 main() {
   new A.named(1, 2.0);
 }
 ''');
-    _assertLinkedGroup(
-        change.linkedEditGroups[0],
-        ['named(int ', 'named(1']);
+    _assertLinkedGroup(change.linkedEditGroups[0], ['named(int ', 'named(1']);
   }
 
   void test_createConstructorSuperExplicit() {
     _indexTestUnit('''
 class A {
   A(bool p1, int p2, double p3, String p4, {p5});
 }
 class B extends A {
   B() {}
 }
@@ skipping 272 matching lines @@
 class A {
   var test;
 
   main() {
     test;
   }
 }
 ''');
   }
 
+  void test_createField_setter_generic_BAD() {
+    _indexTestUnit('''
+class A {
+}
+class B<T> {
+  List<T> items;
+  main(A a) {
+    a.test = items;
+  }
+}
+''');
+    assertHasFix(FixKind.CREATE_FIELD, '''
+class A {
+  List test;
+}
+class B<T> {
+  List<T> items;
+  main(A a) {
+    a.test = items;
+  }
+}
+''');
+  }
+
+  void test_createField_setter_generic_OK_local() {
+    _indexTestUnit('''
+class A<T> {
+  List<T> items;
+
+  main(A a) {
+    test = items;
+  }
+}
+''');
+    assertHasFix(FixKind.CREATE_FIELD, '''
+class A<T> {
+  List<T> items;
+
+  List<T> test;
+
+  main(A a) {
+    test = items;
+  }
+}
+''');
+  }
+
   void test_createField_setter_qualified_instance_hasField() {
     _indexTestUnit('''
 class A {
   int aaa;
   int zzz;
 
   existingMethod() {}
 }
 main(A a) {
   a.test = 5;
@@ skipping 1281 matching lines @@
   main() {
     int v = myUndefinedFunction(1, 2.0, '3');
   }
 }
 
 int myUndefinedFunction(int i, double d, String s) {
 }
 ''');
   }
 
+  void test_undefinedFunction_create_generic_BAD() {
+    _indexTestUnit('''
+class A<T> {
+  Map<int, T> items;
+  main() {
+    process(items);
+  }
+}
+''');
+    assertHasFix(FixKind.CREATE_FUNCTION, '''
+class A<T> {
+  Map<int, T> items;
+  main() {
+    process(items);
+  }
+}
+
+void process(Map items) {
+}
+''');
+  }
+
+  void test_undefinedFunction_create_generic_OK() {
+    _indexTestUnit('''
+class A {
+  List<int> items;
+  main() {
+    process(items);
+  }
+}
+''');
+    assertHasFix(FixKind.CREATE_FUNCTION, '''
+class A {
+  List<int> items;
+  main() {
+    process(items);
+  }
+}
+
+void process(List<int> items) {
+}
+''');
+  }
+
   void test_undefinedFunction_create_returnType_bool_expressions() {
     assert_undefinedFunction_create_returnType_bool("!test();");
     assert_undefinedFunction_create_returnType_bool("b && test();");
     assert_undefinedFunction_create_returnType_bool("test() && b;");
     assert_undefinedFunction_create_returnType_bool("b || test();");
     assert_undefinedFunction_create_returnType_bool("test() || b;");
   }
 
   void test_undefinedFunction_create_returnType_bool_statements() {
     assert_undefinedFunction_create_returnType_bool("assert ( test() );");
@@ skipping 141 matching lines @@
 }
 ''');
     assertHasFix(FixKind.CHANGE_TO, '''
 myFunction() {}
 main() {
   myFunction();
 }
 ''');
   }
 
+  void test_undefinedMethod_create_generic_BAD() {
+    _indexTestUnit('''
+class A<T> {
+  B b;
+  Map<int, T> items;
+  main() {
+    b.process(items);
+  }
+}
+
+class B {
+}
+''');
+    assertHasFix(FixKind.CREATE_METHOD, '''
+class A<T> {
+  B b;
+  Map<int, T> items;
+  main() {
+    b.process(items);
+  }
+}
+
+class B {
+  void process(Map items) {
+  }
+}
+''');
+  }
+
+  void test_undefinedMethod_create_generic_OK_literal() {
+    _indexTestUnit('''
+class A {
+  B b;
+  List<int> items;
+  main() {
+    b.process(items);
+  }
+}
+
+class B {
+}
+''');
+    assertHasFix(FixKind.CREATE_METHOD, '''
+class A {
+  B b;
+  List<int> items;
+  main() {
+    b.process(items);
+  }
+}
+
+class B {
+  void process(List<int> items) {
+  }
+}
+''');
+  }
+
+  void test_undefinedMethod_create_generic_OK_local() {
+    _indexTestUnit('''
+class A<T> {
+  List<T> items;
+  main() {
+    process(items);
+  }
+}
+''');
+    assertHasFix(FixKind.CREATE_METHOD, '''
+class A<T> {
+  List<T> items;
+  main() {
+    process(items);
+  }
+
+  void process(List<T> items) {
+  }
+}
+''');
+  }
+
   void test_undefinedMethod_createQualified_fromClass() {
     _indexTestUnit('''
 class A {
 }
 main() {
   A.myUndefinedMethod();
 }
 ''');
     assertHasFix(FixKind.CREATE_METHOD, '''
 class A {
@@ skipping 345 matching lines @@
       positions.add(new Position(testFile, offset));
     }
     return positions;
   }
 
   void _indexTestUnit(String code) {
     resolveTestUnit(code);
     index.indexUnit(context, testUnit);
   }
 }