Underlying fields enumerated when inspecting opaque type

[OndrejSpanel]

Compiler version

3.5.2, 3.6.2-RC3

Minimized code

import scala.quoted.*

inline def debug[A]: String = ${ debugImpl[A] }

def debugImpl[A: Type](using quotes: Quotes): Expr[String] = {
  import quotes.reflect.*
  val a = TypeRepr.of[A]
  val sym = a.typeSymbol
  val xMem = sym.fieldMember("x")
  if (xMem != Symbol.noSymbol)
    Expr(s"${sym.name}.${xMem.name}, flags ${xMem.flags.show}")
  else
    Expr("No symbol")
}

object T {
  case class V(x: Double)

  opaque type Vec = V
}

import T.*

object Main {

  def main(args: Array[String]): Unit = {
    println(debug[Vec])
    println(debug[V])
  }
}

Output

Vec.x, flags Flags.CaseAccessor | Flags.ParamAccessor
V.x, flags Flags.CaseAccessor | Flags.ParamAccessor

Expectation

When inspecting opaque type field members, members of the underlying type should not be revealed.

[OndrejSpanel]

Moreover, when I ask about sym.flags, so that I can work around the issue, I expected to get Opaque, but I get Deferred instead, whatever that means.

[jchyb]

It might be difficult or impossible to hide the underlying type details in macros, but it's definitely wrong that the Opaque flag does not show up