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;