tree 8379e59bc67f6b693f67a8cb07098a6bbc0b0ccf
parent 9157bbcf196c822953358af1cc046f689d842cd0
author Johnni Winther <johnniwinther@google.com> 1547209034 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1547209034 +0000

Use custom thisType to signal static type precision.

This also removes the dependency on the state (!) in ir.TypeEnvironment.

Change-Id: I0180d111ecf45b685c4abce12c6a9bd52c1f308e
Reviewed-on: https://dart-review.googlesource.com/c/88968
Commit-Queue: Johnni Winther <johnniwinther@google.com>
Reviewed-by: Sigmund Cherem <sigmund@google.com>