tests: update because resolved types are in error messages