Replace Reflect Context with Owner

[nicolasstucki]

Replace Reflect.Context with Reflec.Owner and remove it from where it is not needed. The name is changed to be explicit on what this parameter is tracking and to disambiguate with QuoteContext.

Migration tips
Update signatures in TreeMap, TreeAcumulator and TreeTraverser

- override def traverseTree(tree: Tree)(implicit ctx: Context): Unit = {
+ override def traverseTree(tree: Tree)(using Owner): Unit = {

Get the current owner

- Symbol.currentOwner
+ Owner.current.symbol

Update the current owner explicitly in a TreeMap, TreeAcumulator and TreeTraverser

- def localCtx(definition: Definition): Context = definition.symbol.localContext
      ...
      case tree: ValDef =>
-       val ctx = localCtx(tree)
-       given Context = ctx
+       given Owner = Owner.fromSymbol(tree.symbol)
        val tpt1 = transformTypeTree(tree.tpt)
        val rhs1 = tree.rhs.map(x => transformTerm(x))
        ValDef.copy(tree)(tree.name, tpt1, rhs1)

[nicolasstucki]

test performance with #quotes please

[dottybot]

performance test scheduled: 15 job(s) in queue, 1 running.

[dottybot]

Performance test finished successfully:

Visit http://dotty-bench.epfl.ch/9712/ to see the changes.

Benchmarks is based on merging with master (5ea8694)

[nicolasstucki]

test performance with #quotes please

[dottybot]

performance test scheduled: 1 job(s) in queue, 1 running.

[dottybot]

Performance test finished successfully:

Visit http://dotty-bench.epfl.ch/9712/ to see the changes.

Benchmarks is based on merging with master (d11e137)

[liufengyun]

I'm not sure about Owner as a type on its own. Conceptually, ownership is a relation, not an entity. There is a worry that we create entities unnecessarily (Occam's razor).

[nicolasstucki]

What name would you suggest?

[liufengyun]

Can it just be Context or QuoteContext? For extensibility, Context seems to be much better than Owner: we can always add more things in a context, but not in Owner.

[nicolasstucki]

The issue is that this is not the context, the QuoteContex is the context.