given declaration picks wrong type

[scf37]

Compiler version

3.0.0

Minimized code

import scala.quoted._

object Boo:
  def foo(using Quotes): Unit =
    import quotes.reflect._
    given Option[Symbol] = Some[Symbol](???)

Output

Found:    Some[x$1.reflect.Symbol]
Required: Option[Symbol²]

where:    Symbol  is a type in trait reflectModule with bounds <: AnyRef
          Symbol² is a class in package scala

Expectation

Successful compilation since both 'Symbol' should refer to reflect.Symbol and not scala.Symbol

[odersky]

The problem is that resolving quotes.reflect requires an implicit search, which will need to evaluate the given, which will again need to look at the import that's currently being completed. If the import is a wildcard import, it is skipped, which explains the error message. if the import is explicit, as in

  def bar(using Quotes): Unit =
    import quotes.reflect.Symbol
    given Option[Symbol] = Some[Symbol](???)

one gets a Cyclic error message instead:

-- [E046] Cyclic Error: i12802.scala:9:17 --------------------------------------
9 |    given Option[Symbol] = Some[Symbol](???)
  |                 ^
  |                 Cyclic reference involving val <import>

longer explanation available when compiling with `-explain`