tree 9e3090dcde00fe0351e44a642006d435f04da880
parent 6c317024204e1ce25b446225bb2bbefccb72d06e
author Christoffer Quist Adamsen <christofferqa@google.com> 1637924388 +0100
committer Christoffer Quist Adamsen <christofferqa@google.com> 1637924388 +0100

Reproduce type kept by instance-of check

Change-Id: Ieada1700c9aac4010043056c5df2eeb47e96a3af