Searching in test/typing/fail