Searching in compiler/testData/diagnostics/testsWithStdLib/contracts/fromLibrary