Revert #24431

[mbovel]

Given the wide scope of the regression introduced by #24431, I think it's best to revert for now, until I figure out how to fix it.

Closes #25690, closes #25692 and closes #25697.

[mbovel]

Thanks for documenting these regressions Wojciech and sorry for the trouble!

[WojciechMazur]

If possible let's add the snippets the 3 PRs as future regression tests

[mbovel]

Regression test for #25690 doesn't pass with -Xcheck-macros:

completed (2/3, 0 failed, 1s)-- Error: tests/pos-macros/i25690/Test_2.scala:4:11 --------------------------------------------------------------------
 4 |val u = uio(42) // errortrapped / Test / testOnly 5s
   |        ^^^^^^^
   |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[Tracer.instance.Type](((contextual$1: scala.quoted.Quotes) ?=> Tracer.autoTraceImpl(contextual$1)))
   |
   |The macro returned:
   |("loc": Tracer.instance.Type)
   |
   |Error:
   |assertion failed: Type Mismatch (while checking adapt):
   |Found:    ("loc" : String)
   |Required: Tracer.instance.Type
   |I tried to show that
   |  ("loc" : String)
   |conforms to
   |  Tracer.instance.Type
   |but none of the attempts shown below succeeded:
   |
   |  ==> ("loc" : String)  <:  Tracer.instance.Type
   |    ==> ("loc" : String)  <:  Nothing
   |      ==> String  <:  Nothing  = false
   |    ==> String  <:  Tracer.instance.Type
   |      ==> String  <:  Nothing  = false
   |
   |The tests were made under the empty constraint
   |tree = "loc" Literal
   |
   |stacktrace available when compiling with `-Ydebug`
   |--------------------------------------------------------------------------------------------------------------------
   |Inline stack trace
   |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
   |This location contains code that was inlined from Macro_1.scala:10
10 |  inline def autoTrace: Trace = ${ autoTraceImpl }
   |                                ^^^^^^^^^^^^^^^^^^
   |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
   |This location contains code that was inlined from Macro_1.scala:10
 2 |inline def uio[A](a: A): A = succeed(a)(Tracer.autoTrace)
   |                                        ^^^^^^^^^^^^^^^^
    --------------------------------------------------------------------------------------------------------------------

Looking at it now.