Searching in compiler/testData/diagnostics/testsWithStdLib/cast