am df7cb931: Merge "Verifier treats unresolved return types as a soft error." into ics-mr1-plus-art
am df7cb931: Merge "Verifier treats unresolved return types as a soft error." into ics-mr1-plus-art

* commit 'df7cb93174c4b06992a528461894f95e878a18d2':
  Verifier treats unresolved return types as a soft error.

treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst