Fix bug where verification could crash on unresolved types.

Bug: 27626708

Change-Id: I708ee18215dccadc00ff3daa1e01c2830475ccae
6 files changed