在A s scala 3中获得一个隐式参数化类型

Question

Scala 3语法问题。 我觉得围绕此内容还没有足够的文档。

当该类型被参数化时，如何在A for中获取隐式值？

for
  o               <- Option("line just to make for comprehension start")
  given Int       = 2
  a               = implicitly[Int] // error: no implicit argument of type Int was found for parameter e of method implicitly in object Predef
  given List[Int] = List(1, 2, 3)
  b               = implicitly[List[Int]] // error: no implicit argument of type List[Int] was found for parameter e of method implicitly in object Predef
yield ()

编辑：

，但是如果我在声明和用法之间插入虚拟行，则可以工作：

for
  o               <- Option("line just to make for comprehension start")
  given List[Int] = List(1, 2, 3)
  p               <- Option("dummy")
  b               = implicitly[List[Int]] // works
yield ()