Searching in src/tint/resolver