tests: error message from typechecker changed
Ignore test for #1315