further clarifications for type converter cases