717da6731b
Modifier.TYPEDEF was redundant with Modifier.MIXIN_APPLICATION and ClassElement.isTypedef was redundant with ClassElement.isMixinApplication. Since Modifier.TYPEDEF was private to analyzer, it has been eliminated. Since ClassElement.isTypedef is part of the public API to analyzer, it is retained, but with a "@deprecated" annotation. R=scheglov@google.com Review URL: https://codereview.chromium.org//1158193008