Drop check file

Check files should be only added if they test a tricky error message, typically
one with lots of configurable parts. A simple string error message should never
lead to a check file. Having too many check file just causes unnecessary friction for
me and the other maintainers.

Author: odersky