Issue 21959. Check that type of parameters in 'Extract Method' occurrences are exactly the same.

pkg/analysis_server/test/services/refactoring/extract_method_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.refactoring.extract_method;
 
 import 'dart:async';
 
 import 'package:analysis_server/src/protocol.dart';
 import 'package:analysis_server/src/services/refactoring/extract_method.dart';
@@ skipping 1288 matching lines @@
   int res(int v1, int v2) => v1 + v2;
 }
 main() {
   int v1 = 1;
   int v2 = 2;
   int negA = v1 + v2;
 }
 ''');
   }
 
+  test_singleExpression_occurrences_incompatibleTypes() {
+    indexTestUnit('''
+main() {
+  int x = 1;
+  String y = 'foo';
+  print(x.toString());
+  print(y.toString());
+}
+''');
+    _createRefactoringForString('x.toString()');
+    // apply refactoring
+    return _assertSuccessfulRefactoring('''
+main() {
+  int x = 1;
+  String y = 'foo';
+  print(res(x));
+  print(y.toString());
+}
+
+String res(int x) => x.toString();
+''');
+  }
+
   test_singleExpression_occurrences_inWholeUnit() {
     indexTestUnit('''
 main() {
   int v1 = 1;
   int v2 = 2;
   int positiveA = v1 + v2; // marker
 }
 class A {
   myMethod() {
     int v1 = 1;
@@ skipping 1146 matching lines @@
    * Returns a deep copy of [refactoring] parameters.
    * There was a bug masked by updating parameter instances shared between the
    * refactoring and the test.
    */
   List<RefactoringMethodParameter> _getParametersCopy() {
     return refactoring.parameters.map((p) {
       return new RefactoringMethodParameter(p.kind, p.type, p.name, id: p.id);
     }).toList();
   }
 }