inline methods that use summonFrom/summonInline break TASTy compatibility

[bishabosha]

For example def bar = foo (non-inline) is separately compiled from inline def foo = summonFrom { ... }, and serialised in TASTy as an unresolved call to foo, i.e. implicit search happens after tasty serialisation.

We should determine if we can create an incompatibility through changes to available implicits on the classpath.
Edit: see #16313 (comment) for an example that proves this breaks TASTy compatibility

Compiler version

3.2.1

Minimized code

// foo_1.scala [run 1]
inline def foo = compiletime.summonFrom {
  case ev: Int <:< Any => ???
}

// bar_2.scala [run 2]
def bar = foo

Output

compiles

Expectation

compile failure, if we figure out that summonFrom should only be allowed from transparent inline

[bishabosha]

The following example demonstrates how transitive dependencies break due to using summonInline in an inline method

App version 1.0.0 (deps: lib:1.0.0, util:1.0.0)

// app.scala
package app

import lib.*
import util.*

@main def Test =
  println(bar)

// lib.scala (version 1.0.0)
package lib
trait A
trait B extends A
trait C extends A

object Implicits:
  given B()

 // util.scala (version 1.0.0)
package util

import lib.Implicits.given
import lib.*

inline def foo = compiletime.summonInline[A] // error

def bar = foo

Lib version 1.1.0

 // lib.scala (version 1.1.0)
 package lib
 trait A
 trait B extends A
 trait C extends A

 object Implicits:
   given B()
+  given C()

App version 1.1.0 (deps: lib:1.1.0, util:1.0.0)

if you recompile all sources from tasty, and substitute in the new lib:1.1.0 then we get the inlining error in a non-inline method

$ scalac -from-tasty outlib2/lib/*.tasty oututil/util/*.tasty  outapp/app\$package.tasty
-- Error: util.scala:8:10 ------------------------------------------------------
8 |def bar = foo
  |          ^^^
  |Ambiguous given instances: both object given_B in object Implicits and object given_C in object Implicits match type lib.A
  |-----------------------------------------------------------------------------
  |Inline stack trace
  |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  |This location contains code that was inlined from util.scala:6
6 |inline def foo = compiletime.summonInline[A] // error
  |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^
   -----------------------------------------------------------------------------
1 error found

[bishabosha]

This is probably also problem for Expr.summon in an inline macro