El Sevilla FC tendría pensado completar el pase del Tecatito en el mercado de invierno, después de que no pudiera llegar a un acuerdo este verano. En enero estaría a sólo 5 meses de quedar libre, por lo que su fichaje sería mucho más económico que en el mercado estival y podría afrontarlo por una cantidad sinbólica. Además, no está jugando mucho en el Porto, por lo que su equipo no pondría muchos inconvenientes.
Para ello, el club tendría que dar salida a Idrissi, Munir o a ambos. A pesar de tener un dorsal libre en Liga, para Europa necesitaría dar salida a Idrissi, ya que Corona, a pesar de tener pasaporte comunitario, ocupa una plaza no nacional.