InferenceResult::has_errors
It generaly does not work as expected right now as we fallback type parameters to errors