13e2845dcf
This CL introduces typed constants and values to the IR. As a demonstration, the types are used to eagerly statically evaluate identical(a, b) to false, if a and b have different types. R=kmillikin@google.com Review URL: https://codereview.chromium.org//800433003 git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@42315 260f80e4-7a28-3924-810f-c04153c831b5