summonFrom and summon use different scopes for implicit search

[heksesang]

Compiler version

3.0.0-RC1

Minimized code

https://scastie.scala-lang.org/KfWryGwAT3SW7xwpv6k6OA

Output

Compiler error due to the fact that summonFrom only seems to do the implicit search within the closest enclosing scope (it compiles if the given is imported in the same scope as the summonFrom call).

Expectation

The calls to summon and summonFrom should obey the same rules for implicit search.

[nicolasstucki]

They use different scopes by design. summon uses the scope where it is called while summonFrom uses the implicit scope at the inline site.

Though in the example you hit #11479, which is a bug.

[nicolasstucki]

Minimized

package a:
  type Foo
  given foo: Foo = ???

import a.{Foo, given}
object test:
  inline def summonInlineFoo = scala.compiletime.summonInline[Foo]
  val summoned = summon[Foo]
  val summonedInline = summonInlineFoo

Moving the import into test fixed the issue

[nicolasstucki]

It is related but not exactly #11479