tree 897781122274c94a65af9f1eb6efad5794671518
parent 55a0bde75646a83646dad04219bdb8ddf70904b5
author Morten Krogh-Jespersen <mkroghj@google.com> 1569852305 +0200
committer Morten Krogh-Jespersen <mkroghj@google.com> 1569854821 +0000

Add type-analysis util ensuring type lattice elements will not change

Change-Id: I7e26315fecc334d7b2af80dcbdb80609746efb99