tree f1c5e21c51d32de8579971d63126e4b58ca7455a
parent 92d951c3595ac46078aaedcafd6480d566cd8191
author Ian Zerny <zerny@google.com> 1687873154 +0200
committer Ian Zerny <zerny@google.com> 1687873154 +0200

Prune dead code after instanceof workaround

Bug: b/288273207
Change-Id: I909bd45697ecdf5af21425c993785fe71f17a915