Airframe surface: crash with a type inherited from a trait

[OndrejSpanel]

Following code crashes the Scala 3.6.3 compiler when using "org.wvlet.airframe" %% "airframe-surface" % "2025.1.8":

import wvlet.airframe.surface.Surface

object MT extends MT

trait MT {
  case class B(min: Int = 0, max: Int = 0)
}

object Crash {
  val schema = Surface.of[MT.B]

  def main(args: Array[String]): Unit = {
    println(schema)
  }
}

The exception is:

scala: ## Exception when compiling 1 sources to C:\Dev\SurfaceCrash\target\scala-3.6.3\classes
java.lang.AssertionError: assertion failed: missing outer accessor in �[33mobject�[0m �[35mCrash�[0m
scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8)
dotty.tools.dotc.transform.ExplicitOuter$.dotty$tools$dotc$transform$ExplicitOuter$$$outerParamAccessor(ExplicitOuter.scala:236)
dotty.tools.dotc.transform.ExplicitOuter$OuterOps$.loop$1(ExplicitOuter.scala:460)
dotty.tools.dotc.transform.ExplicitOuter$OuterOps$.path$extension(ExplicitOuter.scala:469)
dotty.tools.dotc.transform.Erasure$Typer.typedThis(Erasure.scala:814)
dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:3501)

[OndrejSpanel]

When using -Xcheck-macros the output is:

Malformed tree was found while expanding macro with -Xcheck-macros.
The tree does not conform to the compiler's tree invariants.

Macro was:
scala.quoted.runtime.Expr.splice[wvlet.airframe.surface.Surface](((evidence$1: scala.quoted.Quotes) ?=> wvlet.airframe.surface.Surface.inline$CompileTimeSurfaceFactory.surfaceOf[MT.B](scala.quoted.Type.of[MT.B](evidence$1), evidence$1)))

The macro returned:
new wvlet.airframe.surface.GenericSurface(classOf[MT.B], .toIndexedSeq, params = wvlet.airframe.surface.StaticMethodParameter.apply(method = wvlet.airframe.surface.MethodRef.apply(owner = classOf[MT.B], name = "<init>", paramTypes = classOf[scala.Int], classOf[scala.Int], isConstructor = true), index = 0, name = "min", isRequired = false, isSecret = false, surface = wvlet.airframe.surface.Primitive.Int, defaultValue = scala.Some.apply[scala.Any](MT.this.B.$lessinit$greater$default$1), accessor = scala.Some.apply[scala.Function1[scala.Any, scala.Any]](wvlet.airframe.surface.MethodParameter.accessor[MT.B, scala.Int](classOf[MT.B])(((x: MT.B) => x.min))), methodArgAccessor = scala.None), wvlet.airframe.surface.StaticMethodParameter.apply(method = wvlet.airframe.surface.MethodRef.apply(owner = classOf[MT.B], name = "<init>", paramTypes = classOf[scala.Int], classOf[scala.Int], isConstructor = true), index = 1, name = "max", isRequired = false, isSecret = false, surface = wvlet.airframe.surface.Primitive.Int, defaultValue = scala.Some.apply[scala.Any](MT.this.B.$lessinit$greater$default$2), accessor = scala.Some.apply[scala.Function1[scala.Any, scala.Any]](wvlet.airframe.surface.MethodParameter.accessor[MT.B, scala.Int](classOf[MT.B])(((x₂: MT.B) => x₂.max))), methodArgAccessor = scala.None), objectFactory = scala.Some.apply[wvlet.airframe.surface.ObjectFactory](wvlet.airframe.surface.ObjectFactory.newFactory(((args: scala.collection.immutable.Seq[scala.Any]) => new MT.B(args.apply(0).asInstanceOf[scala.Int], args.apply(1).asInstanceOf[scala.Int])))))

Error:
assertion failed: error while typing MT.this, value schema is not contained in trait MT