Merge pull request #25260 from briansull/GitHub_25134
authorBrian Sullivan <briansul@microsoft.com>
Fri, 21 Jun 2019 22:56:36 +0000 (15:56 -0700)
committerGitHub <noreply@github.com>
Fri, 21 Jun 2019 22:56:36 +0000 (15:56 -0700)
Fix Issue #25134 - AssertionProp incorrectly removes cast from uint


Trivial merge