Fixed Issue #435: got rid of higher order type variables.
diff --git a/LanguageFeatures/Extension-methods/semantics_of_invocations_t05.dart b/LanguageFeatures/Extension-methods/semantics_of_invocations_t05.dart
index 06a77e7..523a375 100644
--- a/LanguageFeatures/Extension-methods/semantics_of_invocations_t05.dart
+++ b/LanguageFeatures/Extension-methods/semantics_of_invocations_t05.dart
@@ -19,7 +19,7 @@
 
 class A<T1, T2, T3> {}
 
-extension ExtendedA<T, T1, T2, T3> on T<T1, T2, T3> {
+extension ExtendedA<T1, T2, T3> on A<T1, T2, T3> {
   void test(dynamic expected, expected1, expected2, expected3) {
     Expect.equals(expected, T);
     Expect.equals(expected1, T1);
@@ -29,6 +29,6 @@
 }
 
 main() {
-  A a = A<int, String, num>();
-  a.test(A, int, String, num);
+  var a = A<int, String, num>();
+  a.test(int, String, num);
 }