A hole in evaluation with an expected type required to finish evaluation.