Hacky fix to ignore type holes when testing for refinement.