Searching in python/testData/resolve/UserPyInsteadProvidedPyi