StaticTypeInfer.scala

object Main extends App{
    trait Creatable[T] {
        def create(): T
    }
    
    class Cat(val name: String)
    
    //  自作の型への適用
    implicit object Cat extends Creatable[Cat] {
        def create() = new Cat("taro")
    }
    
    //  既存の型へ適用
    implicit object StringCreatable extends Creatable[String] {
        def create() = "oooo"
    }
    
    def createValue[T]()(implicit Cls: Creatable[T]): T = Cls.create()

    //  ここの[Cat]が無いとコンパイルできない
    //  一方、StringCreatableの定義を消すと、[Cat]がなくてもコンパイルできる
    //  返り値からの推論をする前に、Tを不定な状態でClsを探してしまう？
    val cat: Cat = createValue[Cat]()
    println(cat)
    
    val str: String = createValue[String]()
    println(str)
}