tree 8617f8181bc97394a7274c235a3e6a09baa1ec87
parent 8776bdbf4223beeb3f5cafc67aae305f34fc7c6b
author Paul Berry <paulberry@google.com> 1559573494 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1559573494 +0000

Only create hard edges for local variable/parameter references.

Exception: also create hard edges for the relation between a type
argument and the corresponding type parameter bound, because that
can't be fixed by a null check.
Change-Id: I71b21ddb11c1bb1060cb6f13efde13855770e2b5
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/104485
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>