Applications of contravariantly finite subcategories