Nicolas Stucki

#### Minimized ```scala import scala.quoted.* inline def myMacro = ${ myMacroExpr } def myMacroExpr(using Quotes) = import quotes.reflect.* '{ def innerMethod = (_: String) ?=> ???; () }.asTerm match case...

Fails Ycheck after `genSJSIR` ```scala checking t/Test.scala after phase MegaPhase{dropOuterAccessors, checkNoSuperThis, flatten, transformWildcards, moveStatic, expandPrivate, restoreScopes, selectStatic, Collect entry points, collectSuperCalls, repeatableAnnotations} checking t/Test.scala after phase genSJSIR java.lang.AssertionError: assertion failed:...

#### Minimization ```scala trait Foo object Foo { inline def bar(): Foo = class InlinedFoo extends Foo {} new InlinedFoo inline def foo(): Foo = bar() class InlinedFoo extends Foo...

@sjrd could you check if this is an issue with `genSJSIR` or before that pahse?

This should probably be included in 3.5 as it is a part of https://github.com/scala/scala3/pull/18112. Specifically, the changes in the TASTy format require this change in the reflection API.

Similarly, ```scala class A: def f(x: Int = 1): Int = x def test() = (new A).f() ``` produces ```scala // Scala 3 def test(): Int = new A().f(new A().f$default$1)...

It does lift the expression if the prefix is a `def` ```scala class A: def f(x: Int = 1): Int = x def makeA = println("Make A") new A def...

> Please open a thread on contributors.scala-lang.org to gain community feedback, and link it to this proposal. Here is the contributors thread: https://contributors.scala-lang.org/t/scala-3-macro-annotations-sip-63-discussions/6593

> One question that came up in the last SIP meeting is whether or not it's possible to implement https://github.com/scala/improvement-proposals/pull/78 using macro annotations, and what it would look like if...

@jchyb and @hamzaremmal will take over the development of this SIP.