我有以下的scala代码。我不明白为什么这些隐含的东西没有被编译器弄明白。我也尝试在Main中放置导入线。但请注意，隐式对象是内部主要创建时，那么代码正确运行 import LoggingAddon._
object Main {
def main(args: Array[String]): Unit = {
val dog = new Dog
Util.act(
Section Definitions.
Definition eq_dec X := forall x y : X, {x=y} + {x <> y}.
Existing Class eq_dec.
(* Any function that uses eq_dec. Doesn't matter -- ↓ ↓ ↓ *)
Definition f {X:
假设我有2种方法中，A，B，和4类，C，d，E，T。 def A(c: C)(implicit t: Request[T]): D { ... }
def B(fn: C => D): E {
implicit val t // I have to declare implicit val for A here
fn(c)
...
}
然后，我想用一个调用方