Ошибка компилятора Implicits?

Question

Во-первых, краткое описание. Похоже, что если я помещу неявный для какого-либо другого типа в объект-компаньон и импортирую его в область видимости класса, он не будет найден во время неявного разрешения, пока он не будет указан явно один раз (или определен выше класса). Пример ниже.

class A(val a: Something) 

object A { 
    implicit val default = ... //found by default 
} 

object B { 
    def func(fn: => T)(implicit a: A) = ... 
} 

class Broken { 
    def doSomething = { 
    import Broken._ // or Broken.actual 
    B.func { ... } // Uses A.default, not Broken.actual for implicit 
    } 
} 

object Broken { 
    implicit val actual = ... 
} 

class Fixed { 
    def doSomething = { 
    import Fixed._ 
    println(actual) //reference actual 
    B.func { ... } // uses Fixed.actual 
    } 
} 

object Fixed { 
    implicit val actual = ... 
} 

object WTF { 
    implicit val actual = ... 
} 

class WTF { 
    def doSomething = { 
    import WTF._ 
    B.func { ... } // With object definition first this works without referencing actual 
    } 
} 

Я вроде предполагая, на данный момент я нашел ошибку компилятора, поэтому я открою JIRA против Scala, но в то же время мне интересно, если кто-нибудь здесь знает, если это, как ожидается, , или если у вас уже есть открытая ошибка?

редактировать: https://issues.scala-lang.org/browse/SI-7830

edit2: удален «: А» Тип декларации от всех фактических и по умолчанию вальса, чтобы правильно воссоздать мой вопрос.

Answer 1

Извините, это «как указано» в той мере, в какой существует спецификация. «Спецификация» похоронена в комментариях билета от пяти лет назад. https://issues.scala-lang.org/browse/SI-801