tree 71f28d0de84dd7810e23ec0229fe401220129bc4
parent 2bb1e59ce9cf90931bd9959fe0dc9ec279659dce
author Ian Zerny <zerny@google.com> 1588270413 +0200
committer Ian Zerny <zerny@google.com> 1588270426 +0000

Share subtyping computation where possible.

Bug: 155188554
Change-Id: I3be581cf671444f3a75a8c32c23877ab9e38c8c0