* [NIT] fix common error message Extremely minor issue, but this is one of the most common error messages people see... * Update type_solver.cc trigger CI
