tree 63705a402fadb36932e96f81ea845dc05baf4285
parent a3a8d8bbd5314e77ab31d6918ed063300463a591
author Dmitry Stefantsov <dmitryas@google.com> 1529503571 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1529503571 +0000

Convert shadow nodes for 'is' and 'is!' into inference judgments

Bug: http://dartbug.com/33493
Change-Id: Ife367c8e2614332810a3660f4c98bf82893516ae
Reviewed-on: https://dart-review.googlesource.com/60925
Commit-Queue: Dmitry Stefantsov <dmitryas@google.com>
Reviewed-by: Paul Berry <paulberry@google.com>