add a failing test case to demonstrate a substitution issue

pkg/analyzer/test/generated/resolver_test.dart

Index: pkg/analyzer/test/generated/resolver_test.dart
diff --git a/pkg/analyzer/test/generated/resolver_test.dart b/pkg/analyzer/test/generated/resolver_test.dart
index fa2436ec423d871fb35a7c14d9089f3018d1fec3..9fef4c782101d25892a1105afa986e6b3dca51cc 100644
--- a/pkg/analyzer/test/generated/resolver_test.dart
+++ b/pkg/analyzer/test/generated/resolver_test.dart
@@ -12219,6 +12219,22 @@ main() {
     expect(ft.toString(), '(String) → List<int>');
   }
 
+  void fail_genericMethod_nested() {
+    // TODO(jmesserly): this test currently fails because we incorrectly capture
+    // S in FunctionTypeImpl.substitute. We should probably rename free
+    // variables during substitution to avoid it.
+    _resolveTestUnit(r'''
+class C<T> {
+  /*=T*/ f/*<S>*/(/*=S*/ x) {
+    new C<S>().f/*<int>*/(3);
+    return null;
+  }
+}
+''');
+    SimpleIdentifier f = _findIdentifier('f/*<int>*/(3);');
+    expect(f.staticType.toString(), '(int) → S');
+  }
+
   void test_genericMethod_functionTypedParameter() {
     if (!AnalysisEngine.instance.useTaskModel) {
       return;