Providing a way to get correct override of TypeRepr in Quotes API

[goshacodes]

Hi! Scalamock uses compile time generation where class or trait is inherited.

Some things like path dependent types (if I named it correctly) or this.type is really hard to override. I didn't manage to implement override for this.type correctly.

What I ask as a feature request is to provide a way in Quotes API to get an override of method TypeRepr based on TypeRepr of supertype (or any related TypeRepr containing things like this.type from supertype) and a symbol of generated class.

val tpe: TypeRepr = ???

val cls = Symbol.newClass(...)

tpe.overriden(cls) // handles this.type, path dependent types, maybe something else

[neko-kai]

@goshacodes Could memberType + ThisType work in this case? e.g.

import scala.quoted.*

def resolvedMethodTpe(using qctx: Quotes): TypeRepr = {
  import qctx.reflect.*

  val newClassSym = Symbol.newClass(...)

  val methodSym = newClassSym.methodMember("someMethod").head
  // or find methodSym in supertype

  val thisType = ThisType(newClassSym)

  thisType.memberType(methodSym)
}

[goshacodes]

I'll try, thank you. Didn't understand you at first glance

[goshacodes]

@neko-kai It worked. Huge thanks!