Domanda sulle conversioni implicite di Scala Regola di non ambiguità

Question

Qualcuno potrebbe spiegarmi in seguito alla situazione con il meccanismo di conversioni implicite di Scala. C'è un codice:

object Main { 
    implicit val x:Int => String = v => "val" 
    implicit def y(v:Int) = "def" 

    def p(s:String) = print(s) 

    def main(args: Array[String]): Unit = { 
     p(1) 
    } 
} 

Questo codice stampa "val". Ma quando io commento seconda linea:

//implicit val x:Int => String = v => "val" 

stampe codice "def".

Quindi entrambe le conversioni implicite (xey) sono possibili in questa situazione. C'è una Regola di non ambiguità - una conversione implicita viene inserita solo se non c'è altra conversione possibile da inserire. Secondo questa regola questo codice non dovrebbe essere compilato affatto. Ma il codice viene compilato ed eseguito con successo. Cosa non capisco?

Grazie.

Answer 1

Il motivo è indicato nella sezione 6.26.2 delle specifiche della lingua di Scala.

Prima che il metodo possa essere considerato come una funzione, è necessario convertirlo in uno eseguendo l'espansione eta. Quindi si dovrebbe applicare una conversione implicita in più e viene scelto lo val.

UPDATE: esempio errato rimosso.

La valutazione di un metodo senza parametri viene sempre eseguita implicitamente.