| commit | 2990b88aa12f178a23966551ebf48d9d249326d2 | [log] [tgz] |
|---|---|---|
| author | Nicolas Geoffray <ngeoffray@google.com> | Tue Nov 30 15:48:49 2021 +0000 |
| committer | Nicolas Geoffray <ngeoffray@google.com> | Wed Dec 01 09:50:05 2021 +0000 |
| tree | 42a887f6ba99a91a61e3427b496d03a23ad7c41a | |
| parent | b155987779b566a5215a51357213b909dab9db46 [diff] |
Remove unintended soft failure downgrade. When the supertype is not verified, we don't need to downgrade the verification failure kind to soft failure. We can keep the current failure kind and mark that the class will be verified at runtime: this will allow doing fast verification (ie, with type checks only), and supertype verification at runtime. Test: test.py Bug: 2831304 Change-Id: I58d1af1e60246550a72b577fa6f33af9ff8e8c89