Minor: improve assertion message in SpecifyTypeExplicitlyFix