Search results for type inference runtime validation