Fix another closure/type variable error by using analyzeTypeVariables.

tests/language/issue14014_3_test.dart

Index: tests/language/issue14014_3_test.dart
===================================================================
--- tests/language/issue14014_3_test.dart	(revision 0)
+++ tests/language/issue14014_3_test.dart	(revision 0)
@@ -0,0 +1,21 @@
+// Copyright (c) 2013, 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.
+

[Johnni Winther, 2013/10/23 06:11:32]

Ditto.

[ngeoffray, 2013/10/23 06:43:41]

Done.

+class A<T> {
+  var f;
+  A(this.f);
+}
+
+typedef foo<T>(T a);
+
+class B<T> extends A<T> {
+  B({void f(T foo)}) : super(() => f is foo<T>);
+}
+
+main() {
+  var t = new B<int>(f: (int a) => 42);
+  if (!t.f()) {
+    throw 'Test failed';
+  }
+}