Scalaはファイルを予期せずコンパイルしますが、暗黙の変換が行われていますか？

Question

以下のクラスがScalaでエラーなくコンパイルされる理由を理解しようとしています。 クラスのcreateTestClassメソッドはタイプTypeClass[A]の暗黙的なパラメータを提供しようとしているのでタイプエラーで失敗することが予想されますが、そのようなインスタンスではなくタイプA => Stringのラムダを提供します。

ここでは暗黙の変換がありますか？何が起こっているのか把握するにはどうすればいいですか？

object Test { 

    trait TypeClass[A] { 
    def asString(a: A): String 
    } 

    object TypeClass { 
    def apply[A: TypeClass]: TypeClass[A] = implicitly[TypeClass[A]] 
    } 

    case class TestClass[A: TypeClass](foo: Option[A] = None) 

    object TestClass { 
    def apply[A: TypeClass]: TestClass[A] = TestClass[A]() 
    } 

} 

object DoTest { 
    import Test.TestClass 

    def createTestClass[A]: TestClass[A] = 
    TestClass.apply[A]((_: A) => "test") 

} 

Answer 1

Scala 2.12では、新機能「lambda syntax for SAM (Single Abstract Method) types」が導入されました。それはあなたがここで見ているものです。