La conversión automática de tipos en Java se lleva a cabo cuando