tree dd3243d0fcf5cbfc66fe5ed02767115bddda4734
parent ae56e0e9ff6992766cca215f147ce1bb612a3239
author Ian Zerny <zerny@google.com> 1614070402 +0100
committer Ian Zerny <zerny@google.com> 1614070402 +0100

Fix type-reference compare for the null/null case.

Change-Id: If43d3a7c311d6d9d2d927aa638bc1da4b5e96a14