Merge pull request #6285 from JosephTremoulet/LenProp
authorJoseph Tremoulet <JCTremoulet@gmail.com>
Thu, 11 Aug 2016 00:16:31 +0000 (20:16 -0400)
committerGitHub <noreply@github.com>
Thu, 11 Aug 2016 00:16:31 +0000 (20:16 -0400)
Propagate known array lengths to more places


Trivial merge