Hard fail on type assignment check.
We know the type assignment will also fail at runtime.
Test: test.py
Bug: 28313047
Change-Id: I046855bb5e29cf010638deabab601b8468d54c27
diff --git a/runtime/verifier/register_line-inl.h b/runtime/verifier/register_line-inl.h
index bd118cb..cacd2fd 100644
--- a/runtime/verifier/register_line-inl.h
+++ b/runtime/verifier/register_line-inl.h
@@ -144,7 +144,7 @@
} else if (check_type.IsUnresolvedTypes() || src_type.IsUnresolvedTypes()) {
fail_type = VERIFY_ERROR_UNRESOLVED_TYPE_CHECK;
} else {
- fail_type = VERIFY_ERROR_BAD_CLASS_SOFT;
+ fail_type = VERIFY_ERROR_BAD_CLASS_HARD;
}
verifier->Fail(fail_type) << "register v" << vsrc << " has type "
<< src_type << " but expected " << check_type;