Check if the element is a typedef

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 beb5348e2875c8c23cc21129ef64476cb6a85ef3..2cba17cb988c24d9360d43958954d2de80cc6d5f 100644
--- a/sdk/lib/_internal/compiler/implementation/resolution/members.dart
+++ b/sdk/lib/_internal/compiler/implementation/resolution/members.dart
@@ -1637,7 +1637,9 @@ class ResolverVisitor extends CommonResolverVisitor<Element> {
       this.statementScope = new StatementScope(),
       typeResolver = new TypeResolver(compiler),
       scope = element.buildScope(),
+      // The type annotations on a typedef do not imply type checks.

[ngeoffray, 2013/03/01 11:18:15]

Please also reference the bug you just filed.

[karlklose, 2013/03/01 11:22:57]

Done.

       inCheckContext = compiler.enableTypeAssertions &&
+          !element.isTypedef() &&
           (element.enclosingElement == null ||
            !element.enclosingElement.isTypedef()),
       inCatchBlock = false,