in dartc, generics in Typedef not working as expected, when extending generic type

tests/language/src/FunctionTypeAliasTest.dart

 // Copyright (c) 2011, 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.
 // VMOptions=--enable_type_checks
 //
 // Dart test for function type alias.
 
 typedef Fun(a, b);
 
 typedef int IntFun(a, b);
 
 typedef bool BoolFun(a, b);
 
 typedef int CompareObj(Object a, Object b);
 
 typedef int CompareInt(int a, int b);
 
 typedef int CompareString(String a, String b, [bool swap]);
 
 typedef void Test();
 
 typedef ParametrizedFun1<T, U extends bool, V>(T t, U u);
 
 typedef List<T> ParametrizedFun2<T, U, V extends Map<T, int>>(
     Map<T, int> t, U u);
 
+typedef void BoundsCheck<T extends num>(T arg);
+
 class FunctionTypeAliasTest {
   FunctionTypeAliasTest() {}
   static int test(CompareObj compare, Object a, Object b) {
     return compare(a, b);
   }
-  foo(Test test) {}
+  foo(Test arg) {}
   static bar() {
     FunctionTypeAliasTest a = new FunctionTypeAliasTest();
     a.foo(() { });
     return 0;
   }
 
   static void testMain() {
     int compareStrLen(String a, String b) { return a.length - b.length; }
     Expect.isTrue(compareStrLen is Fun);
     Expect.isTrue(compareStrLen is IntFun);
@@ skipping 43 matching lines @@
 
     int plus (int a, [int b = 1]) { return a + b; };
     Expect.isTrue(plus is !Fun);
     Expect.isTrue(plus is !IntFun);
     Expect.isTrue(plus is !BoolFun);
     Expect.isTrue(plus is !CompareObj);
     Expect.isTrue(plus is !CompareInt);
     Expect.isTrue(plus is !CompareString);
 
     Expect.equals(0, bar());
+
+    Function boundsTrue = void _(int arg) { };
+    Function boundsFalse = void _(String arg) { };
+    Expect.isTrue(boundsTrue is BoundsCheck<num>);
+    Expect.isFalse(boundsFalse is BoundsCheck<num>);

[zundel, 2012/01/04 21:28:54]

The way I wanted to write this test was:

Expect.isFalse(boundsFalse is BoundsCheck);

But that substitutes 'Dynamic' for the type parameter and the is-expression
evaluates to true.

   }
 }
 
 main() {
   FunctionTypeAliasTest.testMain();
 }