암시 적 객체를 가져 오는 방법은 무엇입니까?

Question

어쩌면 바보 같은 질문이지만, 다음을 컴파일하는 것은 error: could not find implicit value for evidence parameter of type Outer.Inner.MyImplicit[Int] 제공 :

object Outer { 
    import Inner._ 

    def someMethod[T : MyImplicit] = {} 
    someMethod[Int] 

    object Inner { 
    sealed trait MyImplicit[T] 
    implicit case object IntImplicit extends MyImplicit[Int] 
    } 
} 

왜 Outer 객체 가져 오기에도 불구 IntImplicit를 볼 수없는 이유는 무엇입니까? 컴파일러에서 Inner 개체 내에 IntImplicit을 찾는 방법이 있습니까?

업데이트 : Inner을 반입하지 ​​않으면 어떻게됩니까? 어떻게 가져 오겠습니까?

object Outer { 
    import Other._ 
    def someMethod[T : MyImplicit] = {} 
    someMethod[Int] 
} 

object Other { 
    sealed trait MyImplicit[T] 
    implicit case object IntImplicit extends MyImplicit[Int] 
} 

감사합니다.

Answer 1

가져 오기 전에 Inner 개체를 정의하면됩니다. 그래서, 이것은 잘 작동합니다.

object Outer { 
    object Inner { 
    sealed trait MyImplicit[T] 
    implicit case object IntImplicit extends MyImplicit[Int] 
    } 
    import Inner._ 

    def someMethod[T : MyImplicit] = {} 
    someMethod[Int] 
}