Implement is-checks against type variables.

sdk/lib/_internal/compiler/implementation/resolution/members.dart

Index: sdk/lib/_internal/compiler/implementation/resolution/members.dart
diff --git a/sdk/lib/_internal/compiler/implementation/resolution/members.dart b/sdk/lib/_internal/compiler/implementation/resolution/members.dart
index 7e069cc75aee3c54f8305815a103efd8c969c919..738afe52aaa89803707dca5cd7aa1cef62fe71e8 100644
--- a/sdk/lib/_internal/compiler/implementation/resolution/members.dart
+++ b/sdk/lib/_internal/compiler/implementation/resolution/members.dart
@@ -2497,9 +2497,7 @@ class ResolverVisitor extends CommonResolverVisitor<Element> {
           analyzeTypeArgument(type, argument);
         });
       }
-      // TODO(ngeoffray): Also handle cases like:
-      // 1) a is T
-      // 2) T a (in checked mode).
+      // TODO(ngeoffray): Also handle T a (in checked mode).

[ngeoffray, 2013/02/21 10:26:18]

Isn't that trivial to fix? Have the SSA builder treat T a jsut like it treats a
is T ?

[karlklose, 2013/02/21 14:48:44]

It probably is, but I don't want to do that in this CL.

     }
     return type;
   }