scheglov@google.com c92c823df7 Issue 8973. Don't cast to NodeElement where not needed. ...

https://code.google.com/p/dart/issues/detail?id=8973

R=brianwilkerson@google.com
BUG=

Review URL: https://codereview.chromium.org//12593009

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@19696 260f80e4-7a28-3924-810f-c04153c831b5

2013-03-08 16:43:07 +00:00

..

google/dart/compiler

Issue 8973. Don't cast to NodeElement where not needed.

2013-03-08 16:43:07 +00:00