Document failure to handle type parameter shadowing

Author: amcasey

src/harness/unittests/extractMethods.ts

@@ -565,6 +565,15 @@ namespace A {
             }
         }
     }
+}`);
+        // This test is descriptive, rather than normative.  The current implementation
+        // doesn't handle type parameter shadowing.
+        testExtractMethod("extractMethod14",
+            `function F<T>(t1: T) {
+    function F<T>(t2: T) {
+        [#|t1.toString();
+        t2.toString();|]
+    }
 }`);
     });
 

tests/baselines/reference/extractMethod/extractMethod14.ts

@@ -0,0 +1,39 @@
+// ==ORIGINAL==
+function F<T>(t1: T) {
+    function F<T>(t2: T) {
+        t1.toString();
+        t2.toString();
+    }
+}
+// ==SCOPE::function 'F'==
+function F<T>(t1: T) {
+    function F<T>(t2: T) {
+        newFunction();
+
+        function newFunction() {
+            t1.toString();
+            t2.toString();
+        }
+    }
+}
+// ==SCOPE::function 'F'==
+function F<T>(t1: T) {
+    function F<T>(t2: T) {
+        newFunction<T>(t2);
+    }
+
+    function newFunction<T>(t2: T) {
+        t1.toString();
+        t2.toString();
+    }
+}
+// ==SCOPE::global scope==
+function F<T>(t1: T) {
+    function F<T>(t2: T) {
+        newFunction<T, T>(t1, t2);
+    }
+}
+function newFunction<T, T>(t1: T, t2: T) {
+    t1.toString();
+    t2.toString();
+}